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