Forum darktable FR

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

Je n'utilise jamais cette méthode, je choisis de les partition manuellement ou si je n'ai qu'un système installé sur la machine, je crée les partitions avec GParted avant l'install.