Definition

Porte-mire.m Personne dont la fonction consiste à mettre en place la STADIA ou la MIRE DE NIVELLEMENT, et à la maintenir en position pendant les mesures.