D'ailleurs, question subsidiaire (je dois préciser que je débute sur Linux), comment faire pour gérer (formater, prendre un compte) de nouveaux disques sur une machine ?parted ou qtparted (le même avec gui), il y en a d'autres, mais je trouve celui-là facile à utiliser, et il permet de redimmensionner des partitions
Effectivement, je viens de l'installer et il est super !!! Merci. David.