navigateur web par défaut sous Gnome

[JeanLouisGiraud <jlaur dot giraud at infonie dot fr>]

Bonjour,
désolé j'ai cherché, cherché dans les archives de Gulliver où je suis
persuadé d'avoir envoyé il y a quelques mois un mail pour poser la même
question:
comment faire pour configurer un navigateur web par défaut autre que
celui choisi par Gnome (et autrement que par le chemin Bureau,
préférences, applications préférées qui ne marche pas) : je crois me
souvenir qu'il faut aller dans un répertoire pour changer ça mais lequel ?
cordialement
Jean-Louis Giraud