Voici une explication de Michel Farfalini que je copie ci-dessous :
Bonjour,
Comme je l'ai indiqué hier en répondant à une question assez similaire :
ouvrir le menu des favoris puis le dossier à exporter ;
rouvrir le menu favoris et choisir Gestion des favoris ;
Tabuler jusqu'à Organiser et valider ;
Dans le menu qui s'affiche on trouve l'option Exporter.
Ceci crée un fichier HTML avec tous les favoris du dossier,
sous-dossiers inclus, présentés sous la forme de listes (ici j'ai une
liste par sous-dossier) ; chaque élément est cliquable.
Guy DELFINO. Animateur musical pour tous publics.
Tél mobile :
06 60 89 94 37.
Mon site :
http://guymusicien.jimdo.com/
Ma chaîne YouTube :
https://www.youtube.com/channel/UC3hZz4VEzg_IVvS0DN8w3AQ