Voici mes feuilles d'exercice:
1
,
2
Quelques
lambda-calculistes
.