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

12et 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.