Le lien que tu proposes dans le post #4 fonctionne chez moi avec Mplayer plugin de Firefox, c'est un poil longuet à démarrer mais ca marche et c'est de bonne qualité.
Voila ce que j'ai dans about:plugins :
RealPlayer 9
Nom de fichier : nswrapper_32_32.mplayerplug-in-rm.so
mplayerplug-in 3.45
Video Player Plug-in for QuickTime, RealPlayer and Windows Media Player streams using MPlayer
JavaScript Enabled and Using GTK2 Widgets
Type MIME Description Suffixes Autorisé
audio/x-pn-realaudio RealAudio ram,rm Oui
application/vnd.rn-realmedia RealMedia rm Oui
application/vnd.rn-realaudio RealAudio ra,ram Oui
video/vnd.rn-realvideo RealVideo rv Oui
audio/x-realaudio RealAudio ra Oui
audio/x-pn-realaudio-plugin RealAudio rpm Oui
application/smil SMIL smil Oui