NIVELEUR (n.m.)
Opérateur qui exécute un NIVELLEMENT DIRECT -4,1-. on dit aussi OPÉRATEUR DE NIVELLEMENT.