Je crois que je n'ai plus trop le choix: je vais remettre le démarrage rapide comme à l'origine, par défaut, en faisant un arrêt complet de temps en temps puis je verrai bien. Je ne suis même pas sûr qu'une réinstallation complète du système arrangerai les choses, au cas où se serait mécanique...