Cette thèse présente le développement des modèles du transport de solutés dans un milieu à double-porosité non saturé, en utilisant la méthode d'homogénéisation asymptotique. Les modèles macroscopiques concernent les phénomènes de diffusion, diffusion-convection et dispersion-convection, selon les nombres adimensionnels caractérisant le régime du transport. Les modèles consistent en deux équations couplées, traduisant le non-équilibre local des concentrations. L'implémentation numérique des modèles à double-porosité est réalisée à l'aide du code COMSOL Multiphysics et confrontée avec la solution du même problème à l'échelle fine. Cette implémentation permet de résoudre de manière couplée l'équation de la concentration dans la macro-porosité et celle dans la micro-porosité (calculs à deux échelles). Les calculs du tenseur de dispersion ont été également réalisés. La dispersivité calculée à partir du coefficient de dispersion met en évidence l'influence du degré de saturation, des propriétés physiques du domaine de la macro-porosité et de la structure interne du milieu à double-porosité. Deux séries d'expériences ont été effectuées sur le modèle physique à double-porosité, constitué de billes d'argile solidifiée, distribuées périodiquement dans le sable d'Hostun HN38. La première série a concerné la validation du modèle de l'écoulement non saturé par des expériences du drainage. La deuxième série a été dédiée aux expériences de dispersion en régime permanent d'écoulement non saturé (teneur en eau mesurée par rayonnement gamma). La comparaison entre les simulations numériques et les observations montre un très bon accord. Ceci permet de valider les modèles développés.

Les années 1990 ont été marquées par une succession de crises de balance des paiements d'une grande violence dans les économies en voie de développement récemment intégrées à la finance internationale. Ces crises se caractérisent par une brutale dépréciation réelle, une chute soudaine de l'investissement, un renversement des flux de financement externe et touchent plus particulièrement le secteur abrité de la concurrence internationale. Ce travail de recherche étudie l'impact de la structure sectorielle, en faisant la distinction entre le secteur abrité de la concurrence internationale et le secteur exposé, sur la possibilité de crises de balance des paiements dans une économie émergente. A cette fin, nous construisons quatre modèles théoriques différents d'une petite économie ouverte à deux secteurs. Nous modélisons une crise de balance des paiements comme une dépréciation réelle auto-réalisatrice qui repose sur des effets de bilan. Les modèles permettent également d'étudier les déterminants de la structure sectorielle ainsi que sa dynamique à la suite d'une libéralisation des mouvements de capitaux. Nos résultats montrent que les équilibres de crise existent lorsque la taille relative du secteur abrité est suffisamment grande. Ils montrent aussi qu'une forte libéralisation des mouvements de capitaux induit un accroissement de la taille relative de ce secteur et peut donc rendre l'économie financièrement fragile à long terme. Les conditions de cette fragilité financière à long terme font intervenir des facteurs internationaux, comme le taux d'intérêt mondial, mais aussi des facteurs structurels propres à chaque économie: intensité des contraintes d'endettement, progrès technique, niveaux sectoriels de développement technologique ou degré d'ouverture financière.

Cette thèse propose d'une part une analyse des ressorts de l'efficacité des plans d'occupation des sols et des plans locaux d'urbanisme (POS/PLU). Elle caractérise, d'autre part par une régression logit, les déterminants de l'adoption en 1999 des POS par les communes n'en disposant pas encore ; les résultats corroborent le rôle déterminant des facteurs fiscaux et budgétaires. Enfin, elle réalise sur l'aire urbaine de Dijon entre 1994 et 2002 une évaluation comparée des effets des POS sur les prix fonciers des terres agricoles, ceux des terrains à bâtir et les prix immobiliers des maisons individuelles, en corrigeant l'endogénéité des POS au marché foncier ou immobilier par la méthode de Heckman (1979) et par la méthode instrumentale locale de Heckman et Navaro-Lozano (2004). L'existence d'un POS apparaît comme endogène aux prix des terrains à bâtir et aux prix immobiliers mais comme indépendante du marché foncier agricole. Il apparaît en outre que les POS accroissent à la marge les prix fonciers des terrains à bâtir et les prix immobiliers tandis qu'ils dévalorisent ceux des terrains agricoles.

