Définition française

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.).