professionnel de l exploitation minière