Modification eval.

la vérification des type était effectuée a chaque pas
d'évaluation ce qui est inutile.