n°12 / Quatrième livre des Rois 22 :

6aux charpentiers, aux maçons, et à ceux qui rétablissent les brèches des murs, et aussi afin qu’on achète du bois et qu’on tire des pierres des carrières, pour réparer le temple du Seigneur.