Adaptation du parser à la v2 (facilite la creation de SatPRoblem)