Propriétés récursives des structures énumérées — Daniel Lacombe