4 Il nome del nostro Redentore è il Signore degli eserciti, il Santo d’Israele.