Cours 1
Conditions d’achèvement
Globalement: Introduction, Récursivité/Induction, Calcul propositionnel.