Relation Entre Lambda Calculus