éventoir

Nom commun

Sorte d’éventail grossier dont on se sert dans les cuisines pour allumer les charbons. Ouverture de la voie qui se fait au-dessus de l’ouvrier, dans une houillère.