Définitionsrocteur

rocteur

nom masculin
/ʁɔk.tœʁ/
  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 apprentis16. 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é.

Définitions issus du Wiktionnaire (via DBnary), sous licence CC BY-SA 3.0.