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