Maj GT, il manque une condition d'arrêt pour les sommets actifs