Ce petit logiciel, permet de changer l'extension d'un fichier, avec un simple clic droit sur le fichier en question. Plus besoin de modifier les options dans les options des dossiers, à chaque fois ...