Répartition, croissante ou décroissante, d'éléments rocheux selon leur taille, dans des sédiments