Joshua 10:1

Martin(i) 1 Or quand Adoni-tsédek, Roi de Jérusalem, eut entendu que Josué avait pris Haï, et qu'il l'avait entièrement détruite à la façon de l'interdit, ayant fait à Haï et à son Roi, comme il avait fait à Jérico et à son Roi, et que les habitants de Gabaon avaient fait la paix avec les Israélites, et étaient parmi eux;