modification de a.txt