Deutéronome 32.43

43. Chantez de joie, nations, son peuple! car il vengera le sang de ses serviteurs, il rendra la vengeance à ses adversaires, et fera l'expiation pour sa terre, pour son peuple.