Deutéronome 2:33-34

33Mais l’Eternel notre Dieu le livra à notre merci, et nous l’avons vaincu, lui, ses fils et toute son armée.

34Nous nous sommes alors emparés de toutes ses villes et nous en avons exterminé la population pour la vouer à l’Eternel, hommes, femmes et enfants, sans laisser aucun survivant.