dei quali egli ordinò settantamila da portar pesi, ed ottantamila da tagliar pietre nel monte; e tremila seicento per esser commissari da far sollecitamente lavorar la gente.