Git pour le Mini Projet de Mathématiques Discrètes 2013