Ho l'esigenza di cambiare nome a più di 7000 files e non vorrei farlo manualmente

devo cambiare il nome del file da pippo_01.jpg pippo_02.jpg etc a topolino_01.jpg topolino_02.jpg

in pratica mi serve un programma di rename con una funzione di sostituzione (tipo quella di dreamweaver)

sapete se esiste un software con questa funzione?