je me souviens vaguement que ce player etait une usine à gif publicitaires
oui, vraiment trés trés abusé !!
je suis sur que ça a largement contribué à leur perte !
sinon, real alternative est bien, il y a aussi, quick time alternative qui est bien utile.
il n'y a donc plus qu'un seul lecteur pour tous les types de fichiers vidéo
Perso, j'utilise Media Player Classic, vraiment nickel pour tout (mkv, bivix, avi, rm, qt, mpg, wmv, ... ....)
++