Dans la théorie des D-modules, on définit les systèmes de Gauss-Manin par l'image directe par un morphisme du faisceau structural. Un résultat essentiel est leur régularité. Dans cette thèse, on s'intéresse à l'irrégularité d'un analogue des systèmes de Gauss-Manin, l'image directe par un polynôme f d'un D-module élémentaire associé à un polynôme g, essentiellement dans le cas à deux variables. On utilisera deux approches que l'on comparera. Cette irrégularité permet de contrôler la croissance non modérée des intégrales d'une forme algébrique relative sur une collection de classes d'homologie dans les fibres de f, localement constante à supports fermés convenablement choisis. Dans une première méthode, nous exprimerons l'irrégularité en c de ces systèmes à l'aide de la courbe discriminante de f et g. On utilisera pour cela les travaux de Lê Dung Trang et C. Weber sur les résolutions à l'infini. En utilisant le théorème de commutation dû à Z. Mebkhout de l'image directe avec le complexe d'irrégularité, on se ramène alors aux calculs de caractéristiques d'Euler de complexes d'irrégularité de D-modules à deux variables dont le lieu singulier est un croisement normal. Un résultat de C. Sabbah permet alors de lier ces caractéristiques d'Euler à celles d'une fibre de Milnor. Pour l'irrégularité à l'infini, il faut ajouter une courbe spéciale qui provient des diviseurs dicritiques pour f et g d'une résolution à l'infini. Dans une deuxième méthode, on se ramènera au cas où f et g sont des projections. On exprimera alors l'irrégularité en fonction des cycles caractéristiques du complexe image directe par (f,g) du faisceau structural.

Dans ce travail, on étudie les espaces des modules dans le cadre de la géométrie hyperbolique complexe. L'espace des modules des variétés hyperboliques a été auparavant construit par Brody et Wright. On montre l'existence de l'espace des modules des espaces complexes hyperboliques, en considérant des déformations localement triviales et des déformations équisingulières et que ces dernières ne dépendent pas de la résolution choisie en utilisant le théorème de factorisation faible des applications birationelles entre variétés projectives. La construction utilise un critère de représentabilité des foncteurs analytiques par un espace de modules grossier, du à Schumacher et Kosarew-Okonek. Les deux ingrédients principaux de la construction sont l'existence d'une déformation semi-universelle et le théorème de stabilité sur les fibres proches de l'hyperbolicité à travers des morphismes propres. Enfin, en appliquant le même critère, on obtient l'espace des modules des variétés hyperboliquement plongées. Les objets des déformations sont des couples $(X,D)$ où $X$ est une variété compacte et $D$ un diviseur à croisement normaux dans $X$ tel que $X \setminus D$ soit hyperboliquement plongé dans $X$. Les déformations considérées ici sont les déformations logarithmiques.

