gravillon nom masculin : Produit d'un triage d'une roche concassée ou d'un gravier, dont les éléments ont une grosseur comprise entre 5 et 25 mm.
