REVENIR EN ARRIERE ET OUBLIER:
projet>git reset --hard commitID 
HEAD est maintenant à commitID Projet Version Ok
projet>git push --force
Total 0 (delta 0), réutilisés 0 (delta 0)
To dev-tools.umontpellier.fr:p00000009296/projet.git
 + eb1a306...commitID master -> master (forced update)
 projet>git log
 commit commitID (HEAD -> master, origin/master, origin/HEAD)