BOISEUR

Nom commun. Ouvrier qui consolide les parois des excavations d'une mine au moyen de soutènements en bois, c’est-à-dire qui réalise le boisage.

Autrefois, au temps de sa jeunesse, il avait été boiseur, c’est-à-dire charpentier, chargé de poser et d’entretenir les bois qui forment les galeries ; mais dans un éboulement il avait eu trois doigts écrasés ce qui l’avait forcé de renonce…

Source : Wiktionnaire via Kaikki/Wiktextract, sous licences CC BY-SA 4.0 et GFDL. Attribution complète