A cette époque, on n'avait d'autre moyen de détruire le mauvais gaz qu'en le décomposant par de petites explosions, avant que sa légèreté l'eût amassé en trop grandes quantités dans les hauteurs des galeries.
Abban az időben a veszedelmes gázok eltávolításának nem volt más módja, mint az, hogy kisebb robbanásokra bontották, és ilyen úton-módon semmisítették meg, mielőtt még a bánya felsőbb rétegeiben nagy mennyiségben összegyűlhetett volna.