J’ai ajouté les extensions suivantes à la liste déjà existante (voir précédent message):

  • DownloadHelper v4.9.21.
  • Gmail Watcher v1.61 (Gmail Manager v0.6.4.1 ne fonctionnait pas).

C’est OK. Merci. Sujet résolu.