Et David ordonna de rassembler les étrangers qui étaient dans le pays d'Israël, et il établit des tailleurs de pierres pour tailler des pierres de taille, pour bâtir la maison de Dieu.