./15214 : bon, maintenant que KDE et Gnome ont réussi à se saborder, il reste un environnement de bureau potable sous Linux ?