Youhou, super il a redémarré, merci beaucoup !
Je vais en profiter pour essayer de résoudre un autre problème de lenteur permanente, dès le démarrage, depuis longtemps maintenant, sûrement survenu après une mise an jour. Mais je vais regarder dans le forum à quel endroit poser cette question...