No description available.

L'observation d'exoplanètes et plus généralement de l'environnement proche de jeunes étoiles représente une double difficulté observationnelle : la faible séparation angulaire entre l'étoile et la planète (ou son environnement tel qu'un disque protoplanétaire) et le contraste de flux. L'une des techniques permettant de surmonter ces difficultés est l'interférométrie en frange noire. Deux télescopes pointent un système étoile planète/disque et les pupilles sont recombinées de telle manière que les photons issus de l'étoile interfèrent destructivement alors que ceux issus de la planète/disque interfèrent constructivement. Les contraintes instrumentales sont très fortes pour garantir une extinction suffisante de l'étoile, tant en terme de différence de marche optique (de l'ordre du nanomètre) que d'équilibre photométrique (4% minimum pour obtenir un taux d'extinction de 40dB). La bande L (3.4 - 4.1μm) est adaptée à l'observation de matière froide, car le rapport de flux entre la planète (ou poussière stellaire) et son étoile présente un minimum de l'ordre de 10−4 après 3μm, ce qui rend la bande L particulièrement attractive pour ce genre d'observations. Parce que les silicates et le verre ne permettent pas de construire des guides atteignant la bande L, il n'existe pas aujourd'hui d'instrument mature fonctionnant dans cette bande en optique intégrée. En effet, les contraintes instrumentales concernant l'interférométrie annulante peuvent être relaxées en utilisant un interféromètre intégré monomode, grâce au filtrage modal. Un instrument interférométrique intégré en bande L serait donc le bienvenu, mais cela nécessite un effort technologique de développement pour mettre au point une méthode de production de guides monomodes en bande L ainsi que de recombineurs intégrés. Mon travail de thèse a consisté à développer de tels guides d'onde ainsi que des recombineurs permettant d'obtenir un taux d'extinction de 10−4 sur la bande L. Le matériau choisi est le Niobate de Lithium (LiNbO3) dont la transparence en infrarouge moyen en fait un parfait candidat. Nous avons utilisé deux méthodes pour fabriquer les guides : l'échange protonique et la diffusion de Titane. Cette dernière méthode permet de guider les deux polarisations T E et T M . Comme le Niobate de Lithium est électro-optique, nous avons aussi travaillé à piloter le retard de phase entre les voies interférométriques de manière intégrée, sans pièce mécanique mobile, en appliquant un champ électrique au niveau du guide via des électrodes "on chip". L'effet électro-optique nous permet non seulement de faire varier la différence de marche entre les voies mais aussi de régler l'équilibre photométrique, ouvrant la voie à la réalisation d'un interféromètre intégré complet, léger, compact et robuste. J'ai donc cherché à caractériser et optimiser l'efficacité électro-optique du système afin d'obtenir une tension de commande inférieure à 15V. Le résultat est un interféromètre de type Y présentant deux Mach-Zehnders en entrée pour le réglage des photométries et offrant un taux d'extinction de 33dB en lumière monochromatique à 3.39μm. Le pilotage électro-optique étant très rapide (> MHz), il devient alors possible de compenser les perturbations de phase induites par l'atmosphère (1kHz) en temps réel. Nous avons ainsi travaillé à construire un démonstrateur qui permet de compenser des retards de phases de l'ordre du kHz sans pièce mobile, garantissant, à 3.39μm, une différence de marche de l'ordre de 3nm. Nous avons aussi réalisé des coupleurs directionnels dont le taux de couplage peut être modulé via une tension de commande. L'application directe de cette technologie est un composant interférométrique 2TABCD ou 3TAC dont les défauts (déséquilibre des coupleurs) peuvent être corrigés par calibration. / The observation of exoplanets and more generally of the close environment of young stars represents an observational double difficulty : the small angular separation between the star and the planet (or its environment such as a protoplanetary disk) and contrast flux. One technique to overcome these difficulties is the nulling interferometry. Two telescopes target a star planet/disk system and the pupils are recombined in such a way that the photons from the star cause destructive interference while those from the planet/disk cause constructive interference. Instrumental constraints are very strong to ensure sufficient extinction of the star, both in terms of optical path difference (of the order of nanometers) than photometric balance (4% for a minimum extinction ratio 40dB). L-band (3.4-4.1μm) is adapted to the observation of cold matter, because the flux ratio between the planet (or star dust) and the star presents a minimum of 10−4 order after 3μm, making the L-band particularly attractive for such observations. Because silicates and glass are not suitable to build guides reaching the L-band, there is currently no mature instrument in this band in integrated optics. Indeed, instrumental constraints on nulling interferometry can be relaxed by using a single-mode interferometer integrated, thanks to modal filtering. An interferometric instrument integrated L-band would be more than welcome, but needs a technology development effort to develop a method of producing L-band single-mode guides as well as integrated beam combiners. My PhD work was to develop such single mode waveguides as well as beam combiners in order to ob- tain an extinction ratio of 10−4 in the L-band. The selected material is lithium niobate (LiNbO3), the mid-infrared transparency makes it a perfect candidate. We used two methods to make the guides : proton exchange and Titanium diffusion. This latter allows to guide both TE and TM polarizations. As Lithium Niobate is electro-optic, we also worked to internally control the phase delay between channels without mobile mechanical part, applying an electric field at the guide via electrodes "on chip". The electro-optical effect allows us to not only vary the optical path delay between channels but also to settle the photometric balance, paving the way towards the realization of an integrated complete interferometer, lightweight, compact and robust. I therefore sought to characterize and optimize the electro-optical efficiency of the system to obtain a command voltage lower than 15V. The result is a "Y" interferometer presenting two Mach-Zehnders as input for photometric adjustment and offering an extinction ratio of 33dB in monochromatic light (3.39μm). Because the electro-optical drive is very fast (> MHz), it becomes possible to compensate for the phase perturbations induced by the atmosphere (1kHz) in real time. We have worked to build a demonstrator which compensates phase delays of the order of kHz without mechanical mobile part and which guarantees, at 3.39μm, an optical path delay around 3nm. We also realized directional couplers whose coupling ratio can be adjusted via a control voltage. The direct application of this technology is an interferometric component 2TABCD or 3TAC whose defects (unbalanced couplers) can be electrically corrected by calibration.

