4 Il nostro redentore ha nome l’Eterno degli eserciti, il Santo d’Israele.