produit chimique extincteur pour utilisation dans les mines de charbon