Oui. j'ai essayé de changer la configuration en choisissant d'autres types de clavier, mais rien à faire.
Pour info, voilà ce que donne fichier /etc/X11/xorg.conf
Section "InputDevice"
Identifier "Generic Keyboard"
Driver "kbd"
Option "CoreKeyboard"
Option "XkbRules" "xorg"
Option "XkbModel" "pc105"
Option "XkbLayout" "fr"
Option "XkbOptions" "lv3:ralt_switch"
EndSection