machine de gabarit dans l'industrie minière