Notre rédempteur, c’est celui qui s’appelle l’Éternel des armées,C’est le Saint d’Israël.