23 On fit donc sortir de la grotte les cinq rois (le roi de Jérusalem, le roi d’Hébron, le roi de Jarmouth, le roi de Lakish et le roi d’Églôn+), et on les amena à Josué.