On sait combien le gaz appelé grisou, qui s’accumule dans les galeries de mines non ventilées, est inflammable et dangereux. Jadis, pour prévenir de graves explosions, les mineurs n’avaient d’autre moyen que de désigner l’un des leurs qui, muni d’un long bâton ou perche enflammée, mettait le feu à la poche de gaz en formation. [...]