pour les maçons et les tailleurs de pierres, pour les achats de bois et de pierres de taille nécessaires aux réparations de la maison de l’Éternel, et pour toutes les dépenses concernant les réparations de la maison.