ajout d'une fonction load : int -> tas -> unit qui revient en arrière dans les affectations de poids de moms
Merge branch 'master' of github.com:fpirot/dpll