nom des outils et machines utilisés pour l exploitation minière