Salomon avait encore soixante-dix mille hommes qui portaient les fardeaux, et quatre-vingt mille qui taillaient les pierres dans la montagne,