Sais pas
mais doit y avoir moyen (évidemment faut bidouiller)
Enfin, quoiqu'il arrive, tu devras installer le décodeur de Vorbis et également un encodeur mp3 (de préférence LAME).
Puis, à moins de trouver un bel utilitaire tout beau tout propre qui fait ça en un clic de souris, tu devras effectuer une conversion OGG->WAV, puis WAV->MP3