Juste une précision : par défaut Windows Media Player (ou tout autre programme mais au moins, celui là existe de base) n'extrait pas forcément le morceau au format *.wav. Il faut donc avant d'extraire la musique aller dans Options quelque part dans les menus (ça dépend des versions) pour définir le format par défaut.
Just a precision : by default, Windows Media Player (or any other tool) does not extract the title with a *.wav format. So, before extraction, you will have to go somewhere in the menus (depending of the versions) to define the right format fot this extraction.