On fait l'abstraction avant la réduction, et on ajoute I devant (lambda... au parsing
Merge remote-tracking branch 'origin/master'