::
Era proprio quello il problema 😳 …Subito però non capivo come si potesse cambiare la codifica su TeXnicCenter, ma ho scoperto che si può fare quando si salva il file con “Save as”: a destra c’è una tendina che permette di scegliere tra ANSI, UTF8 ecc.
Grazie mille!