Ho risolto!!!
Come ho avuto modo di scoprire leggendo
qui il problema era causato dall’ antivirus Avast (forse per via di un recente aggiornamento?), in uso anche nel mio pc. Disinstallandolo tutto è tornato a posto.
Ora provo a fare qualche esperimento reinstallando Avast – e in ogni caso segnalando il problema – per vedere se dovrò cambiare antivirus.
Un saluto a tutti!