Définitionsfiestaux

fiestaux

nom masculin
/fi.ɛ.sto/
  1. Industrie minière(Très rare) Dégagement spontané de grisou.

Définitions issus du Wiktionnaire (via DBnary), sous licence CC BY-SA 3.0.