וַֽיִּתְּנֵ֛הוּ יְהוָ֥ה אֱלֹהֵ֖ינוּ לְפָנֵ֑ינוּ וַנַּ֥ךְ אֹת֛וֹ וְאֶת־בנו [בָּנָ֖יו] וְאֶת־כָּל־עַמּֽוֹ׃
L’Éternel, notre Dieu, le livra à notre merci et nous le battîmes, lui, ses fils et tout son peuple.
Targum Jonathan on Deuteronomy
And the Lord our God delivered him up before us, and we smote him, and his children, and all his people.