Journal conversion Ogg vers MP3

Bonjour,

Pour mon anniversaire (wee) je me suis vu offrir un super lecteur CD/MP3 trop bien.

Evidemment, comme je suis attaché au libre, je n'ai presque que des Ogg (que j'ai fais moi même avec l'aide de grip et mes CD) et je me demandais si quelqu'un avait trouvé une solution pratique pour convertir un ogg (de très bonne qualité, en VBR) vers un mp3 (de qualité pas trop mauvaise même s'il y a eu 2 compressions derrière).

J'ai cherché un peu partout sur le ternet, j'ai trouvé des outils propriétaire qui fonctionnent sous windows, j'ai trouvé des scripts pour convertir des mp3 en ogg, mais pas dans l'autre sens.

Je me dis que ça ne doit pas être très dur à faire (même en bash) mais je n'y connais pas grand chose, et je me dis aussi que je ne dois pas être le seul dans ce cas (et que donc le problème à déjà été résolus).

Quelqu'un aurais un tel programme ?