rocteur

Définitions

1. 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.
   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é.

Étymologie

Du latin rocca, « roc ».

Hyperonymes

Formes fléchies