updated simplifieSat and utility + added tests for PreTraitement and
GenererSousSat + comment for the bug in the SimplifieSat function