dégravillonner (V) — gravillon (N)
dégravillonner : Enlever les gravillons de.