Bon, ca m'est arrive 2 fois, et par 2 fois j'ai réussi a reparer. Ca c'est la bonne nouvelle.
La mauvaise c'est que j'ai une mémoire de poisson rouge....... (c'est fatal quand les femmes te parlent sans arrêt et surtout pour d'appeler en journée en te racontant un truc qui pouvait parfaitement attendre le soir, ton cerveau enregistre de moins en moins d'informations et se met en veille pour ne percevoir que ce qui est vital).
Alors, je présume que tu es sur Gnome.
Dans les menus, tu fais
System -> Preferences -> Keyboard
Normalement de base, il n'y a que dans le premier onglet que des options sont cochées.
Ensuite dans onglet Layout, tu as un bouton "other options", c'est la dedans qu'il faut chercher, mais ne me demande plus ou, je ne me souviens pas. Désolé.
Vieux PIII cadencé a 900 MHZ - Ubuntu 8.10 - Enlightenment E16