Merci pour ton aide.
J'ai finalement trouvé une idée: j'ai reconfiguré le clavier avec
sudo dpkg-reconfigure keyboard-configuration
et j'ai choisi un clavier 104 touche plutôt que 105 (il n'y a pas de touche menu sur ce portable).
J'ai laissé toutes les options à leurs valeurs par défaut.
Il semble que cela fonctionne, il ne s'agitdonc pas d'une panne matérielle.
Je vais vérifier en détail: j'ai l'impression que la touche ? ne marche que si elle est activée avec le shit droit une première fois, une fois qu'elle a été activée avec le shift droit, on peut utiliser le droit ou le gauche (étrange ?).
Je mettrai à résolu si je ne vois pas d'autres problèmes et je modifierai la liste du matériel.
En attendant, je suis toujours preneur d'aide pour comprendre ce problème.
