encore un peu de debug. 'I (lambda x . expression)' s'abstrait bien maintenant