Un système informatique ne peut traiter automatiquement un texte sans qu'un certain nombre d'informations contenues dans ce texte, comme les mots ou les phrases, ne soient annotées. L'annotation est en général produite automatiquement par un processus incrémental. Pour ajouter un nouveau niveau d'annotation un système exploite des annotations d'entrée, plus "simples", produites par les systèmes qui ont été appliqués précédemment au texte. Or aucun système d'annotation, à ce jour, ne réalise automatiquement une annotation parfaite d'un texte. En raison de la complexité et de la diversité de la langue naturelle, le biais de représentation est élevé : il est difficile d'isoler les annotations l'entrée discriminantes qui sont nécessaires pour annoter un texte. De plus, ces annotations d'entrée, résultant elles-même d'un calcul automatique, sont imparfaites i.e. imprécises, bruitées et parfois manquantes. Enfin, le corpus sur lequel ont été choisies les annotations d'entrée discriminantes est un rassemblement artificiel de textes d'un même domaine qui donne une vue partielle de la langue. Cette erreur l'estimation implique une variation importante de la fiabilité de ces annotations lorsque le système est appliqué sur un corpus d'un autre domaine. L'imperfection des annotations d'entrée et de sortie des systèmes de traitement automatique des langues (TAL) semble être une fatalité avec laquelle nous devons composer plutôt qu'un désagrément passager dû à la maturité naissante des techniques de TAL. Nous ne pouvons donc pas l'ignorer. L'imprécision des annotations se transmet et augmente à chaque niveau d'annotation du traitement d'un document. Si nous pouvons chercher à atténuer l'imperfection des informations d'entrée en réduisant le biais de représentation et l'erreur d'estimation, elles ne seront certainement jamais, sans intervention humaine, d'une qualité parfaite. Ce constat fait, une série de questions s'impose. Quelles sont les caractéristiques que le modèle de représentation des informations d'entrée doit réunir pour réduire le biais de représentation ? Comment adapter le statut des informations d'entrée dans le processus l'inférence du système lorsque, le système étant appliqué à un corpus d'un autre domaine, leur utilité vient à changer ? L'étude de la logique nous montre que nous savons raisonner formellement à partir d'informations imparfaites mais pouvons-nous en espérer un bénéfice pour le TAL ? Autrement dit, lequel de ces deux systèmes de TAL obtient les meilleures performances : un système qui intègre l'imperfection des informations d'entrée dans son processus de raisonnement ou un système prévu pour raisonner à partir d'informations d'entrée parfaites mais travaillant avec des informations imparfaites ? Pour répondre à ces questions, nous avons proposé un classifieur reposant sur le modèle des réseaux bayésiens. Ce modèle d'inférence probabiliste est adapté pour raisonner sur les données de la langue naturelle. La possibilité de représenter dans un formalisme unique les attributs hétérogènes qui décrivent les annotations d'entrée diminue le biais de représentation. Tous les attributs pertinents pour une tâche d'annotation peuvent être exploités lors de l'inférence et les données de chaque classe discriminées au mieux. Les probabilités conditionnelles a priori associées au réseau expriment un ensemble de contraintes dont nous nous servons pour estimer les valeurs inconnues des attributs et renforcer la fiabilité des attributs les plus bruités. De plus, leur apprentissage automatique atténue l'erreur d'estimation. L'étape d'apprentissage adapte les probabilités conditionnelles aux corpus et garantit que les attributs engagés dans la décision du classifieur sont toujours discriminants. Nous avons validé notre modèle sur le problème de la résolution du pronom it anaphorique dans les textes anglais. Nous avons conçu et implémenté un classifieur pour la distinction des pronoms impersonnels des pronoms anaphoriques et pour le choix de l'antécédent puis, nous avons évalué les deux classifieurs sur des corpus de domaines et de genres différents. L'analyse des résultats du classifieur pour la distinction des pronoms impersonnels a mis clairement en évidence l'intérêt de notre approche. Les résultats de notre classifieur sont meilleurs que ceux des systèmes de l'état de l'art concurrents. Sur la tâche plus difficile du choix de l'antécédent, les résultats de notre second classifieur sont moins satisfaisants mais ils restent comparables aux résultats des systèmes de l'état de l'art : lorsque l'imperfection des attributs est prise en compte dans l'inférence, l'emploi d'attributs de mauvaise qualité ne dégrade que très faiblement les performances du système ; si, sans être parfaits, les attributs sont de meilleure qualité, leur utilisation améliore significativement les performances du système. De plus, l'analyse des erreurs du classifieur montre qu'il est encore trop simple et qu'il modélise imparfaitement le problème du choix de l'antécédent. Pour corriger ces défauts du classifieur, nous proposons, en dernière partie de cette thèse, le prototype d'un nouveau classifieur reposant sur une extension des réseaux bayésiens dynamiques.

