#import "./templates.typ": *

#show: chshtemplate.with(matiere: "i23")

#include "./parties_i23/logique.typ"
#include "./parties_i23/axioms_predicats.typ"
#include "./parties_i23/CalculBool.typ"
#include "./parties_i23/relations.typ"
#include  "./parties_i23/AnalCombinatoire.typ"
#include "./parties_i23/arithmetique.typ"
// = Connecteurs logique:
// #table(
