70.000 van hen moesten dragers worden en 80.000 steenhouwers in de bergen en 3600 opzichters over de arbeiders.