Le centre de la Galaxie constitue un laboratoire idéal pour mettre à l'épreuve les prédictions de la relativité générale. Le trou noir supermassif qui y siège possède le rayon de Schwarzschild ayant la plus grande taille angulaire sur le ciel (10 μas). C'est donc un candidat de choix pour observer avec une grande précision les phénomènes relativistes qui se déroulent dans son environnement immédiat. La première partie de ma thèse a consisté à étudier la précision astrométrique de l'instrument de deuxième génération du VLTI, GRAVITY. Ce recombinateur de faisceau qui sera installé à Paranal en 2014 est conçu pour atteindre une précision astrométrique de l'ordre de 10 μas. Afin de vérifier si ce but pourra être atteint, j'ai utilisé un programme de simulation de l'instrument pour déterminer de façon réaliste l'erreur astrométrique commise, en prenant en compte les caractéristiques réelles de GRAVITY. J'ai pu ainsi montrer que l'instrument était capable d'atteindre son objectif pour des sources suffisamment brillantes, ainsi que de mettre en évidence le mouvement d'objets à proximité immédiate du trou noir. J'ai ensuite développé un code de calcul d'orbites relativistes, GYOTO, permettant de calculer les images et les spectres d'objets situés à proximité d'un trou noir. Différents objets sont à l'heure actuelle implémentés dans le code. On peut citer en particulier le disque mince d'accrétion, le tore d'accrétion, ou l'étoile en orbite autour du trou noir. GYOTO permet également de réaliser des calculs de transfert radiatif au sein de l'objet considéré, ce qui permet de prendre en compte la physique interne des structures d'accrétion. Signalons que GYOTO sera rendu public dans un proche avenir. J'ai pu alors utiliser GYOTO pour calculer la silhouette et le spectre d'un tore d'accrétion entourant le trou noir central de la Galaxie, en prenant en compte l'émission synchrotron générée par cette structure. L'intérêt de ce genre de simulation est de contraindre les paramètres du trou noir et du tore d'accrétion en ajustant les spectres modélisés aux données observées. J'ai également simulé grâce à GYOTO l'évolution d'une sphère de gaz chauffée en orbite très serrée autour du trou noir. Ce schéma constitue un modèle prometteur pour les phénomènes de sursauts de rayonnement qui sont régulièrement observés aux abords du trou noir central. Il a alors été possible de simuler de façon réaliste une observation par GRAVITY de ce phénomène, et de déterminer les contraintes que l'instrument permettra d'apporter sur ce modèle, et sur le paramètre d'inclinaison du trou noir. Je me suis également intéressé à la possibilité de modéliser des objets compacts alternatifs afin de tester le paradigme du trou noir au centre de la Galaxie. Afin de pouvoir prendre en compte de tels objets, il a fallu permettre à GYOTO d'intégrer des orbites de particules dans des métriques non standards calculées numériquement, dans le formalisme 3+1 de la relativité générale. Cette capacité de GYOTO à prendre en compte des métriques non standards en fait un code unique parmi les algorithmes de calcul d'orbites existant dans la littérature. Je me suis alors intéressé à fournir quelques perspectives d'utilisation de GYOTO en métriques numériques. L'implémentation d'un objet gravastar au sein de la bibliothèque LORENE n'ayant pas abouti, je me suis intéressé à représenter les images observées d'une étoile à neutrons en effondrement, à différents stades de son évolution. Ce genre de calculs pourra permettre dans l'avenir de calculer numériquement les contreparties électromagnétiques de phénomènes en champ gravitationnel fort, telle que l'émission de rayonnement à proximité d'un système d'étoiles à neutrons en coalescence.

Les villes regroupent la moitié de la population mondiale. Le suivi de leur croissance est devenu un enjeu majeur en aménagement du territoire, en écologie ou pour la défense. Ce suivi nécessite une connaissance fine de l'occupation du sol et de la géométrie tridimensionnelle du bâti. L'interférométrie par radar à synthèse d'ouverture (RSO) a fait ses preuves pour mesurer l'élévation du milieu naturel à basse résolution, mais il n'est pas certain que les progrès récents en imagerie RSO à haute résolution offrent des capacités suffisantes pour rendre compte de la complexité du milieu urbain. L'objectif de cette thèse était de répondre à cette question. En raison des réflexions multiples, des discontinuités et de la grande diversité des matériaux du milieu urbain, les images RSO et, a fortiori les interférogrammes, sont difficiles à interpréter. Une inversion classique de l'interférogramme ne fournit pas un Modèle Numérique de Surface exploitable. Nous avons donc proposé un ensemble de traitements de plus haut niveau qui prend en compte toute l'information disponible, aussi bien dans les images que dans leur interférogramme. Notre travail comporte une étape d'analyse du signal RSO et une chaîne de reconstruction 3D. L'analyse est faite à trois échelles: au niveau de la cellule de résolution par simulation électromagnétique, au niveau de l'objet par un découpage en sous-bandes et au niveau de la texture par modélisation statistique. Elle aboutit à l'identification de plusieurs caractéristiques de la scène et au calcul joint de l'élévation en chaque pixel et d'une classification.

