Séance 7 - Tri topologique : Graphe de dépendances de la mousse au chocolat ⋅ Code fourni

---

Séance 6 - Fin déduction naturelle, début tri topologique : Graphe de la mousse au chocolat

---

Séance 5 - Déduction naturelle en logique propositionnelle : Feuille d'exercices

---

Séance 4 - Retour sur trace pour le probleme SAT : Squelette (OCaml)

---

Séance 3 - Retour sur trace : n reines : Corrigé code OCaml

---

Séance 2 - Tas max pour tri par tas : Squelette (OCaml)