Simplification du code dans evaluation.ml