Cette thèse présente une méthode de reconstruction 3D de bâtiments à empreinte à angles droits et à toit plat par morceaux, à partir d'images interférométriques RSO (RADAR à synthèse d'ouverture) haute résolution en bande X provenant du capteur RAMSES (ONERA). De part l'acquisition en visée latérale et la nature électromagnétique de l'onde RADAR, les images RSO sont très différentes des images optiques et difficilement interprétables. C'est pourquoi, une analyse géométrique et phénoménologique des images RSO est tout d'abord effectuée. Cette analyse permet de comprendre l'origine des primitives utilisées lors de la reconstruction. Pour réduire le chatoiement, les images RSO sont tout d'abord filtrées. Le filtre non paramétrique mean shift est introduit en imagerie RSO et étendu à l'image de cohérence. L'extraction des primitives est ensuite effectuée grâce à des algorithmes basés sur la transformée de Hough. La méthode de reconstruction utilise la gestion d'hypothèses car l'ensemble des primitives extraites ne suffit généralement pas à décrire le bâtiment complètement. Pour cela le bâtiment est décomposé de façon hiérarchique par un ensemble d'éléments (façade, toit etc.). La gestion d'hypothèses permet de générer l'ensemble des hypothèses de bâtiments à partir des primitives extraites. Ensuite, les hypothèses générées sont validées ou rejetées par la détection des incompatibilités géométriques et interférométriques. Enfin, un classement des hypothèses validées est effectué. En perspective, les contributions apportées dans cette thèse sont mises en avant en montrant leur adaptabilité à d'autres données (polarimétrie, meilleure résolution).

La majorité des 500 exoplanètes détectées à l'heure actuelle ont été découvertes soit par vélocimétrie radiale, soit par photométrie de transits. L'imagerie directe de planètes extra-solaires peut cependant donner accès à une multitude d'informations nouvelles telles que leur position orbitale et leur spectre. Toutefois, de telles images sont difficiles à obtenir à cause de la faible séparation angulaire et du grand rapport de flux entre les planètes et leur étoile hôte. Pour ces deux raisons, l'imagerie directe d'exoplanètes s'est limitée jusqu'à aujourd'hui à des cas favorables de planètes géantes très lumineuses orbitant loin de leur étoile. Le présent travail vise à développer les capacités d'imagerie à haute dynamique avec un ou plusieurs télescopes pour la détection et la caractérisation de systèmes planétaires. Dans la première partie de ce manuscrit, nous étudions l'utilisation de télescopes terrestres assistés par l'optique adaptative pour la détection de planètes extra-solaires ainsi que de leur complémentarité avec les instruments spatiaux. Des résultats obtenus avec la Well-Corrected Subaperture du Mt. Palomar sur des systèmes multiples serrés sont présentés pour illustrer cette étude. La seconde partie de ce travail est dédiée à l'interférométrie stellaire et annulante. Tout d'abord, nous présentons une nouvelle technique de réduction de données pour l'interférométrie utilisant les distributions statistiques d'intentsité et de contraste afin d'améliorer de manière significative la précision des mesures interférométriques. Cette méthode est ensuite appliquée au Palomar Fiber Nuller afin de contraindre la présence de poussières et de compagnons dans l'environnement stellaire direct de Vega, et de mesurer plusieurs diamètres angulaires d'étoiles avec une très haute précision. Enfin, nous introduisons un relevé que nous menons actuellement avec l'instrument interférométrique AMBER au Very Large Telescope (Paranal, Chili) visant à détecter des compagnons sub-stellaires autour d'étoiles jeunes.

