On sait que l'extraction de charbon dans les mines est dangereuse. Ce que les mineurs craignent le plus est le coup de grisou : l'inflammation d'un gaz composé à plus de 93 % de méthane. Ce ne sont pas les flammes en elles-mêmes qui sont mortelles, mais la propagation d'une onde de pression à une vitesse pouvant atteindre 250 m/s ...