L'objet de cette thèse est la construction d'un laser étalon à 778 nm pour réaliser une mesure absolue des fréquences 2S-8S/D des atomes d'hydrogène et de deutérium. Cet étalon de fréquence est une diode laser stabilisée en fréquence sur une transition à deux photons 5S-5D de l'atome de rubidium. Les performances métrologiques de ce laser étalon sont 10 fois meilleures que celles du laser He-Ne stabilisé sur l'iode. La fréquence de ce laser a été mesurée au cours de cette thèse grâce à une chaîne de multiplication de fréquence située à l'Observatoire de Paris. L'étude des caractéristiques métrologiques de la fibre optique reliant nos laboratoires a montré que le passage du faisceau du laser étalon dans celle-ci ne détériorait pas ses propriétés métrologiques. Les transitions 2S-8S/8D sont excitées dans un jet atomique par un laser titane-saphir. Plusieurs effets parasites déplacent et élargissent les raies étudiées. Pour s'affranchir de ces effets, une forme de raie théorique est ajustée sur les signaux expérimentaux. Elle tient compte en particulier de l'effet Stark linéaire sur les niveaux excités. La comparaison en fréquence du laser d'excitation et du laser étalon donne la fréquence absolue de la raie étudiée. On en déduit la valeur de la constante de Rydberg : R8 = 109 737,315 6859 (10) cm-1 Ce résultat est le plus précis à ce jour. En comparant les mesures du deutérium à celles de l'hydrogène, on détermine la valeur du déplacement de Lamb de l'état 2S du deutérium : L2S-2P = 1059,230 (9) MHz Cette mesure améliore l'incertitude sur cette valeur de plus d'un ordre de grandeur ; elle est en bon accord avec la dernière mesure de cette quantité. L'incertitude sur ces résultats approche celle des calculs d'électrodynamique quantique donnant les valeurs théoriques des niveaux d'énergie.

Un atome de Rydberg circulaire et un champ électromagnétique stocké dans une cavité supraconductrice de très grand facteur de qualité constituent un système simple, bien isolé de son environnement et permettant d'étudier l'interaction rayonnement-matiére. Dans ce mémoire nous présentons une expérience réalisé dans une situation où l'atome et le champ sont en résonance. Le signal de Rabi correspondant à l'évolution de la population atomique présente des composantes de Fourier dont les fréquences sont proportionnelles aux racines carrées des entiers successifs ; ceci met directement en évidence la quantification du champ dans la cavité. Nous montrons également que l'analyse des signaux permet de remonter aux propriétés statistiques du champ. Enfin, en analysant l'interaction non résonante de l'atome avec la cavité, nous montrons que dans un futur proche, il sera possible de préparer des superpositions quantiques d'états du champ présentant des différences mésoscopiques. Ces états sont de type "chat de Schrödinger". L'étude de la décohérence de ces états en fonction du nombre de photons que contient le champ permet d'explorer la frontière qui existe entre le monde quantique et le monde classique.

L'objet de cette thèse est l'étude de plusieurs applications des processus de mélange à quatre ondes induits dans les vapeurs atomiques. Dans la première partie, les notions de base de l'optique non-linéaire dans les milieux de Kerr sont rappelés. Dans la seconde partie, nous étudions les propriétés des oscillateurs à mélange à quatre ondes en anneau dont le milieu amplificateur est constitué d'une vapeur de sodium soumise à deux ondes pompes ne circulant pas dans la cavité. Les applications de ces oscillateurs comme senseur de rotation et comme générateur de faisceaux jumeaux sont démontrées, les principes de ces deux notions étant rappelées dans leur grande ligne. Dans la troisième partie, nous présentons plusieurs résultats sur le mélange à quatre ondes lorsque les ondes incidentes ont des polarisations linéaires orthogonales. Cette géométrie nous a permis d'observer un processus de mélange à deux ondes, et de réaliser un miroir à contraste de phase et un miroir auto-pompé. Les résultats obtenus expérimentalement dans les vapeurs de rubidium et de sodium sont en accord avec un modèle théorique basé sur les équations du pompage optique, ce modèle permettant d'interpréter sous forme d'activité optique les fortes non-linéarités observées.

Ce travail de thèse est consacré à l'étude du problème coulombien à trois corps en mécanique quantique (He, H-, H_2^+). Ce travail de recherche se plaçant dans le cadre plus général du chaos quantique, nous nous intéressons principalement aux atomes à deux électrons et plus particulièrement aux états pour lesquels les deux électrons sont très excités et d'excitation comparable. En premier lieu, nous montrons comment en tenant compte de toutes les symétries du système (géométriques et dynamiques) il est possible de calculer, sans aucune approximation, les états propres du problème quantique, y compris les états auto-ionisants. Nos résultats sont en parfait accord avec les résultats expérimentaux les plus précis obtenus sur la section efficace de photo-ionisation de l'atome d'hélium. Dans le cas de l'ion moléculaire H_2^+, nous montrons que nos calculs peuvent constituer une référence théorique précise pour de futures expériences de métrologie (mesure du rapport masse de l'électron/masse du proton). Dans le cadre de l'étude du chaos, nous mettons en évidence la relation profonde entre la dynamique classique et la dynamique quantique dans le cas de l'atome d'hélium. Ainsi, à partir de nos résultats quantiques nous montrons que seuls deux types d'orbites périodiques contribuent à la dynamique quantique. Enfin, nous abordons de manière qualitative la dynamique des niveaux, expliquant ainsi la construction des états de l'atome d'hélium d'une très longue durée de vie, localisés le long d'une orbite périodique stable.

