j'ai enfin remplacé la 17.3-Rosa qui m'avait donné toute satisfaction pendant 4 ans par la 19.2-Tina, vite mise à jour en 19.3-Tricia.
Pas de problème majeur, la 19.3 étant vraiment identique à la 17.3 (la 19.2 différait-défaillait par quelques détails dont le tableau de bord et les menus).
Seul problème (mineur, parceque je n'utilise plus mon dual-boot avec Win7), l'installation de la 19.2 "à la place de" la version précédente m'a mangé le grub, et malgré un essai de "boot-repair", et des recherches sur le web, je ne vois pas de solution pour le rétablir.
J'ai vérifié dans le bios que j'avais bien le "UEFI OS" en premier choix de démarrage.
C'est donc Mint qui démarre systématiquement sans problème, mais tant qu'à faire j'aimerais retrouver le grub, ne serait-ce que pour apprendre
Merci pour vos avis et conseils.
Bon week-end...