Et David commanda qu'on assemblât les étrangers qui étaient au pays d'Israël, et il prit d'entr'eux des maçons pour tailler des pierres de taille, afin d'en bâtir la maison de Dieu.