Nous proposons un calcul stochastique covariant pour des<br />semimartingales dans le fibré tangent $TM$ au dessus d'une<br />variété $M$. Une connexion sur $M$ permet de définir une<br />dérivée intrinsèque d'une courbe $(Y_t)$, $C^1$ dans $TM$, la<br />dérivée covariante. Plus précisément, c'est la dérivée de <br />$(Y_t)$ vue dans un repère mobile, se dépla\c cant<br />parallèlement le long de sa courbe $(x_t)$ projetée sur $M$. <br />Avec le principe de transfert, Norris définit l'intégration<br />covariante le long d'une semimartingale dans $TM$. Nous décrivons le<br />cas où la semimartingale saute dans $TM$, en utilisant les travaux<br />de Norris et les résultats de Cohen sur le calcul stochastique <br />à sauts sur une variété. Nous comprenons, que, selon l'ordre<br />dans lequel on compose la fonction qui donne les sauts et la<br />connexion, on obtient un (\it calcul stochastique covariant à sauts) ou<br />(\it un calcul stochastique à sauts covariants). Tous deux<br />dépendent du choix de la connexion et des objets (interpolateurs et<br />connecteurs) décrivant les sauts au sens de Stratonovich ou d'Itô.<br />Nous étudions les choix qui rendent équivalents les deux calculs.<br />Sous certaines conditions, on retrouve les résultats de Norris<br />lorsque $(Y_t)$ est continue. Le cas continu est décrit par un<br />calcul covariant continu d'ordre deux, formalisme défini à l'aide<br />de la notion de connexion d'ordre deux.

Nous nous intéressons à une extension de ML avec polymorphisme<br />de première classe, à la manière du Système F.<br />Cette extension, nommée MLF, utilise les annotations de types<br />d'ordre supérieur données explicitement dans le programme pour inférer<br />de manière principale le type le plus général. Toute expression admet<br />ainsi un type principal, qui dépend des annotations présentes<br />initialement dans le programme.<br /><br />Toute expression de ML est typable dans MLF sans annotation<br />supplémentaire. Les expressions du Système F sont encodées de<br />manière systématique dans MLF en supprimant les abstractions<br />et les applications de types, et en traduisant les annotations<br />de types dans le langage de types de MLF.<br />De plus, les paramètres de lambda-abstractions qui ne sont pas<br />utilisés de manière polymorphe n'ont pas besoin d'être annotés.

Cette thèse est consacrée à la présentation d'un algorithme nouveau et à la formalisation et l'amélioration d'algorithmes existants pour le calcul des lois marginales et conditionnelles dans les réseaux bayésiens.<br /> Le chapitre 1 présente la théorie des réseaux bayésiens. Nous introduisons une nouvelle notion, celle de réseau bayésien de niveau deux, utile pour l'introduction de notre algorithme de calcul sur les réseaux bayésiens ; nous donnons également quelques résultats fondamentaux et nous situons dans notre formalisme un exemple d'école de réseau bayésien dit «Visite en Asie» .<br />Dans le second chapitre, nous exposons une propriété graphique appelée «d-séparation» grâce à laquelle on peut déterminer, pour tout couple de variables aléatoires ou de groupes de variables, et tout ensemble de conditionnement, s'il y a nécessairement, ou non, indépendance conditionnelle. Nous présentons également dans ce chapitre des résultats concernant le calcul de probabilités ou probabilités conditionnelles dans les réseaux bayésiens en utilisant les propriétés de la d-séparation. Ces résultats, qui concernent des écritures à notre connaissance originales de la factorisation de la loi jointe et de la loi conditionnée d'une famille de variables aléatoires du réseau bayésien (en liaison avec la notion de réseau bayésien de niveau deux) doivent trouver leur utilité pour les réseaux bayésiens de grande taille.<br />Le troisième chapitre donne la présentation détaillée et la justification d'un des algorithmes connus de calcul dans les réseaux bayésiens : il s'agit de l'algorithme LS (Lauritzen and Spigelhalter), basé sur la méthode de l'arbre de jonction. Pour notre part, après avoir présenté la notion de suite recouvrante propre possédant la propriété d'intersection courante, nous proposons un algorithme en deux versions (dont l'une est originale) qui permet de construire une suite de parties d'un réseau bayésien possédant cette propriété. Cette présentation est accompagnée d'exemples. <br />Dans le chapitre 4, nous donnons une présentation détaillée de l'algorithme des restrictions successives que nous proposons pour le calcul de lois (dans sa première version), et de lois conditionnelles (dans sa deuxième version). Cela est présenté après l'introduction d'une nouvelle notion : il s'agit de la descendance proche. Nous présentons également une application de l'algorithme des restrictions successives sur l'exemple «Visite en Asie» présenté en chapitre 1, et nous comparons le nombre d'opérations élémentaires effectuées avec celui qui intervient dans l'application de l'algorithme LS sur le même exemple. Le gain de calcul qui, à la faveur de cet exemple, apparaît au profit de l'algorithme des restrictions successives, sera comme toujours, d'autant plus marqué que la taille des réseaux et le nombre de valeurs prises par les variables seront plus élevés. C'est ce qui justifie l'insertion de notre algorithme au seins de « ProBT » , un logiciel d'inférence probabiliste, réalisé et diffusé par l'équipe Laplace localisée dans le laboratoire Gravir à INRIA Rhône Alpes. <br />En annexes nous rappelons les propriétés des graphes orientés sans circuits, les notions de base sur l'indépendance conditionnelle et l'équivalence de plusieurs définitions des réseaux bayésiens.