Bonjour à tous, et merci pour vos réponses.
Google Translator 3.0.3.3
J'ai tenté de vider cache et cookies : il ne fonctionne toujours pas. De toute manière, c'était sans conviction, puisque mon Firefox est automatiquement entièrement vidé à chaque fin de session.
La dernière date de MAJ que vous citez (02-12-2018) me surprend.
En effet, le gestionnaire de modules m'indique
ImTranslator 16.6
Je l'ai installé pour le tester.
La traduction partielle par surlignage est similaire à celle de Google Traductor (même principe, mais présentation plus élégante du résultat).
La traduction d'une page entière est plus compliquée à mettre en œuvre, du fait de la présence d'un sous-menu sur clic droit. N'y aurait-il pas moyen d'avoir directement la fonction Traduire cette page en français ?
Ceci dit, je vais l'adopter…