La machine en question exécute Windows 7 (64 bits) sur un Core i5 avec 8 Go de RAM avec toutes les mises à jour Windows appliquées. Non pas que les spécifications puissent faire la différence.
L'arrêt de cette machine à partir du menu Démarrer ou via shutdown.exe - s
redémarre parfois. Des indices sur ce qui pourrait se passer?