Changement_extension

# https://github.com/fabiomus/youtube-videos/blob/main/Python%20Tutorial%20-%20How%20to%20Make%20a%20Files%20Extension%20Modifier/files_extension_modifier.py
import os
import shutil
import ctypes  # An included library with Python install.   

path_folder_origine = os.getcwd()
print('')
print('Répertoire en cours: {}'.format(path_folder_origine))
print('')
path_folder=input('Entrer le chemin du dossier à traiter (Laisser vide pour utiliser le repertoire en cours) --> ')
if path_folder == '':
    path_folder = os.getcwd()


print()
print('Path: {}'.format(path_folder))
print()
old_extension = '.' + input('Entrer l\'ancienne extension (e.g. txt, mp3) --> ')
new_extension = '.' + input('Entrer la nouvelle extension (e.g. txt, mp3) --> ')
print()

files_counter = 0

with os.scandir(path_folder) as files_and_folders:
    for element in files_and_folders:
        if element.is_file():
            # tuple_root_ext = os.path.splitext(element.path)
            # root = tuple_root_ext[0]
            # ext = tuple_root_ext[1]

            root, ext = os.path.splitext(element.path)
            if ext == old_extension:
                new_path = root + new_extension
                #os.rename(element.path, new_path)
                shutil.copyfile(element.path, new_path)
                files_counter += 1

print('** RECAP **')
print()
print('Nombre de fichier traités: {}'.format(files_counter))
print('Extension: de {} à {}'.format(old_extension, new_extension))
input("Appuyer sur une toucher pour terminer...")