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