élimination des ref dans formule.ml
elimination des ref dans formule.ml

Merge branch 'master' of https://github.com/nagaaym/projet2