Grazie a tutti coloro che hanno risposto!
Ho effettuato nuovamente l’installazione di MiKTeX (MiKTeX 2. 6 Net Installer), eliminando momentaneamente il file microtype.pdf, visto che Avast! lo aveva spostato nel cestino dei file infetti. In questo modo l’installazione è stata portata a termine senza alcun problema.
Per scrupolo ho scaricato microtype.pdf da CTAN e ho provato a farlo scansionare nuovamente da Avast!: nulla di nulla… mistero!
Prima prova ad aggiornare Avast, i falsi positivi negli antivirus possono capitare, ma vengono corretti abbastanza in fretta.
Quello che posso pensare è che Avast! abbia scambiato la piccola animazione che vi è nel pdf (e precisamente nel titolo della prima pagina) per un componente maligno, direi che si tratta sicuramente di un falso positivo.
Grazie ancora a tutti 😀
Gispa