ajout de GenColAl et HaveSolution