David fit rassembler les étrangers qui étaient dans le pays d’Israël, et il chargea des tailleurs de pierres de préparer des pierres de taille pour la construction de la maison de Dieu.