détecteur de gaz utilisant dans la mine de charbon