Quelques astuces pour renommer plusieurs fichiers sous Windows (avec l'explorateur ou un invite de commande)