D'où vient le mot "lambda" ?