Notre rédempteur, son nom est l’Éternel des armées, le Saint d’Israël…