La tentative d'introduction de la finance islamique en droit civil nécessite une démarche analytique comparative entre droit musulman et droit civil. La gestion islamique introduit des contrats inconnus en droit civil : la mudâraba et la wakala. Ces contrats de représentation s'opposent au régime général des FCP en marquant une divergence remarquable avec le régime du mandat en droit civil. L'admission de ces contrats nécessite un aménagement du régime des FCP reposant sur la création d'un comité de représentation des souscripteurs. La qualification du fonds en copropriété par le législateur libanais et français plaît bien à la doctrine islamique. L'analyse du régime de propriété et de copropriété prouve l'absence de divergences fondamentales entre le droit civil et le droit musulman. Cependant, le régime des fonds s'approche de la nature du patrimoine d’affectation d'après la doctrine civiliste. Cette qualification est inadmissible en droit musulman adoptant une théorie personnelle du patrimoine. Notre conceptualisation du régime d'une notion juridique de droit musulman dite de Jiha assure l'admission du patrimoine d'affectation et de la personnalité morale en droit musulman. La gestion islamique renforce la gouvernance du fonds et impose des obligations supplémentaires au gestionnaire. Elle nécessite la présence des organes spécialisés dans le contrôle de la conformité de la gestion au droit musulman, ce qui dégage une structure propre au FCPls inexistante dans la pratique. La gestion islamique aboutit à un « filtrage » des titres financiers. Une première analyse juridique du filtrage islamique élabore ainsi les fondements juridiques de ce filtrage. / Any attempt to introduce lslamic finance in civil law requires an analytical approach comparing Islamic law and civil law. Islamic management services rely on types of contracts, which do not exist in civil law: namely the mudâraba and the wakâla. These agency agreements differ from the general scheme of mutual funds as the exhibit a marked difference with the civil Iaw mandate contract. In order to allow these contracts, the current regime of mutual fonds must be amended by creating a representation committee of subscribers. Classification of the mutual funds by the Lebanese and French legislators as joint ownership sound well to Islamic doctrine. Even a detailed analysis of the ownership and joint ownership regimes proves there is no fundamental difference between civil Jaw and Islamic law in this matter. However, the fund’s ownership regime is close to what is called "special-purpose assets" in the civil law doctrine. This classification is unacceptable in Islamic law, which has a persona! theory of patrimony. Our conceptualization of the regime of a legal concept of Islamic law called Jiha make it possible to acknowledge the notions of special purpose assets and legal personality in Islamic law. Islamic management services put strong requirements on the governance of the funds and additional duties for the agent. Islamic management services require the presence of specialized entities monitoring compliance of management to Islamic law: such specific entity does not exist in practice. Islamic management services then leads to a "screening" of securities. Le1rnl analysis of Islamic screening el a borates the legal basis of this screening.

