Lambda calcul Lisp i i i \x , \y . M (lambda (x y) (declare (type integer x y)) M)) pas de nommage nommage possible variable lié variable lié variable libre variable libre a -> a \f . M paramètre de type fonction #(lambda (f) ... (funcall f ...))