et aux maçons, et aux tailleurs de pierres, pour acheter des bois et des pierres de taille, afin de réparer les brèches de la maison de l’Éternel, et pour tout ce qui se dépensait pour la maison afin de la réparer.