Exercices Ensembles et relations Fonctions et opérations Relations d'ordre Induction sur $\mathbb{N}$ Induction structurelle Langages et automates