Resolve "Récupération de l'historique du TP"

Closes #186 (closed)

Ajout du bouton dans le vue de la liste des groupes permettant de télécharger l'historique git du TP si l'historique est actif dans les settings.