Je veux renommer plusieurs fichiers à la fois. Par exemple :
Picture1.jpg
Picture2.jpg
Picture3.jpg
Picture4.jpg
en
Vacation-Picture1.jpg
Vacation-Picture2.jpg
Vacation-Picture3.jpg
Vacation-Picture4.jpg
Je suis assez familier avec le terminal, s'il n'y a pas une application qui est assez bonne pour renommer les fichiers.