gravillonner (V) — gravillonneur (N)
gravillonneur : Engin de travaux publics destiné à gravillonner.