::
Il problema credo sia nel fatto che il nostro amico non ha
la sillabazione italiana installata. Probabilmente usa MiKTeX
basic.
Nelle impostazioni di MiKTeX, attiva tutto quanto riguardi
l’italiano e prova a vedere se si risolve.
Che versione di MiKTeX usi?
Ciao ciao.
Fra