Coquilles dans les notes de cours de Sémantique et Vérification M1

Tout est dans le titre. Vous pourriez aussi faire des merge request sur le GitLab (https://gitlab.aliens-lyon.fr/hsalou/cours-m1)... 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 : Transition systems
Chapitre 2 : Linear-Time Properties
Chapitre 3 : L'approche topologique
Chapitre 4 : Ordres partiels et treillis
Chapitre 5 : Propriétés « observables »
Chapitre 6 : Logique temporelle linéaire
Chapitre 7 : Langages ω-réguliers
Chapitre 8 : Bisimulation
Chapitre 9 : Logique modale pour systèmes de transitions
Quelle(s) page(s) ? (sur le PDF "par chapitre", pas le PDF entier)

Chapitre 0 : https://hugos29.dev/data/ens2/sv-chap00.pdf
Chapitre 1 : https://hugos29.dev/data/ens2/sv-chap01.pdf
Chapitre 2 : https://hugos29.dev/data/ens2/sv-chap02.pdf
Chapitre 3 : https://hugos29.dev/data/ens2/sv-chap03.pdf
Chapitre 4 : https://hugos29.dev/data/ens2/sv-chap04.pdf
Chapitre 5 : https://hugos29.dev/data/ens2/sv-chap05.pdf
Chapitre 6 : https://hugos29.dev/data/ens2/sv-chap06.pdf
Chapitre 7 : https://hugos29.dev/data/ens2/sv-chap07.pdf
Chapitre 8 : https://hugos29.dev/data/ens2/sv-chap08.pdf
Chapitre 9 : https://hugos29.dev/data/ens2/sv-chap09.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)