Jaugeur

Nom commun

jaugeur masculin
  1. Celui dont l’emploi est de jauger.