Et ils le donnèrent aux charpentiers et aux maçons, et ils l'employèrent à acheter des pierres de taille et du bois pour la charpente, et pour mettre des poutres aux bâtiments qu'avaient détruits les rois de Juda.