L'orthogonalité aux constantes est une propriété issue de l'étude modèle-théorique des équations différentielles algébriques et qui traduit des propriétés d'indépendance algébrique remarquables pour ses solutions.Dans cet article, on étudie la propriété d'orthogonalité aux constantes dans un langage algebrodifférentiel pour les équations différentielles autonomes ainsi que des méthodes effectives pour établir cette propriété. Le résultat principal est un critère d'orthogonalité aux constantes (et sa version en famille) pour les D-variétés réelles absolument irréductibles (X, v) s'appuyant sur la dynamique du flot réel associé (M, φ). Plus précisément, on montre que s'il existe des parties compactes K de M , Zariski-dense dans X telle que la restriction du flot à K est topologiquement faiblement mélangeante, alors le type générique de (X, v) est orthogonal aux constantes.Ce critère sera appliqué dans [Jao17b] à l'étude modèle-théorique du flot géodésique sur les variétés riemanniennes compactes à courbure strictement négative, présentées algébriquement.

No abstract

No abstract