::
Già… In più ho provveduto ad un aggiornamento dei pacchetti di MiKTeX, che avevo ancora i pacchetti dell’installazione originaria (pensavo che che anche i pacchetti avessero raggiunto una loro “stabilità”, e quindi che non venissero aggiornati tanto spesso!). Grazie mille!!
