test egalité sommet, test vacuité dans lsupar
tentative correction segfault
Merge branch 'correctionliste' into dev