Test - Apprendre à utiliser des symboles importants dans le raisonnement par récurrence