Quant à notre Rédempteur, son Nom est l'Eternel des armées, le Saint d'Israël.