Bonjour,

J'ai un dossier contenant 2350 autres dossiers nommés : P00000, P00016, P00020, .... P02457.

J'aurais besoin de les renommer en insérant un "0" supplémentaire juste après le P et obtenir ainsi : P000000, P000016, P000020, .... P002457.

Si j'ai plutôt l'habitude de ce genre de manips sous bash (Linux), je suis plutôt nul en script BATCH ... Si quelqu'un pouvait m'aider et m'indiquer la procédure à suivre ...

Merci beaucoup par avance !!