Allow hybrid lexico optimization
In some cases, it would be nice to be able to perform a lexico optimization without waiting to prove the optimality of each criteria.
It means that the first criteria is optimized during a given timeout, then the first and second are optimized during a given timeout, and so on until all the criteria are considered.
We would use a classical transformation of lexico into a linear objective function for all but the first optimization.