Cette thèse s'intéresse à la distribution, par un constructeur automobile, d'une large variété de véhicules, qui vise à s'approcher des préférences individuelles des consommateurs hétérogènes. Le constructeur qui commercialise une large variété doit prendre des décisions de production ex-ante, alors qu'il est confronté à une incertitude sur la demande pour les variantes. Cette thèse définit la fonction de matching comme le programme de la firme qui cherche à minimiser la distance dans l'espace des biens entre le consommateur et la variante la plus proche, sous contrainte d'incertitude sur la demande. L'organisation historique de la distribution automobile, via des concessionnaires désintégrés qui supportent un risque d'invendus sur leur stock, présente des inefficacités dans le matching. Nous cherchons donc comment le constructeur peut aligner les incitations du concessionnaire sur cette nouvelle fonction objectif dans le système de relation verticale. Or, le matching pose un problème de mesure pour le constructeur, soumis à une asymétrie d'information sur les résultats du comportement du concessionnaire. À l'issue de cette thèse, les variables qui influent sur la fonction de matching du concessionnaire sont mises en évidence, ainsi que les modifications de l'organisation de la distribution nécessaire à l'optimisation du matching: exploitation d'effets de portefeuille et d'un pouvoir de marché en aval, ou intégration verticale du constructeur dans les fonctions d'approvisionnement et de gestion du risque en présence de l'incertitude sur la demande.

Dans cette thèse, on analyse par des méthodes de variétés invariantes deux problèmes distincts: le phénomène des roll-waves en hydraulique et l'existence de breathers discrets dans des réseaux non linéaires discrets. Les roll-waves sont des ondes progressives périodiques et discontinues solutions entropiques des équations de Saint Venant. Grace aux théorèmes de Fenichel, on montre l'existence de roll-waves continues "visqueuses" proches des roll-waves discontinues lorsqu'on ajouté aux équations un petit terme de viscosité. On étudie ensuite la stabilité linéaire de ces roll-waves discontinues. Enfin, on montre l'existence de roll-waves de petite amplitude dans des canaux à fond périodiques.\\ Les breathers discrets sont des oscillations périodiques, localisées en espace dans des réseaux non linéaires discrets. On analyse d'abord le modèle Fermi-Pasta-Ulam (FPU) diatomique. En formulant le problème sous la forme d'un mapping en dimension infinie, on montre, via une réduction à une variété centrale, l'existence de breathers discrets de petite amplitude pour des rapports de masses arbitraires. On utilise aussi cette approche pour montrer l'existence de breathers discrets dans des chaines de spins ferromagnétiques.

La théorie d'invariants de type fini des 3-variétés et leurs entrelacs de Goussarov-Habiro repose sur le calcul de claspers, un ensemble d'outils de calcul topologique. Dans cette thèse, on calcule explicitement les invariants en bas degré pour certaines classes d'objets, par une méthode dite graphique. Nous étudions ainsi les cylindres d'homologie sur une surface à 0 ou 1 composante de bord et les string-links framés des boules d'homologie. Leurs invariants de degré 1 sont caractérisés en termes d'invariants classiques, et une correspondance est établie entre les deux cas. On regarde aussi les invariants de Vassiliev des string-links, du point de vue des claspers. Le calcul des invariants de degré 2 implique la construction d'un certain invariant des string-links à 2 cordes. Le lien entre invariants de Vassiliev et de Goussarov-Habiro est étudié pour les string-links.

Le travail présenté dans cette thèse concerne l'analyticité et l'algébricité d'applications de Cauchy-Riemann (CR) lisse entre variétés CR analytiques ou algébriques réelles. Ce sujet a trait aux propriétés de prolongement d'applications et a récemment connu un regain d'activité. Notre contribution porte principalement sur l'étude du cas non équidimensionnel et sur le passage à la codimension supérieure à un. Dans la première partie de la thèse, nous considérons la question de l'algébricité d'une application holomorphe locale f envoyant une sous-variété algébrique réelle générique minimale M de Cn, n > 1, dans un sous-ensemble algébrique réel M' de Cn'. Ce problème a pour origine les travaux de Poincaré (1907), et plus récemment de Webster (1977). L'introduction de "variétés caractéristiques" associées à la fois aux ensembles M et M' et à l'application f nous permet de donner deux nouvelles conditions pour que f soit algébrique. Dans la deuxième partie de la thèse, nous étudions le problème de l'analyticité d'une application CR lisse f : M -> M' entre une sous-variété analytique réelle générique minimale M de Cn, n>1, et un sous-ensemble analytique réel M' de Cn'. Nous établissons une généralisation du principe de réflexion de Lewy-Pinchuk (1975-77) et prouvons que si la variété caractéristique est de dimension zéro, f est analytique réelle. Dans la troisième partie de la thèse, nous traitons la situation plus générale où la variété caractéristique est de dimension arbitraire. Nous démontrons que si M' ne contient pas de courbe complexe, f est analytique sur un ouvert dense de M. Plus généralement, nous établissons une estimation supérieure de l'analyticité partielle de f, en fonction de la dimension maximale des feuilletages holomorphes locaux contenus dans M'.

