Pour le passage en mp3 je sais pas mais il est facile de passer des produits Realplayer en .wma : en utilisant Windows Media Encoder qui est gratuit et disponible chez Microsoft. Moi je fais çà pour le streaming RealPlayer vers Windows Media Video (image + son) au format .wmv et la qualité est correcte.