modification du fichier autre.txt depuis github