Coquilles dans les notes de cours de Projet Fonctionnel L3

Tout est dans le titre. Vous pourriez aussi faire des merge request sur le GitLab (https://gitlab.aliens-lyon.fr/hsalou/cours-l3)... mais bon, un formulaire c'est plus simple.

(Je risque de me faire spam de mails mais bon...)
Envoyez une réponse par "groupe de typos" (même page ou très proche).

Quel chapitre ?

Chapitre 0 : Introduction
Chapitre 1 : Le λ-calcul pur
Chapitre 2 : Le λ-calcul simplement typé
Chapitre 3 : Introduction à la théorie de la démonstration
Chapitre 4 : Le λ-calcul polymorphe
Chapitre 5 : Les types linéaires
Quelle(s) page(s) ? (sur le PDF "par chapitre", pas le PDF entier)

Chapitre 0 : https://hugos29.dev/data/ens1/profon-chap00.pdf
Chapitre 1 : https://hugos29.dev/data/ens1/profon-chap01.pdf
Chapitre 2 : https://hugos29.dev/data/ens1/profon-chap02.pdf
Chapitre 3 : https://hugos29.dev/data/ens1/profon-chap03.pdf
Chapitre 4 : https://hugos29.dev/data/ens1/profon-chap04.pdf
Chapitre 5 : https://hugos29.dev/data/ens1/profon-chap05.pdf
La/les coquille(s) en question...
N'hésitez pas à faire plusieurs réponses si ce sont des coquilles assez "disjointes"
Juste pour savoir qui corrige mes coquilles (nom ou email ou pseudo sur discord)...
(optionnel)