Wow. J'ai besoin d'imprimer un truc pour demain matin. Cette foutue imprimante ne possède des pilotes que pour des Windows 32 bits. Une des raisons pour lesquels je me garde un Seven sur mon netbook, dont je me sers tous les 2 mois environ...
Et là, je réalise qu'au démarrage, Grub ne me propose plus que Debian. Avec la fatigue, ça faisait juste WTF et grosse panique.
(Bon, un chouïa de lucidité et je me rends compte qu'un update-grub serait judicieux, mais avant ça...
)