toc-feu s. m. (tok-feu)
-
Grille à feu que l'on descend dans les mines pour en faciliter l'aérage.
Grille à feu que l'on descend dans les mines pour en faciliter l'aérage.
Émile Littré, Dictionnaire de la langue française, 1872-1877 · cliquer un vers pour le scander