A mon avis ton baladeur lira plutot le MP3, pour le ogg vorbis, c´est plutot rare (jamais entendu parlé d´un baladeur pouvant lire ce format ^^) et pour le WMA, je pense pas que l´on puisse encoder dans ce format sous linux 
(Lire oui, mais pas encoder, n´oubli pas que c´est Windows media audio ^^)
Donc pour encoder en mp3, il faut utiliser les codecs lame, puis fichier/exporter comme mp3 
Pour configurer le taux de compression, c´est /Edition/Préférences/Formats de fichiers
Et dans Réglage de l´éxporation mp3, tu n´as plus qu´a changer le débit 