grieu

GRIEU

(gri-eu) s. m.
Terme de mines. Synonyme de grisou.