Pour info... -- Nicolas SABOURET Laboratoire d'Informatique de Paris 6 (LIP6) 8, rue du Capitaine Scott, 75015 Paris, France http://www-oasis.lip6.fr/~sabouret
J'ai trouvé une solution : si je passe par "Debian" comme mode (en ayant
mis l'alternative de telle sorte que KDE soit le window-manager), alors
je n'ai plus de problème. C'est si je suis en mode "kde" que ça merdoit.