Tweaks the download script so that filenames follow %04d format
Voici toutes les versions de ce script. Voir uniquement les versions où le code a été modifié.