demo_git

Un essai de repository git, puis un ajout de texte pour motiver un commit. Modification depuis GitHub. Puis modification en local. Fonctionne bien dans les deux sens.