Sinon il y a un truc super simple pour renommer en ogg à la volée :
Il faut mettre les mp3 dans un dossier.
Dans ce dossier, créer un fichier texte, ou vous écrivez :
ren *.mp3 *.ogg
Ensuite il faut enregistrer le fichier texte en "renommer.bat" (sans les guillemets).
Et enfin, double cliquer sur renommer.bat, et en 1 sec tous vos mp3 deviendront des ogg