en fait, la solution avec le plugin de winamp donné plus haut fonctionne tres bien, et est tres pratique du fait de la playlist de winamp.

Si cela ne fonctionne pas pour vous, il faudra peut etre configurer le plugin d'entree (par defaut dans winamp) (section in) concernant le midi, de façon a ce que le midi passe par winamp, afin que le son soit redirigé vers le plugin d'écriture de sortie, et soit bien écrit sur le disque