et pour les tailleurs de pierres, afin qu'on en achetât du bois et des pierres qu'on faisait polir; et pour toute la dépense de tout ce qui était nécessaire aux réparations et au rétablissement de la maison du Seigneur.