Merci de poser la question.
Je ne suis pas sûr de la partie "forme" de votre question, je vais l'ignorer.
Il aurait été plus facile de répondre si vous aviez précisé pour quel système vous avez besoin de la réponse. Lorsque cela n'est pas précisé, en général, l'auteur de la question pense au système Windows...
Toute façon, la réponse générale est : en renommant le fichier.
L'extension du fichier est en fait juste la fin du nom du fichier, donc vous le changez en renommant le fichier.
Sur Windows, le problème est que le système insiste pour cacher ces extensions, ils pensent qu'ils vont confondre l'utilisateur, ou ils ont voulu imiter les Macs, peut-être.
Donc, AFAIK, une des premières étapes est d'activer l'affichage de ces extensions de fichiers. Comme la procédure dépend de la version du système que vous utilisez, vous devriez chercher une solution sur Internet, il y a beaucoup de tutoriels sur le sujet.
Une fois que vous pouvez voir ces extensions, sélectionnez le fichier dans l'Explorateur Windows, et soit appuyez sur F2 (raccourci pour Renommer), soit faites un clic droit sur le fichier et choisissez Renommer dans le menu contextuel.
Allez à la fin du nom du fichier (touche Home), supprimez l'ancienne extension, tapez la nouvelle, appuyez sur Return pour valider.
Une boîte de message odieuse vous demandera de confirmer l'opération : si vous changez l'extension, vous changez aussi la façon dont il sera ouvert, donc vous pouvez avoir des problèmes.
Mais certaines opérations, comme txt vers csv, ou jar vers zip, sont en fait sans danger.... Ceux-ci ont le même type de fichier, avec juste une extension différente.
>