Daarvoor waren zeventigduizend arbeiders, tachtigduizend steenhouwers en zesendertighonderd opzichters nodig.