n°12 / Rois. Livre quatrième. 22 :

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