Des gens dans l’assemblé connaissent bien le lambda calcul non‑typé ? C’est pour savoir si je peux me permettre de poser des questions que je me pose.