Ok, ton lien me confirme que je n'ai rien raté, et qu'il n'y a pas d'autre endroit pour choisir le navigateur par défaut. Clairement, mon problème dépasse le cas courant, car Safari ne veut décidément pas retenir qu'il n'est pas le navigateur par défaut... Je vais attendre patiemment une idée de ...