Le lambda calcul avec constructeurs (de Arbiser, Miquel et Rios) est une extension du lambda calcul avec un mécanisme de filtrage. Le filtrage à la ML y est décomposé en deux étapes: une analyse de cas sur des constantes (telle l'instruction «case» de Pascal), et une commutation de l'application avec la construction de filtrage. Cette règle de commutation entre deux constructions de natures différentes induit une géométrie de calcul surprenante, a priori incompatible avec les intuitions habituelles de typage. Cependant il a été montré que ce calcul est confluent, et vérifie la propriété de séparation (à la Böhm). Cette thèse propose un système de types du polymorphique pour ce calcul, et décrit ensuite un modèle de réalisabilité, qui adapte les candidats de réductibilité de Girard au lambda calcul avec constructeurs. La normalisation forte du calcul typé et l'absence d'erreur de filtrage lors de l'évaluation en découlent immédiatement. Nous nous intéressons ensuite à la sémantique du lambda calcul avec constructeurs non typé. Une notion générique de modèle catégorique pour ce calcul est définie, puis un modèle particulier (le modèle syntaxique dans la catégorie des PERs) est construit. Nous en déduisons un résultat de complétude. Enfin, nous proposons une traduction CPS du lambda calcul avec constructeurs dans le lambda calcul simplement typé avec paires. Le lambda calcul avec constructeurs peut ainsi être simulé dans un calcul bien connu, et cette traduction nous permet aussi de transformer tout modèle par continuation en modèle du lambda calcul avec constructeurs. Une équation catégorique caractéristique de ces modèles apparait alors, qui permet de construire des modèles non syntaxiques (dans les domaines) de Scott du lambda calcul avec constructeurs. / The lambda calculus with constructors was introduced by Arbiser, Miquel and Rios in the early 2000's as an extension of lambda calculus with pattern matching features. It decomposes the pattern matching à la ML into a case-analysis on constant constructors (in the spirit of the case instruction in Pascal), and a commutation rule between case construction and application. This commutation rule between two different kinds of constructions designs a surprising computational behaviour, a priori} not compatible with usual typing intuitions. However the whole calculus was proved confluent, and it enjoys the separation property (a version of Böhm's lemma).In this thesis we propose a polymorphic type system for this calculus, and we develop a realisability model, based on Girard's reducibility candidates. This leads to a strong normalisation result for the typed calculus, and guaranties that the type system prevents match failure. Next we focus on semantics for the untyped calculus. We first define a generic notion of models for the lambda calculus with constructors in Cartesian closed categories. We then establish the syntactic model in the category of PERs, and deduce a completeness result from it.Finally, we consider a translation of the lambda calculus with constructors into the pure lambda lambda calculus relying on continuation passing style techniques. This enables the simulation of the lambda calculus with constructors by a well known calculus, and provides a transformation of every continuation model into a model of the lambda calculus with constructors. Thereby a categorical equation characteristic of these models appears, which enables the construction of non syntactic models in Scott's domains.

Ce manuscrit est dédié à la résolution du problème de localisation dans les réseaux de capteurs sans fil mobiles. Les méthodes développées se basent principalement sur des caractéristiques de fingerprints ainsi que sur des informations de mobilité. Les premières s'attaquent aux valeurs de RSSI entre capteurs tandis que les deuxièmes prennent en considération la mobilité des capteurs mesurée à l'aide d'accéléromètres et de gyroscopes. La combinaison des données collectées est effectuée dans le cadre de l'analyse par intervalles, ou bien du filtrage de Kalman. Les travaux proposés introduisent des modèles de mobilité d'ordres un, deux ou trois, permettant d'approximer au mieux les trajectoires des capteurs à l'aide des accélérations mesurées. Ceux-là sont couplés à l'algorithme des K plus proches voisins, d'abord dans un système centralisé. Ensuite, les modèles de mobilités sont améliorés pour prendre en compte les rotations des nœuds. Une méthode de localisation décentralisée est également proposée dans ce qui suit, s'adaptant au mécanisme fonctionnel des réseaux de capteurs de grande échelle. Enfin, ce manuscrit propose une méthode de zonage visant à déterminer les zones dans lesquelles les capteurs résident. La méthode proposée aborde le problème de zonage en utilisant à la fois la théorie des fonctions de croyance et l'analyse par intervalles / This thesis is dedicated to solve the localization problem in mobile wireless sensor networks. It works mainly with fingerprints features and inertial movements information. The former tackles the RSSIs values between sensors while the latter deals with the objets movement attitude by using accelerometer and gyroscope. The combination of both information is performed in terms of interval analysis, or Kalman filtering. The proposed work introduces three orders mobility models to approximate nodes trajectories using accelerations, combined then to the weighted K nearest neighbors algorithm in a centralized scheme. Then the mobility models are extended up to the inertial information taking into consideration the rotations of the nodes. A decentralized localization method is also proposed in the following in view of the working mechanism of large scale sensor networks. Finally, this thesis proposes a zoning localization method aiming at determining the zones in which the nodes reside. The proposed method addresses the zoning problem by using both the belief functions theory and the interval analysis

Cette thèse porte sur les problèmes de localisation et de surveillance de champ de gaz à l'aide de réseaux de capteurs sans fil. Nous nous intéressons d'abord à la géolocalisation des capteurs et au suivi de cibles. Nous proposons ainsi une approche exploitant la puissance des signaux échangés entre les capteurs et appliquant les méthodes à noyaux avec la technique de fingerprinting. Nous élaborons ensuite une méthode de suivi de cibles, en se basant sur l'approche de localisation proposée. Cette méthode permet d'améliorer la position estimée de la cible en tenant compte de ses accélérations, et cela à l'aide du filtre de Kalman. Nous proposons également un modèle semi-paramétrique estimant les distances inter-capteurs en se basant sur les puissances des signaux échangés entre ces capteurs. Ce modèle est une combinaison du modèle physique de propagation avec un terme non linéaire estimé par les méthodes à noyaux. Les données d'accélérations sont également utilisées ici avec les distances, pour localiser la cible, en s'appuyant sur un filtrage de Kalman et un filtrage particulaire. Dans un autre contexte, nous proposons une méthode pour la surveillance de la diffusion d'un gaz dans une zone d'intérêt, basée sur l'apprentissage par noyaux. Cette méthode permet de détecter la diffusion d'un gaz en utilisant des concentrations relevées régulièrement par des capteurs déployés dans la zone. Les concentrations mesurées sont ensuite traitées pour estimer les paramètres de la source de gaz, notamment sa position et la quantité du gaz libéré / This thesis focuses on the problems of localization and gas field monitoring using wireless sensor networks. First, we focus on the geolocalization of sensors and target tracking. Using the powers of the signals exchanged between sensors, we propose a localization method combining radio-location fingerprinting and kernel methods from statistical machine learning. Based on this localization method, we develop a target tracking method that enhances the estimated position of the target by combining it to acceleration information using the Kalman filter. We also provide a semi-parametric model that estimates the distances separating sensors based on the powers of the signals exchanged between them. This semi-parametric model is a combination of the well-known log-distance propagation model with a non-linear fluctuation term estimated within the framework of kernel methods. The target's position is estimated by incorporating acceleration information to the distances separating the target from the sensors, using either the Kalman filter or the particle filter. In another context, we study gas diffusions in wireless sensor networks, using also machine learning. We propose a method that allows the detection of multiple gas diffusions based on concentration measures regularly collected from the studied region. The method estimates then the parameters of the multiple gas sources, including the sources' locations and their release rates

Le travail de recherche effectué dans cette thèse a été réalisé dans le cadre d'une convention CIFRE entre le laboratoire IMS de l'université Bordeaux 1 et la société Airbus Operations S.A.S. Cette thèse traite de la détection robuste et précoce des pannes oscillatoires de faible amplitude dans les systèmes de commandes de vol électriques. Une panne oscillatoire est une oscillation anormale d'une surface de contrôle due à un dysfonctionnement dans la chaîne d'asservissement de la servocommande d'une gouverne. Les pannes oscillatoires ont une influence sur la structure, l'aéroélasticité et la pilotabilité de l'avion, lorsqu'ils sont situés dans la bande passante de l'actionneur. La capacité à détecter ces pannes est très importante car elles ont un impact sur la conception structurale de l'avion. Au plan méthodologique, nous nous sommes focalisés sur l'estimation adaptative des paramètres et de l'état à base d'une technique de filtrage non linéaire local. Le mécanisme de filtrage opère sur un modèle non linaire de la chaine de contrôle-commande de l’actionneur hydraulique en amont des surfaces de contrôle. L'algorithme d'estimation est basé sur une interpolation polynomiale d'opérateurs linéaire, et offre l'avantage d'une implémentation relativement aisée. Un problème crucial et sous-jacent est la détermination des hyper-paramètres de réglage de cet algorithme. Nous avons proposé une démarche hors-ligne dédiée, en intégrant un critère de sensibilité vis-à-vis des pannes que nous devons détecter. La technique proposée a été implémentée et testée: les résultats expérimentaux obtenus sur banc essai et sur un simulateur A380 ont clairement mis en évidence l'apport de la nouvelle approche en termes de performances, tout en gardant le même niveau de robustesse. / The research work done in this PhD has been caried out in the frame of an industrial convention (CIFRE) between the IMS laboratory and Airbus Operations S.A.S. The thesis deals with robust and early detection of oscillatory failures (OFC: Oscillatory Failure Case) in the Electrical Flight Control System. An oscillatory failure is an abnormal oscillation of a control surface due to component malfunction in control surface servoloops. OFCs have an influence on structural loads, aeroelasticity and controllability when located within the actuator bandwidth. The ability to detect these failures is very important because they have an impact on the structural design of the aircraft. Usual monitoring techniques cannot always guarantee to remain within an envelope with acceptable robustness. In this work, we develop a model based strategy to detect such failures with small amplitude at a very early stage. The monitoring strategy is based on dedicated non linear local filtering for on-line joint parameter/state estimation, allowing for model parameter variations during A/C flight. This strategy is associated with the same decision making rules as currently used for in-service Airbus A380. We propose a method for adjusting the tuning parameters so that various design goals and trades-off can be easily formulated and managed. The performance of the proposed fault detection scheme is measured by its detection delay, its propensity to issue false alarms and whether it permits a failure to go undetected. The proposed technique has been implemented and tested with success on Airbus test facilities including an A380 flight simulator.

Les perturbations d’origine anthropique sont à l’origine de l’érosion de la biodiversité avec des conséquences sur la structure des communautés et pour le fonctionnement des écosystèmes. La vitesse de ces changements a stimulé de nombreuses recherches portant sur les effets de ces modifications sur la biodiversité des organismes et leurs propriétés fonctionnelles. En effet il a été montré que les traits des espèces sont plus importants que leur identité elle-même pour tenir compte de leurs rôles écologiques. Même si la majorité de ces travaux ont étudié la réponse des producteurs primaires sur les écosystèmes terrestres, la contribution d’autres organismes est toutefois essentielle pour maintenir un fonctionnement et une résilience des écosystèmes corrects.Les fourmis sont des organismes cibles intéressants pour étudier de telles modifications du fait de leur abondance et de leur dominance écologique. En effet elles ont une distribution cosmopolite et participent à de nombreuses fonctions dans l’écosystème terrestre. Elles sont également faciles à étudier et des méthodes d’échantillonnage standard existent. Bien que de nombreuses recherches aient démontré des modifications dans la composition spécifique des fourmis dans des gradients environnementaux, un nombre réduit d’entre elles ont étudié la contribution de ces organismes sur le fonctionnement des écosystèmes. De plus, les traits responsables de la stabilité des communautés de fourmis en réponse à ces modifications sont encore peu connus. Il est donc nécessaire de développer une méthodologie capable d‘identifier la participation des fourmis dans des processus écosystémiques permettant également de quantifier leur activité afin de comprendre comment ces organismes agissent sur les capacités de résistance et résilience des écosystèmes.Ainsi, cette thèse vise mettre en lumière i) en quoi la simplification des habitats liée aux activités humaines a des répercussions sur les communautés de fourmis, ii) quels sont les traits responsables du succès écologique d’une espèce ou de son déclin au sein d’un environnement donné, et iii) comment ces variations en composition spécifique impactent l’intensité de participation des fourmis aux processus écosystémiques. / Land-use changes have deep consequences on species diversity, community structure and ecosystem functioning. Consequently, many works have tried to understand the effects of such changes on the diversity and functional properties of organisms. It has been demonstrated that species traits are oftenly more important than the identity of species per se in order to account understand the ecological roles of species. Besides, while the majority of assessments about land-use change effects on ecosystem functioning have focused on primary producers, the contribution of other organisms is essential to maintain the functioning and resilience of ecosystems.Ants are interesting organisms to track land-use changes due to their abundance, ubiquity and ecological dominance. Ants are present in most of terrestrial biomes and participate in several ecosystem processes through their consumption of food resources. They are also easy to sample and standard methods exist to provide accurate comparisons between studies. While a number of studies have demonstrated abrupt changes in ant species composition along environmental gradients, only a reduced number of such studies have tried to understand how ant community changes affect ecosystem processes. Moreover, the traits responsible for the stability of ant communities in response to land-use changes are little known. It is therefore necessary to develop a methodology that enables a proper identification of ant participation to different ecosystem processes and their contribution to ecosystems’ resistance and resilience.In this thesis I aim to bring some light about i) how land-use changes affect ant community structure? ii) what traits are responsible of the ecological success of a species or it’s extinction from a given environment? iii) how changes in the species or trait composition affect the participation intensity of ants in different ecosystem processes ?

