des options utiles à connaitre pour les commandes de git.
pour utiliser git de manière plus poussée.
Besoin d'une option de la JVM java ?
c'est ici