Das deutsche Python-Forum

ich bräuchte ein Tool, mit dem ich bildsequenzen umbenennen kann. Kennt jemand eins oder hat dazu einen guten Ansatz (wäre mir lieber )?
Als beispiel:
ich will die dateien abcde0001.tga, abcde0002.tga, abcde0003.tga,........
umbenennen in: name0001.tga, name0002.tga, usw.

Nummer und Endung bleiben, nur der erste teil soll ausgetauscht werden.
Ideen immer gerne
danke

Ein Tool: Total Commander.
Ein Ansatz: ein Python Programm dass die Dateinamen einliest, mit .replace die Stringteile ersetzt, und mit os.rename() die Dateien umbenennt.

danke

Dafür nehme ich das Freeware Tool "1-4a Rename": http://www.1-4a.com/rename/
Damit kann man alles Mögliche mir den Dateinamen anstellen...