convertir .mid en mp3

GarageBand, Quicktime Pro (avec encodeur LAME-mp3), Amadeus, ....
 
Très pratique si on passe par GarageBand : l'appli Dent du Midi qui permet de séparer chaque piste midi pour lui appliquer ensuite l'instrument et les réglages souhaités avant l'export final en mp3.
 
Très pratique si on passe par GarageBand : l'appli Dent du Midi qui permet de séparer chaque piste midi pour lui appliquer ensuite l'instrument et les réglages souhaités avant l'export final en mp3.

Il me semble que Dent du Midi n'est plus nécessaire depuis au moins 2 versions de Garage Band. Il suffit de glisser le fichier .mid sur la fenêtre de GarageBand et chaque piste est bien séparée.