demo_git une démo de git qui se passe bien et maintenant on modifie depuis git hub mais aussi depuis ma machine