Le 14/05/2015 08:05, jp willm a écrit : > > - *buntu --> duso update-grub sudo update-grub (c'est dur le matin) > > @+ > -- jp willm http://perso.orange.fr/willms/index.html