commit and push de L'implémentation des contraintes de GS et de la
vérification de la consistance.