Gruppo Utilizzatori Italiani di TeX
Ringrazio tutti per le risposte. Ho optato per un canonico TexLiVe, che ho scaricato come pacchetto .zip e che è stato installato senza intoppi. Il medesimo .exe continuava, invece, a dare problemi. Un mistero che rimarrà tale 🙂
Rita