Rocteur définition

rocteur

[nom] Ouvrier qui rocte, c’est-à-dire qui détache les pierres brutes du front de taille et les extrait des carrières.
Trouvé sur https://fr.wiktionary.org/wiki/rocteur

---