La commande
# xmodmap -e 'keycode 105 = Control_R'
ne fixe pas le problème, à chaque boot il faut la refaire.
EDIT : J'ai enfin retrouvé
la bonne solution sur la Toile 🙂 : il faut éditer le fichier "/usr/share/X11/xkb/symbols/fr", en commentant la ligne 133 :
include "level5(rctrl_switch)"
puis rebooter ou relancer X.