instruments utilisés dans le secteur minier