¿Cómo se llama el gas muy explosivo que se produce en las minas?