optimisation de space_memoization (maintenant E_val)