Bonjour,
je désire remplacer Linux Mint 17.3 Rosa et Linux Mint 18.3 Cinnamon mis en dual avec windows 10 par Ubuntu 18.04. Dans les instructions de l' installation depuis le DVD, je lis dans le type d'installation
-a) remplacer un système GNU/LINUX déjà présent par UBUNTU.
-b) installer UBUNTU à côté de windows.
Lequel choisir ( a ou b ) pour supprimer si (possible) les " Mint " et avoir UBUNTU seul en dual avec windows 10.
avec mes remerciements