2 Rois 22:5-6

5et qu’on le remette en la main de ceux qui font l’ouvrage, qui sont préposés [sur le travail] dans la maison de l’Éternel ; et que ceux-ci le remettent à ceux qui font l’ouvrage dans la maison de l’Éternel, pour réparer les brèches de la maison : 6aux charpentiers, et aux constructeurs, et aux maçons, et afin d’acheter des bois et des pierres de taille, pour réparer la maison ;