Il faut préalablement demander à Windows de ne plus cacher l'extension des fichiers connus, en allant dans windows Explorer, barre de menu/options des dossiers, et il y a une case à cocher ou à décocher pour rendre visible les extensions. Ensuite, il suffit d'éditer les noms des fichiers en cliquant une fois dans le nom, ou en sélectionnant un fichier, et en pressant la touche F2.