détection de méthane dans les mines de charbon