Raucheur définitions

raucheur

[nom] Dans les mines, ouvrier occupé à élargir les galeries affaissées, et en règle générale de maintenir les boisages en bon état.
Trouvé sur https://fr.wiktionary.org/wiki/raucheur

---

raucheur

Ouvrier chargé de maintenir en bon état les galeries des mines et d'éviter les tassements.
Trouvé sur https://www.linternaute.fr/dictionnaire/fr/definition/raucheur/

---