comment détecter du méthane dans les mines de charbon