C’est assez d’un seul lambda

https://iphi.hypotheses.org/383