Title: Propriétés récursives des structures énumérées