à première vue, les fichier midi sont bien téléchargés dans 
le répertoire www.webmidis.com mais avec une mauvaise 
extension (html), s'il s'agit juste de les récupérer, il 
faut les copier ailleurs et les renommer en .mid
Comme ils sont transmis par un script php3 (peut-être avec 
un compteur), obtenir une copie du site nécessite de 
modifier tous les fichiers locaux (on peut sans doute faire 
mieux).
Attention, il y a des erreurs lors des téléchargements : il 
faut parfois recommencer.