Séance de cours
Cette séance de cours introduit l'induction structurelle sur les arbres, étendant le concept au-delà des listes. Il explique le principe général d'induction pour prouver les propriétés des structures arborescentes, en utilisant IntSets comme exemple et en démontrant les lois de l'implémentation d'IntSet.