Déemonstration GIT