Dans le domaine de la modélisation des écoulements turbulents, les approche hybrides RANS/LES ont reçu récemment beaucoup d’attention car ils combinent le coût de calcul raisonnable du RANS et la précision de la LES.Parmi elles, le TPITM (Temporal Partially Integrated Transport Model) est une approche hybride RANS/LES temporelle qui surmonte les inconsistances du raccordement continu du RANS et de la LES grâce à un formalisme de filtrage temporel. Cependant, le modèle TPITM est relativement difficile à mettre en œuvre et, en particulier, nécessite l’utilisation d’une correction dynamique, contrairement à d’autres approches, notamment la DES (Detached Eddy Simulation).Cette thèse propose alors une approche hybride RANS/LES similaire à la DES, mais basée sur un filtrage temporel, déduite du modèle TPITM par équivalence, c’est-à-dire en imposant la même partition entre énergies résolue et modélisée. Ce modèle HTLES (Hybrid Temporal LES) combine les caractéristiques de la DES (facilité de mise en œuvre) et du TPITM (formalisme consistant, justification théorique des coefficients).Après calibration en turbulence homogène, l’approche est appliquée à des cas d’écoulements autour de cylindres carrés puis rectangulaires. La modélisation des tensions de sous-filtre est une adaptation au contexte hybride du modèle RANS k-wSST. / In the field of modelling of turbulent flows, hybrid RANS/LES approaches have recently received a considerable attention due to the combination of the computational cost of RANS and the accuracy of LES.Among them, TPITM (Temporal Partially Integrated Transport Model) is a hybrid RANS/Temporal LES approach that overcomes the inconsistency of the continuous bridging of RANS and LES by using a temporal filtering formalism. However, TPITIM is relatively difficult to implement and, in particular, requires a dynamic correction, contrary to other approaches, in particular DES (Detached Eddy Simulation).The present thesis then proposes a hybrid RANS/LES approach similar to DES, but based on temporal filtering, derived from TPITM using an equivalence criterion, i. e., imposing the same partition of among resolved and modeled energies. This HTLES approach (Hybrid Temporal LES) combines the characteristics of DES (ease of implementation) and of TPITM (consistent formalism, theoretical justification of the coefficients).

