Modifier nom de beaucoup de fichier

Bonjour,
Je partage une trouvaille,
je me suis retrouvé plusieurs fois avec des packs de fichier où les noms étaient par exemple :
0001 - 12 games in one.gb
0002 - 13 games in one.gb

Après quelque recherche, j'ai trouvé un super logiciel gratuit :
Ant Renamer (je n'ai aucun lien avec )

Vous pouvez changer l'extension, remplacer une chaine de caractère, supprimer des caractères...

Dans ce cas, il suffit de supprimer les 7 premiers. C'est aussi valable si on doit supprimer les derniers caractères qui nous embêtent.

Vraiment très utile, efficace et demande aucune connaissance en programmation, car avec un script, on peut en faire autant.

Je confirme, Ant Renamer est vraiment pratique dans tous les cas de figure (je l'utilise pour des photos, mais le nombre de variables disponibles permet vraiment de tout faire).

Moi j'utilise Advanced Renamer depuis des années, ça rend vraiment la vie beaucoup plus facile.