Dernier message de la page précédente :
Donc, j'ai réassayé, deux fois, avec les optiosn de grub de @cyrille et sans.Avec les options , le problème disparait, et sans, il est toujours là.
Sans doute est-ce une bonne piste !
Alors, comment faire pour que cela soit permanent ?