ajout de first satisfy (ok) + first fail (ko-debug)
correction des conflits
corrections conflits - 2