Merci pour ta réponse.
Malheureusement, ce n'est pas la solution : j'ai paramétré des corrections automatiques et, parfois seulement, elles ne marchent pas.
J'ai pris l'exemple de >> qui devrait être remplacé par →, mais j'ai paramétré aussi le remplacement de +- par ± etc...
Je n'arrive pas à comprendre quelles causes mystérieuses font que tantôt ça marche, tantôt ça ne marche pas...
Toute contribution sera bienvenue.