[FS#300] Fix regression in stats module.
Improve inequation solver inner algorithm for variable remplacement.

Implementation is much more correct but remains very trivial though...
[Solver] New refactoring of substitution technic in positif().

Work in progress...
[Solver] Substitution algorithm have drastically improve in inequation solver.

Some code refactoring will have probably to be done subsequently.