Rocteur

Nom commun - français

rocteur \ʁɔk.tœʁ\ masculin (pour une femme, on dit : rocteuse)

1. Ouvrier qui rocte, c’est-à-dire qui détache les pierres brutes du front de taille et les extrait des carrières.
   • De ces chiffres il ressort que, pour un rocteur, 7 à 7 1/2 tailleurs de pierre pouvaient être mis en service. Ce rapport entre rocteurs et tailleurs de pierre n’est pas identique partout. — (Jean-Louis van Belle, Les Maîtres de carrière d’Arquennes sous l’Ancien Régime : un métier, des hommes, Crédit communal, 1990)
   • Si d’aventure le même carrier exploitait un ou plusieurs autres « buffets », il avait droit à autant de fois le nombre précité de rocteurs, tailleurs de pierre et apprentis¹⁶. Cette mesure visait essentiellement à éviter que, pendant la durée de leur bail, des maîtres de carrière astucieux s’acharnent avec l’ensemble de leurs ouvriers à extraire un volume maximum de pierre afin de l’exploiter ensuite, tout à loisir, le bail terminé. — (Jean-Marie Yante, À l’approche d’une autre ruralité : campagnes et travail non agricole du bas Moyen Âge à 1914, Archives et bibliothèques de Belgique, 2004)