@burnout426 Following your advice (disabling all extensions, re-installing Reverso Context), Opera and the extension work fine. So thank you so much !
FYI: Some IT mysteries subsist...
I then re-activate one by one the 6 extensions I am using aiming to find which causes the problem. To my surprise, the Reverso extension continues to work properly with all extensions active again.