1. No category

Raisonnement par récurrence