Depuis 1995, et la confirmation de la détection de la première planète extrasolaire, la détection directe et la caractérisation spectrale d'une exoplanète sont devenues l'un des challenges astronomiques actuels. Cependant, le fort contraste existant entre l'étoile et la planète, 10^9 dans le visible et 10^6 dans l'infrarouge thermique dans le cas d'une exoTerre ou d'une exoJupiter ainsi que la faible séparation entre les deux objets rendent cette détection directe difficile et requièrent des techniques et des instruments à la pointe de la technologie. Une solution à cette problématique est la coronographie. D'une manière générale, un coronographe est un instrument dont l'objectif est d'atténuer le flux de l'étoile centrale en diminuant la diffraction instrumentale J'ai étudié deux différents types de coronographes dans deux contextes totalement différents. J'ai tout d'abord étudié le coronographe de Lyot apodisé (ALC) destiné à l'instrument SPHERE (Spectro Polarimetric High contrast Exoplanet REsearch), instrument de seconde génération du VLT (Very Large Telescope) dédié à l'imagerie d'exoJupiter et dont la première lumière est prévue pour 2010. Je présente les différentes études relatives au développement de ce système coronographique menées lors de la post-phase A et la phase B de ce projet. Je me suis intéressé tout d'abord au composant novateur et important du coronographe de Lyot apodisé à savoir l'apodiseur, et, plus particulièrement, j'ai étudié par le calcul le chromatisme des propriétés optiques d'un apodiseur fabriqué par dépôt métallique d'un alliage d'Inconel sur un substrat de verre. Puis, afin de valider expérimentalement le concept et les procédés de fabrication retenus, j'ai ensuite caractérisé en laboratoire un premier prototype de coronographe de Lyot apodisé à 3λ/D sur le banc d'imagerie visible à très haute dynamique du laboratoire. J'ai ensuite participé aux études numériques de dimensionnement du prototype de l'ALC infrarouge susceptible d'être installé sur l'instrument. Je termine cette partie par la présentation des tests en laboratoire du prototype d'ALC infrarouge pour SPHERE, tests qui ont été réalisés sur le banc coronographique infrarouge du LESIA à l'Observatoire de Paris-Meudon. Le deuxième volet de ce manuscrit nous envoie dans un autre endroit particulier sur Terre sur un continent où les conditions atmosphériques sont quasi-spatiales : la station Concordia sur le plateau du Dôme C en Antarctique. C'est ici qu'a été implanté en décembre 2005, CORONA, le premier coronographe stellaire antarctique à couteaux de phase. Après une description de l'instrument et de ses motivations, je présente les tests en laboratoire du coronographe puis les résultats de la première lumière de l'instrument lors de la campagne d'été 2005 au Dôme C.

Les systèmes polynomiaux sous forme triangulaire, notamment les chaînes régulières et en particulier les ensembles triangulaires (de Lazard), sont des structures de données simples, permettant d'envisager des calculs modulaires (par spécialisation des coefficients, puis remontée via un opérateur de Newton-Hensel), de "résoudre'' les systèmes de polynômes (méthodes de "triangulations'') et de représenter des tours d'extensions de corps pour calculer avec les nombres algébriques. Dans ces trois domaines, les méthodes et résultats nouveaux apportés, notamment sur le plan de la complexité, étendent le champs d'application des ensembles triangulaires, et leur impact face à d'autres méthodes de manipulation des équations polynomiales, surtout les bases de Gröbner. Tout d'abord la complexité en espace des coefficients n'est qu'en croissance quadratique en fonction de données géometriques naturelles. Conséquence directe en est un opérateur de Newton (triangulaire) requérant moins d'étapes de remontée, et donc des méthodes modulaires plus encourageantes. Il en est ainsi pour la décomposition équiprojetable, premier algorithme de triangulation des systèmes basé sur une méthode modulaire, et pour le problème du changement d'ordres monomiaux en dimension positive, dans des cas assez particuliers toutefois pour une première approche. Par ailleurs, calculer modulo un ensemble triangulaire en suivant le modèle de l'évaluation dynamique, se voit doté, 20 ans après sa création, d'un premier résultat de complexité satisfaisant.

Dans cette recherche, nous avons cherché à étudier les phénomènes de débats et de conflits lors de l'élaboration du budget de manière qualitative et quantitative, afin d'enrichir la littérature sur les conditions propices à la performance du processus budgétaire et sur la valeur des conflits pour la performance organisationnelle. Les instruments de mesure élaborés, les relations testées, les verbatim recueillis permettent de conclure que la performance du processus budgétaire est davantage influencée par les facteurs favorables à la résolution constructive des oppositions (vision commune, but supérieur commun, volonté de coopérer, croyance en la possibilité de résolution), tels qu'ils sont proposés par la littérature sur le conflit, que par le niveau intrinsèque de débat ou de conflit. Au niveau des retombées pratiques de la thèse, il paraît donc peu souhaitable, pour les managers, d'avoir des débats ou même des conflits s'ils ne se sont assurés, au préalable, que les facteurs de cohésion, favorables à la résolution constructive des oppositions sont réunis. Contrairement à la vision hiérarchique du processus budgétaire, nos résultats indiquent aussi que les débats entre pairs ou les conflits entre pairs sont les interactions les plus efficaces pour élaborer le budget. Notre travail met ainsi en évidence l'importance des facteurs informels de cohésion ainsi que le savoir-faire managérial dans l'animation d'équipe pour remédier à certaines limites des outils formels de contrôle, en particulier du budget, tels qu'ils ont pu être relevés dans la littérature.