Quelques précisions. En fait si je modifie directement le fichier /usr/share/mime-ino/mc.keys pas de problème mais le changement direct par gnome et pour n'importe quel utilisateur n'est pas pris en compte en priorité. ??????