serialisation, correction de bugs, simplificationde l'ajout d'axiomes
ajout des tactiques shiftequality, rewrite et rewritinv
Merge branch 'master' of https://github.com/frednboria/wpso