Solutions [BKP] subsoniques.
Ajout de evalFunc pour evaluer un invariant.