demo_git unne demo de git qui se passe bien et maintenant on modifie depuis github mais aussi depuis ma machine locale et c'est cool