Je sais pas.
J´ai installé le real one alternative, et il y a un désinstalleur.
Sinon, va voir dans le gestionnaire de périphériques, controleur audio/video, codec video.
Si tu vois un codec dont le nom ressemble à Real One, ou autre, supprime le.
Ou aussi, réinstalle le codec divx.