Donc ma question est : comment renommer en masse mes fichiers (sous Windows) pour qu'à la place de (01).jpg j'ai (0001).jpg et comme ça, je pense, il respectera l'ordre... à moins qu'il existe une variable PHP capable de me faire un tri en fonction du nom mais comme je le souhaite.