- Approche pratique
Première approche / Formulation / Test pour la suite $a$ / Remarque / Faille dans la définition - Choix de la définition
Formalisation / Définition / Remarques / Notation - Méthode de démonstration
Exemple / Remarque / Rédaction / En pratique