J'ai essayé, mais des tonnes de fichiers sont modifiés chaque jour, et il est impossible d'identifier celui que l'on cherche. En effet, l'extension aussi a été modifiée.
C'est vraiment un exercie intéressant, mais comme je n'ai pas trouvé la solution, je m'adresse à vous!