Dans le cadre de recherches menées par l'ANDRA, qui visent à évaluer la faisabilité de créer un stockage de déchets radioactifs dans la formation argileuse du Callovo Oxfordien, cette thèse s'intéresse à deux étapes indispensables pour obtenir une image 3D du sous sol. La première étape concerne la cartographie de la géométrie de la formation. Celle-ci est déterminée à partir de temps pointés le long de profils sismiques, orientés suivant deux directions principales. Aux intersections, les valeurs enregistrées par deux profils sont différentes. Le faible nombre d'intersections ne permettant pas une étude détaillée du comportement spatial de ces différences, elles sont analysées par le biais du pseudo variogramme croisé. L'analyse variographique permet de choisir un modèle cohérent pour l'ensemble des profils. À partir de ce modèle une estimation du temps corrigée est présentée. La deuxième étape concerne l'étude de l'impédance, variable liée aux propriétés intrinsèques de la roche. Deux types de mesure sont disponibles. D'une part l'impédance sismique résultant de l'inversion géophysique de l'amplitude enregistrée le long de profils de sismique réflexion est largement étendue dans la zone d'intérêt. D'autre part, l'impédance log, résultant du produit de la densité de la roche et de la vitesse des ondes P, n'est connue uniquement dans quelques puits. Le comportement spatial bivariable, le long de la direction verticale, a permis de formuler l'hypothèse suivante : chaque mesure d'impédance est décomposée en une somme d'une variable Z (commune aux deux mesures) et d'un résidu différent pour chaque mesure. Sous certaines hypothèses supplémentaires, il est possible d'estimer la composante commune sur l'ensemble des sections sismiques. En complément à ces études, d'autres points ont été évoqués, par exemple la correspondance entre procédés géophysiques et géostatistiques, ou la prise en compte d'incertitude sur les amplitudes. / In the framework of researches carried out by ANDRA (the French agency for nuclear waste), which aim at evaluating the feasibility of creating a repository of radioactive waste in the Callovo Oxfordian clay formation. This thesis studies two key steps to obtain a 3D image of the formation: its geometry and its internal heterogeneity. The geometry of the sedimentary formation is determined from seismic time picking along profiles. These profiles are oriented along two main directions. At the intersections, the values registered by two profiles are different. The low number of intersections does not allow a precise study of the spatial behavior of these differences; they are analyzed via the pseudo-cross-variogram. The variography analysis allows the choice of a coherent model for all the profiles, from which an estimation of the corrected time is presented. The internal heterogeneity is performed through the study of the impedance, a variable linked to the intrinsic properties of the rock. Two types of measurements are available. On one hand, the seismic impedance resulting from the geophysical inversion of the amplitude recorded along seismic reflection profiles is densely distributed in the area of interest. On the other hand, the impedance log, resulting from the product of rock density and P wave velocity, is known at only few wells. Bivariate spatial behavior along the vertical direction has allowed the formulation of the following hypothesis: each impedance measurement can be decomposed into a sum of a variable Z (common to both measures) and a residual specific to each measure. Under certain supplementary hypotheses, it is possible to estimate the common component along the seismic sections. Some complements to these studies are mentioned, for example the correspondence between geophysical and geostatistical methods or the consideration of uncertainty in the amplitudes.