Salut,
il y a de nombreux rippeur/ encodeurs.
Moi j'utilise grip, dont je ne sais pas trop s'il est tjr maintenu d'ailleurs, mais qui fonctionne tres bien.
Il y a aussi Sound-Juicer, par défaut sous gnome. Il y a cet article dans la doc à lire pour permettre l'encodage mp3 :
http://doc.fedora-fr.org/wiki/Astuce:_Sound_Juicer_et_le_mp3
epo
