Un mini TP pour apprendre à manipuler GIT