produits chimiques utilisés dans exploitation minière