Gravier

subs. masc.

Petits cailloux que l'on trouve par gisements, soit dans le lit.de certaines rivières, soit dans diverses montagnes et qui sert à divers usages dans la construction. Ces petits cailloux sont presque toujours mêlés à du gros sable ; on sépare l'un de l'autre au moyen du tamis.

Le gros gravier est employé à faire du béton, le petit gravier ou gravillon sert à sabler les allées ; le sable s'emploie pour faire les mortiers.