fix

prevents from some errors
faster
at most one ibex per choco solver
modif ibex access
minor
rem reif

use standard fmk instead
minor
safer use
Merge branch 'feature-fixreals' into develop