Abstract FR:

La semantique fortement stable donne de nouveaux modeles du lambda-calcul. Une construction d'objets reflexifs est donnee, celle-ci s'inscrit dans le cadre des hypercoherences. La classe de modeles obtenue est la classe des i-modeles fortement stables. On montre ensuite que les classes des modeles continus, stables et fortement stables sont incompletes vis a vis des lambda theories. Enfin on etablit l'incomparabilite des ensembles des theories engendrees par ces classes