antigrisousubstantif* Mot issu de l'entrée ANTI- : « explosif qui peut être utilisé malgré le grisou » (J.-N. Haton de La Goupillière, Cours d'exploitation des mines, 1905, p. 304)
