Thank you then.
Now, I'd like to mention that after I used Revo Uninstaller, I was quite surprised to see that CCleaner still found things to delete. I used Revo Uninstaller in the fourth mode, the very thorough, deeper one, for instance to get rid of Real Player which kept adding planned tasks whatever I tried to keep it from that, and Revi Uninstaller offered to delete things quite deep into Regedit, but still I launched CCleaner after and the latter found a (huge!) number of entries to get rid of. I wonder if those really had been left behind by Revo Uninstaller...?