2 remarques sur 20180227_FILEPATCHER :
1) il imprime jamais rien dans LOG.TXT ;
2) il a fallu que je cherche un peu où le fichier patché était créé, en l'occurrence, dans le dossier parent au dossier où on effectue l'opération (et dc dans mon cas, sur le bureau, donc jle trouvais pas). Le fait qu'il soit nommé "Nouveau" n'aide pas trop à le trouver.
Sinon, ca marche bien !