Ficheur définitions

ficheur

1) [nom] Maçon qui fait la besogne de ficher les pierres. 2) Celui qui procède au fichage, qui établit des fiches.
Trouvé sur https://fr.wiktionary.org/wiki/ficheur

---

FICHEUR

[Maç.] Ouvrier chargé du fichage.
Trouvé sur https://www.editions-eyrolles.com/Dico-BTP/definition.html?id=4278

---