Peut importe le format, maintenant, ce n'est plus trop dur de changer de .wav à .mp3 ou de .mid à .wav ou encore de .mid à .mp3. Donc si tu les trouve, je serais ravi
Mais ne t'inquiète pas, je te préviens si je les trouve, car moi aussi je cherche