Une théorie continue simple

Dans le contexte de la logique continue du premier ordre, une attention particulière est souvent accordée aux théories qui sont d'une certaine manière continues d'une manière ‘essentielle’. Une caractéristique commune de ces théories est qu'elles n'interprètent aucune structure discrète infinie. Nous étudions une condition plus forte qui est plus facile à établir et l'utilisons pour donner un exemple d'une théorie continue strictement simple qui n'interprète aucune structure discrète infinie : la théorie des forêts à ramification riche avec des prédicats binaires génériques. Nous donnons également un exemple d'une théorie superstable qui ne satisfait pas cette condition plus forte mais qui n'interprète néanmoins aucune structure discrète infinie.