http://forum.ubuntu-fr.org/viewtopic.php?id=1101571
Ça au moins c'est résolu !
Il ne me reste plus qu'à comprendre :
1) pourquoi plasma-desktop sature au démarrage, puis plus quand je le redémarre (voir plus haut), et
2) pourquoi ma mémoire vive est saturée en permanence, même après redémarrage (tout va plus vite, mais il m'indique quand même que la mem est saturée...)
Si quelqu'un a une idée :-)
