Definition

Gravier.m Matière d'origine détritique constituée de grains minéraux libres de dimensions comprises entre celles des grains de SABLE et celles des cailloux a) (dans la terminologie française, grains de 2 à 20 mm.).