nouvelle écriture de l algo de resulution avec bug inclu cf: match-error