Cette appli gratuite est idéale pour renommer des dizaines de fichiers en une seule fois