15 Et c’est la Porte de la Source+ que répara Shalloun* le fils de Kolhozé, prince du district de Mitspa+ ; c’est lui qui entreprit de la bâtir, qui la recouvrit d’un toit et en posa les battants+, les verrous et les barres, ainsi que la muraille de la Piscine+ du Canal* vers le Jardin du Roi+ et jusqu’à l’Escalier+ qui descend de la Cité de David+.