什么是 gravillons？ 什么是 gravillons？ 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.