toc-feu

TOC-FEU

(tok-feu) s. m.
Grille à feu que l'on descend dans les mines pour en faciliter l'aérage.