la réponse a déjà été donnée au moins 1234 fois!
installe dbpoweramp ( je t´ai donné des anciennes versions gratuites car ces salops ont foutu une limite pour le mp3 ) et installe le décodeur real ( décoder car tu veux passer du real en mp3 ) . mais comme indiqué sur leur site, il faut qu´un filtre real soit installé ( le real alternative )
bref le bonne page pour le décodeur real:
http://www.dbpoweramp.comm/codec-central-directshow.htm
real alternative:
http://home.hccnet.nl/h.edskes/mirror.htm
mais si t´as déjà le real player, n´installe pas la version alternative et ça devrait marcher aussi.
normalement la durée d´encodage en mp3 est égale à la durée du fichier real en écoute, alors ne t´etonne pas si ça prend 1 heure par exemple ( si ton fichier real dure 1 heure donc )