Depuis quelques semaines, le support des codecs realvideo 3.0 et 4.0 ( http://fr.wikipedia.org/wiki/RealVideo ) a été complété et activé dans ffmpeg et donc dans tous les lecteurs qui l'utilisent (donc mplayer). Il n'est donc plus nécessaire d'utiliser les codecs binaires de chez Real. Encore un maillon propriétaire de moins sur mon système :).