1) Ouvrir un terminal 2) Editer le fichier **/usr/share/X11/xkb/symbols/pc** avec l'utilisateur root avec l'éditeur de votre choix :vi , nano , xed (mint), etc... exemple avec xed: **sudo xed /usr/share/X11/xkb/symbols/pc** modifier les 4 lignes anciennes => nouvelles ''key { [ Control_L ] }; => key { [ Super_L ] }; '' ''key { [ Super_L ] }; => key { [ Control_L ] }; '' ''key { [ Control_R ] }; => key { [ Super_R ] }; '' ''key { [ Super_R ] }; => key { [ Control_R ] }; '' puis quiter/sauvegarder 3) Toujours dans le terminal tapez : **sudo rm -rf /var/lib/xkb/*** 4) Déconnexion/reconnexion pour que les modifications soit prises en compte