Le but de la thèse est d'établir une version quantitative du théorème suivant : toute sous-variété d'une variété abélienne n'admet qu'un nombre fini d'approximations d'exposant strictement positif. Cet énoncé a été obtenu par Faltings en 1991 ; la majeure partie des outils qu'il utilise sont communs avec sa preuve de l'ex-conjecture de Mordell-Lang. Il implique en particulier une extension du théorème de Siegel conjecturée par Lang : toute variété abélienne n'a qu'un nombre fini de points entiers. On utilise la méthode de Vojta en suivant les travaux de Rémond (version quantitative de Mordell-Lang) : le coeur de la thèse consiste à établir une inégalité à la Vojta explicite ; on établit ensuite une inégalité à la Mumford avant d'en déduire un décompte des approximations exceptionnelles. Toutefois, le cas où la variété approchée contient des translatés de sous-variétés abéliennes non nulles nécessite d'imposer une condition supplémentaire pour parvenir à un décompte explicite : sans ces conditions, un tel décompte impliquerait dans certains cas un résultat effectif, qui semble hors de portée à l'heure actuelle.

L'objectif de cette thèse est la compréhension et la modélisation du cortex visuel des mammifères avec des modèles à taux de décharge, appelés les champs neuronaux, où les fines spécificités du calcul neuronal sont négligées. Cette thèse est divisée en trois parties, deux parties théoriques et une plus appliquée. Dans la première partie, nous examinons les états stationnaires des équations des champs neuronaux en utilisant des outils topologiques et la théorie des bifurcations. Nous sommes particulièrement intéressés par le nombre de ces états étant donné un stimulus parce que tous ces états sont des représentations corticales du stimulus. Toutefois, selon les paramètres, les équations du champ de neurones peuvent avoir des solutions stationnaires multiples qui sont autant de représentations corticales du stimulus. Si plus d'une solution stable existe, nous avons montré comment distinguer une de ces activités corticales comme étant la représentation '' principale'' du stimulus et les autres comme des illusions neuronales. L'étude aboutit à un schéma numérique pour calculer les différentes solutions stationnaires du réseau de champ de neurones en utilisant plusieurs paramètres de continuation : ce schéma est utile pour sa capacité à détecter les bifurcations Saddle-Node. Dans la deuxième partie de cette thèse, nous étudions les effets des retards de propagation de l'information, les principaux résultats théoriques étant la preuve d'un théorème de variété centrale. Cependant, le résultat le plus utile est une formule analytique pour les courbes de bifurcation de Hopf dans le plan (vitesse de propagation - délai synaptique). Ces courbes indiquent les paramètres qui produisent des oscillations spontanées des neurones. L'étude du réseau sans cette formule analytique est très laborieuse. Elle a été utilisée pour révéler la structure très complexe du diagramme de bifurcation dans les réseaux de neurones avec retards de propagation. Enfin, dans la dernière partie de cette thèse, nous étudions trois modèles de cortex visuel auxquels nous appliquons les outils développés dans les parties précédentes. Le premier modèle est le Ring Model of orientation tuning pour lequel nous avons découvert l'existence d'un seuil de perception et expliqué comment il peut être observé expérimentalement. Le second modèle étudié est celui Blumenfeld et al., très proche dans sa formulation du modèle précédent, et se fonde sur des données expérimentales (fournis par G. Masson et le laboratoire de F.Chavane à l'INT, Marseille, FRANCE). Nous avons montré comment les symétries imparfaites de la connectivité affectent les réponses du réseau. En particulier, nous avons montré comment le réseau parvient à produire une réponse en accord avec le stimulus malgré ses préférences internes. Enfin, le dernier modèle que nous avons étudié est un modèle de l'aire visuelle V1 que nous avons développé, dans la lignée du travail de Bressloff et al. Nous avons appliqué à ce modèle, les outils mathématiques et informatiques développés dans les parties précédentes. Ce nouveau modèle ne dispose pas d'une connectivité dépendant de l'orientation préférée des neurones. En particulier, nous avons montré que si la vitesse de propagation de l'information était trente fois plus lente, une instabilité pourrait se développer entraînant des illusions périodiques en temps.

La réalisation de Hodge du polylogarithme d'un schéma abélien complexe de dimension g est une (2g-1)-extension de modules de Hodge. Lorsque le schéma abélien est principalement polarisé, on en donne une description au niveau topologique. Pour cela, on utilise des courants de type "courants de Green" introduits par Levin. On applique alors ce résultat aux familles modulaires de Hilbert-Blumenthal pour montrer que certaines classes d'Eisenstein (construites à partir du polylogarithme et d'une section de torsion) dégénèrent, en l'infini, en une valeur spéciale de fonction L du corps de nombres totalement réel sous-jacent. On en déduit deux autres résultats : une version partielle du théorème de Klingen-Siegel et un résultat de non nullité pour certaines de ces classes d'Eisenstein. Ainsi, on montre que pour tout entier g plus grand que 2, il existe un schéma abélien complexe de dimension g tel que certaines de ses classes d'Eisenstein soient non nulles.

Les CBFs représentent une famille de gènes impliqués dans le mécanisme de résistance de la plante au gel. Chez le blé hexaploïde, Badawi et ses collègues (2007) ont trouvé 37 gènes CBFs qui représentent 15 groupes de gènes différents avec 1 à 3 copies. Ces gènes ont été classifiés en 10 sous-groupes différents en fonction de la structure secondaire de leurs protéines. Les analyses phylogénétiques et bioinformatiques révèlent que le blé hexaploïde pourrait avoir plus de 25 groupes de gènes CBF. Nous avons poursuivi l'isolation de gènes CBF afin d'identifier le répertoire complet de cette famille chez le blé hexaploïde tolérant au gel, Norstar. Nous avons identifié 65 gènes CBF chez le blé. L'analyse phylogénétique des séquences nucléotidiques codant pour le domaine AP2 et la signature CBF révèlent que le blé contiendrait 27 groupes de gènes (avec 1 à 3 homéologues chacun provenant des 3 génomes du blé hexaploïde). L'analyse de leur structure secondaire montre qu'il est possible de classer les protéines CBF en plus de 10 sous-groupes pouvant posséder des fonctions différentes ou complémentaires. De plus, la séquence/structure de plusieurs copies (homéologues) CBF chez le blé hexaploïde dévie de celle conservée dans les autres membres du groupe suggérant que ces protéines peuvent représenter des produits de gènes sub optimaux. Ceci pourrait avoir un impact sur l'activité de ces CBF et affecter la régulation des gènes COR et le développement de la tolérance au gel. En tout, Norstar possède 2 pseudogènes CBF exprimés et 24 des 64 protéines analysées peuvent être considérés comme sub optimales. La présence d'un QTL a déjà été associée avec des gènes CBF chez le blé et l'orge. Comme les CBF peuvent être à la base de cet important phénotype, une hypothèse plausible pour expliquer leur contribution pourrait être que les gènes CBF possèdent des différences moléculaires au niveau des régions codantes qui influencent l'activité biologique des CBF exprimés. Afin de vérifier cette possibilité, nous avons comparé les régions codantes des gènes CBF du cultivar d'hiver Norstar à celles de deux cultivars de printemps, Chinese Spring et Manitou. Les résultats montrent que les deux cultivars de printemps possèdent aussi deux pseudogènes CBFIIIc-13.1 et CBFIVd-B22 mais le contenu et la nature des gènes optimaux et sub optimaux varient. Parfois le gène CBF chez le cultivar de printemps possède une séquence qui est plus proche d'une séquence consensus que celle provenant du cultivar d'hiver Norstar comme observé pour CBFIIId-24.2b, et parfois la séquence dévie du consensus comparativement à celle du cultivar Norstar comme observé pour TaCBFIVb-20b. La présence d'haplotypes différents chez le blé suggère que certains allèles peuvent coder pour des protéines CBF plus optimales au niveau de leur activité biologique et d'autres moins optimales. Il sera important d'étudier l'activité des protéines codées par ces haplotypes afin d'évaluer les variantes qui seraient les plus aptes à être combinés dans un génotype afin d'augmenter la régulation positive du développement de la tolérance au gel. Cette information pourra être utilisée par les sélectionneurs lors de croisements de divers génotypes de blé afin de produire des plantes plus tolérantes au gel. ______________________________________________________________________________

Cette thèse traite des langages reconnaissables de mots indexés par des ordinaux.<br /><br />Plusieurs classes d'automates qui reconnaissent de tels mots ont été introduites par Büchi. Elles diffèrent par la longueur des mots reconnus par les automates. Nous en utilisons quatre: la classe pour les mots de longueur [$\omega$] , celle pour les mots de longueur inférieure à [$\omega^(n+1)$] , où n est un entier naturel, celle pour les mots de longueur dénombrable, et celle pour les mots de longueur quelconque. Nous y ajoutons la classe des automates de Kleene traditionnelle, sur les mots finis. Nous remontrons que ces différentes définitions d'automates sont équivalentes, c'est-à-dire que données deux de ces classes et un automate d'une des deux, la restriction du langage reconnu par l'automate aux mots du domaine le plus petit des deux classes est la restriction du langage reconnu par un automate de l'autre classe au même domaine. Nous donnons également une présentation unifiée de la déterminisation pour chacune des classes qui reconnaît au plus des mots de longueur dénombrable.<br /><br />Les semigroupes finis sont un formalisme équivalent aux automates pour définir des ensembles de mots finis. Perrin, Pin et Wilke ont introduits des structures algébriques adaptées à l'étude des langages de mots de longueur [$\omega$] , qui, quand elles sont finies, sont équivalentes aux automates. Nous généralisons l'approche algébrique de la théorie des langages reconnaissables de mots de longueur [$\omega$] aux mots de longueur inférieure à [$\omega^(n+1)$] , puis aux mots de longueur dénombrable. Pour cela, nous définissons deux structures algébriques, les [$\omega^n$] -semigroupes et les [$\omega_1$] -semigroupes, qui, quand elles sont finies, sont équivalentes respectivement aux automates pour les mots de longueur inférieure à [$\omega^(n+1)$] et aux automates pour les mots de longueur dénombrable. Comme pour le cas des mots de longueur [$\omega$] , une algèbre syntaxique peut être canoniquement associée à chaque langage reconnaissable. Nous définissons le produit de Schützenberger et le produit en couronne sur les [$\omega_1$] -semigroupes. Nous étendons également le théorème des variétés d'Eilenberg aux mots de longueur dénombrable.<br /><br />Finalement, nous remontrons l'équivalence entre langages reconnus par automates et langages définis par énoncés de logique monadique du second ordre quand on s'intéresse aux mots de longueur dénombrable. Le théorème d'équivalence de Schützenberger entre langages sans étoile et semigroupes finis apériodiques est étendu aux mots de longueur inférieure à [$\omega^(n+1)$] , et le théorème d'équivalence entre langages sans étoile et langages définis par énoncés de logique du premier ordre de l'ordre linéaire de McNaughton et Papert est étendu aux mots de longueur quelconque.

Les variétés de Picard sont des variétés de Shimura associées au groupe des similitudes unitaires d'un espace hermitien de dimension 3 sur un corps CM. Elles paramétrisent les classes d'isomorphismes de variétés abdéliennes munies de certaines structures supplémentaires. En particulier, il existe une variété abdélienne universelle sur une variété de Picard et plus généralement des familles de Kuga-Sato.A ces variétés sont attachés des groupes de cohomologie. L'un des intérêts de telles variétés est qu'il est possible de trouver des représentations automorphes dans les groupes de cohomologie qui lui sont attachés, en particulier dans les groupes de cohomologie intérieure. Selon le programme de Langlands, ces représentations correspondent conjecturalement à des motifs. Le résultat principal de cette thèse est la construction de facteurs directs du motif intérieur de certaines familles de Kuga-Sato sur des variétés de Picard, c'est-a-dire d'un analogue motivique de la cohomologie intérieure. Cela passe par une étude détaillée des poids du motif bord de ces familles. On en déduit l'existence de motifs associés à certaines représentations automorphes. / Picard varieties are Shimura varieties associated to the group of unitary similitudes of an hermitian space of dimension 3 over a CM eld. They parametrize isomorphism classes of abelian varieties with some additional data. In particular, there exists a universal abelian variety over a Picard variety and more generally Kuga-Sato families. Cohomology groups are attached to these varieties. Automorphic representations can be found in cohomology groups, more precisely in interior cohomology groups. Following Langlands' program, these representations correspond conjecturally to motives. The main result of this thesis is the construction of direct factors of the interior motive of certain Kuga-Sato families over a Picard variety, meaning a motivic analogue of interior cohomology. To prove this, we study the weights of the boundary motive of such families. We deduce from this the existence of a motive associated to certain automorphic representations.