Hij gebruikte zeventigduizend van hen als gewone arbeiders, tachtigduizend als steenhouwers en zesendertighonderd als opzichters.