Si jammais pour extraire la musique d´un cd en mp3 utilise windows media player 10 ( je sais pas si les version inférieur sa fonctionne aussi).
Enfait si tu veux avoir des mp3 au lieu des wmv il faut que tu fasses:
outils/options/extraire de la musique
ensuite sous formats tu selectionne mp3 et qualité du son tu met 128 ou 192 pour un bon compromis entre taille/qualité.
Après t´as plus qu´a faire ok ^^