La programmation applicative (de LISP à la machine en passant par le lambda-calcul) Emmanuel SAINT JAMES