et Josué fut victorieux d’Amalek et de son peuple au tranchant de l'épée.