Updated scala-logging to version 3.0.0
Corrected nasty bug in soustraction of Infinitables
Added a span method in IntVariable