correction du bug Not_found non pris en charge
Merge branch 'master' of github.com:fpirot/dpll