Contrairement à MS-DOS, il n'y a pas de méthode simple pour changer juste l'extension sur un grand nombre de fichiers.
Il existe des solutions avec une interface graphique, ou un ensemble de commandes à taper.
J'ai fini par m'écrire un script qui évite de retaper toutes les commandes. Et pour …