Les serveurs du système de noms de domaine (DNS) représentent des éléments clés des réseaux Internet. Récemment, les attaquants ont profité de ce service pour lancer des attaques massives de déni de service distribué (DDoS) contre de nombreuses organisations [1, 2, 3]. Ceci est rendu possible grâce aux différentes vulnérabilités liées à la conception, implantation ou une mauvaise configuration du protocole DNS. Les attaques DDoS amplifiées par DNS sont des menaces dangereuses pour les utilisateurs d’Internet. L’objectif de cette étude est d’acquérir une meilleure compréhension des attaques DDoS amplifiées par DNS par l’investigation des résolveurs DNS ouverts à travers le monde. Dans ce contexte, il est nécessaire d’adopter une approche en phase précoce pour détecter les résolveurs DNS ouverts. Cela devient cruciale dans le processus d’enquête. Dans cette thèse, nous nous intéresserons à l’utilisation de résolveurs DNS ouverts dans les attaques DDoS amplifiées par DNS. Plus précisément, la principale contribution de notre recherche est la suivante : (i) Nous profilons les résolveurs DNS ouverts, ce qui implique : détecter les résolveurs ouverts, les localiser, détecter leur système d’exploitation et le type de leur connectivité, et étudier le but de leur vivacité. (ii) Nous effectuons une évaluation de la sécurité des résolveurs DNS ouverts et leurs vulnérabilités. De plus, nous discutons les fonctions de sécurité des résolveurs DNS, qui fournissent, par inadvertence, les attaquants par la capacité d’effectuer des attaques DDoS amplifiées par DNS. (iii) Nous présentons une analyse pour démontrer l’association des résolveurs DNS ouverts avec les menaces de logiciels malveillants. / Domain Name System (DNS) servers represent key components of Internet networks. Recently, attackers have taken advantage of this service to launch massive Distributed Denial of Service (DDoS) attacks against numerous organizations [1, 2, 3]. This is made possible due to the various vulnerabilities linked to the design, implementation or misconfiguration of the DNS protocol. DNS reflection DDoS attacks are harmful threats for internet users. The goal of this study is to gain a better understanding of DNS reflection DDoS attacks through the investigation of DNS open resolvers around the world. In this context, there is a need for an early phase approach to detect and fingerprint DNS open resolvers. This becomes crucial in the process of investigation. In this thesis, we elaborate on the usage of DNS open resolvers in DNS reflection DDoS attacks. More precisely, the main contribution of our research is as follows : (i) We profile DNS open resolvers, which involves : detecting open resolvers, locating them, fingerprinting their operating system, fingerprinting the type of their connectivity, studying the purpose of their liveness. (ii) We conduct an assessment with respect to DNS open resolvers security and their vulnerabilities. Moreover, we discuss the security features that DNS open resolvers are equipped with, which inadvertently provide the capability to the attackers in order to carry out DNS reflection DDoS attacks. (iii) We present an analysis to demonstrate the association of DNS open resolvers with malware threats.

Les sols organiques cultivés sont reconnus pour leur excellente qualité agricole. Cependant, la nature des matériaux les constituant et les processus physico-chimiques et mécaniques liés à leur mise en valeur agricole les rendent exposés aux problèmes de drainage. Généralement, la formation de couches compactes qui stratifient le profil de sol limite progressivement l’infiltration de l’eau dans le sol et favorise la formation de nappes perchées à la surface du sol. Ces manifestations sont en grande partie néfastes pour les cultures ne tolérant pas que leur système racinaire soit inondé au-delà de 48 heures. Le but de cette étude a été : (1) de décrire le mouvement de l’eau dans le sol au cours de deux événements de drainage et de caractériser ses principales propriétés hydrauliques ; (2) de caractériser le niveau de compaction des profils non perturbés et (3) de déterminer la réponse de la mise en place d’une technique de perturbation mécanique en rapport avec l’amélioration du drainage. Les principaux résultats indiquent que le modèle hydraulique de van Genuchten décrit efficacement l’écoulement de l’eau et les propriétés hydrauliques du sol. Ils démontrent que les profils non perturbés se compactent et deviennent problématiques pour le drainage à partir de 30 centimètres de profondeur. Ils démontrent également que la perturbation du profil au-dessus des drains permet d’améliorer la perméabilité des zones critiques du sol et l’infiltration de l’eau à travers celles-ci. La mise en place d’un profil perturbé sur les drains permet d’améliorer significativement le drainage en comparaison avec un profil non perturbé et réduit considérablement le temps de ressuyage. Ces résultats peuvent servir à la caractérisation des sols organiques cultivés et à la détermination des zones critiques des profils à intervenir pour améliorer l’infiltration de l’eau, l’enracinement de certaines cultures, etc. / Cultivated organic soils are recognized for their excellent agricultural quality. However, the nature of their constitutive materials and physicochemical and mechanical processes associated with their agricultural development make them be susceptible to surface drainage problems over time. Usually, the compacted layers formation which contributes to the stratification of the soil profile gradually limits the soil water infiltration and tend to the formation of perched water table near the soil surface. These observations associated with drainage problems have largely negative impacts on crops which do not tolerate their root system being flooded beyond 48 hours. The purpose of this study was: (1) to describe the soil water movement during two soil drainage events and characterize its main soil hydraulic properties; (2) to characterize the undisturbed cultivated organic soil profile compaction level and (3) to determine the effects of a mechanical soil disturbance techniques in relation to the soil surface drainage improvement. The main results indicated that the van Genuchten hydraulic model describes efficiently the cultivated organic soils water flow and their soil hydraulic properties. They demonstrate that the undisturbed soil profile is compacted and is problematic for surface drainage from 30-cm-deep. They also demonstrate that the disturbance of the soil profile on the drain tile could improve the soil water permeability of the critical areas of the soil profile and the water infiltration. Implementation of a disturbed soil profile over the drain tile significantly improves the soil drainage compared to an undisturbed soil profile and considerably reduces the time to reach field capacity at the soil surface. These results could be useful for further characterization of cultivated organic soil profiles and determination of soil critical areas to take action for improving water infiltration, crops rooting, etc.

Les travaux présentés ici portent sur le dimensionnement et l’étude d’une machine à réluctance variable excitée par un courant continu homopolaire de type``Lyndell´´. De telle structure connaît un regain d’intérêt avec de nouvelles topologies pour des applications spécifiques. Dans le cas des travaux présentés, l’application visée est la conversion d’énergie éolienne avec un stockage inertiel. Cette machine a une bobine d’excitation qui est solidaire du stator et située entre les pôles saillants. Le rotor est massif et comporte deux paires de pôles dont les axes polaires peuvent être parallèles ou perpendiculaires. Le stator possède deux enroulements sur deux demi-stators de machine classique dont l’un est fixe et l’autre orientable manuellement suivant l’axe de rotation du rotor. Cette possibilité d’orientation permet à la machine d’être équipée de l’un ou l’autre des deux types de rotor. Le dimensionnement et l’étude de cette machine sont basés sur le modèle des réseaux de perméances. L’élaboration du modèle, par une subdivision de la structure étudiée en zones à induction homogène, est effectuée à partir de l’analyse des lignes de champ obtenues par la méthode des éléments finis bidimensionnels pour l’ensemble « dent - entrefer - encoche », et les autres parties de la machine (culasse, rotor) sont tridimensionnels. Ces éléments finis constituent également la référence pour valider le modèle développé et pour vérifier le niveau de saturation de la machine. Le modèle par réseaux de réluctance est ensuite utilisé pour dimensionner un prototype, à pôles parallèles ou en quadrature et pour en étudier les performances à vide et en charge. Enfin, le prototype réalisé est étudié pour les deux types de rotor. Les résultats expérimentaux, comparés aux calculs de simulation, montre des concordances très satisfaisantes / The work presented here is devoted to the dimensioning and the study of a switched reluctance machine excited by a homopolar D.C. current of Lyndell type. Such structure knows a renewed interest with new topologies for specific applications. In the case of work had presented, the application concerned for is the wind energy transformation with an inertial storage. The field coil of the machine placed in the stator and is located between the rotor salient poles. The rotor is massive and comprises two pairs of poles. These poles have parallel or perpendicular axes. The stator has two windings placed on two classical half-stators, one of which is fixed and the other is manually adjustable along the axis of rotation of the rotor. This orientation allows the machine to be equipped with one or the other of two types of rotor. The dimensioning and the study of this machine are based on the model of the reluctance network. The development of the model, by a subdivision of the studied structure into homogeneous induction zones, is made from the flux lines obtained by the two-dimensional finite element method for whole tooth-air-gap-slot, and the other parts of the machine (stator breech, rotor) are three-dimensional. The finite element methods also constitute the reference to validate the developed model and check the saturation level of the machine. The reluctance network model is then used for sizing a prototype with the parallel or perpendicular poles and for studying the performances in no load and with load machine. Finally, the realised prototype is studied for both types of rotor. The experimental results compared with the simulation show very satisfactory concordances

Afin d'analyser le rôle de la saturation partielle sur la vitesse de phase et l'atténuation des ondes P directes, nous avons élaboré une expérience en laboratoire dans la gamme du kiloHertz. Celle-ci permet une corrélation avec les mesures de terrain et limite les effets d'échelle induits par l'utilisation des traditionnelles mesures ultrasoniques. Le montage expérimental est composé d'un container rempli de sable, équipé d'accéléromètres et de sondes de teneur en eau. Une propagation d'onde est générée par une source mécanique constituée d'une bille en métal frappant une plaque de granite. Plusieurs cycles d'imbibition/drainage sont réalisés entre les saturations résiduelles en eau et en air. Une transformée continue en ondelette a été choisie pour le traitement des données sismiques et validée numériquement par une simulation de propagation d'ondes dans un milieu viscoélastique 2D (code Specfem2D). En imbibition et en drainage, la vitesse de phase décroît avec l'augmentation de la saturation, ce qui peut être expliqué par la limite Biot-Gassmann-Wood (BGW) de la théorie de Biot. Ce comportement, typique des mesures de terrain, indique qu'il est possible de considérer le mélange de fluides (eau et air) comme un fluide effectif. L'interprétation de l'atténuation est plus complexe et ne peut être expliquée par le mécanisme de relaxation de flux macroscopique de la théorie de Biot. Il est nécessaire d'introduire une contribution viscoélastique reliée aux pertes frictionelles grain-à-grain et décrite par un modèle à Q constant. De plus, un hystérésis entre imbibition et drainage est observé et expliqué en introduisant une perméabilité effective du mélange, dépendante des perméabilités relatives à l'eau et à l'air. / In order to analyse the role of partial saturation on direct P-waves phase velocity and attenuation, we performed a laboratory experiment in the kiloHertz range to avoid scale effects between field studies and traditional ultrasonic laboratory measurements. This experiment consists in a sand-filled tank equiped with accelerometers and water capacitance probes, were seismic propagation is generated by hitting a steel ball on a granite plate. Several imbibition/drainage cycles were performed between the water and gas residual saturations. Seismic data were processed by a Continuous Wavelet Transform using the complex Morlet wavelet which was numerically validated using a viscoelastic 2D code for wave propagation (Specfem2D). Phase velocity of direct P-wave decreases with the increase of water content, which is quite consistent with Biot-Gassmann-Wood (BGW) limit of the Biot's theory for both imbibition and drainage. This behaviour indicates that the fluid mixture (gaz and water) can be considered as an effective fluid, which is typical of field seismic applications. In this experiment, attenuation is very strong and cannot be fully explained by the macroscopic fluid flow of Biot's theory. It is necessary to introduce a viscoelastic contribution linked to the grain to grain overall losses, which are described by a constant Q-model. Moreover, hysteresis between imbibition and drainage are observed and explained by introducing an effective permeability of the mixture depending on water and gas relative permeabilities.

La propagation sismique dans les milieux poreux est classiquement associée à des phénomènes de dispersion et d’atténuation des ondes sous l’effet des mouvements fluides. Dans certaines conditions, celle-ci peut également être associée à une conversion d’énergie sismique en énergie électromagnétique dite « sismoélectrique ». La théorie des phénomènes sismoélectriques combinant la théorie de l’électrocinétique à la poroélasticité de Biot, repose en grande partie sur les développements de Pride (1994). Sur la base de ces développements théoriques, Pride et Haartsen (1996) relient le champ électrique cosismique à l’accélération sismique qui le génère par une fonction de transfert. Nous proposons une étude quantitative des couplages sismoélectriques en vue de valider la théorie de Pride et sa généralisation en milieu non saturé. Dans ce but, nous avons développé une expérience en laboratoire sur un sable de quartz non-consolidé, menée dans la gamme du kilohertz sur la base d’un dispositif d’acquisition électrique modulable. Deux méthodes de traitement des signaux sont proposées, l’une temporelle, l’autre spectrale, permettant d’obtenir une analyse complète des vitesses de phase, atténuations et fonctions de transfert. Les expériences réalisées se sont focalisées sur l’étude du rôle de la conductivité du fluide et de la saturation en eau dans le phénomène sismoélectrique cosismique. Une étude time-lapse a ainsi pu être réalisée dans des situations de changements de salinité et de teneur en eau. Dans tous les contextes, l’étude quantitative des rapports d’amplitudes des champs sismoélectriques et sismiques E/ü montre une bonne corrélation avec les prédictions théoriques. Par ailleurs, l’étude des variations de saturation dans une gamme allant de la saturation résiduelle en eau (Sw = 0.3) à la saturation totale, montre que: i) les atténuations et fonctions de transfert ont des comportements reliés à la distribution des fluides qui influencent fortement les propriétés mécaniques du milieu ; ii) une inversion de polarité du champ sismoélectrique peut être observée dans le cas très particulier des milieux non consolidés. / Seismic propagation within porous media is usually associated with wave attenuation and dispersion phenomena related to fluid flow. Under certain circumstances, it may also be correlated to a conversion of seismic into electromagnetic energy known as “seismoelectric”. The understanding of seismoelectric phenomena, combining the theory of electrokinetic to Biot’s poroelasticity, relies mainly on the formulation by Pride (1994). On basis of these theoretical developments, Pride and Haartsen (1996) defined a transfer function expressing the link between the coseismic seismoelectric field and the seismic acceleration at its origin. We propose a quantitative analysis of coseismic seismoelectric couplings with the purpose of validating Pride’s theory and generalizing it to partially saturated media. With this aim in view we developed a laboratory experiment involving an adjustable device for electric acquisitions, conducted within the kilohertz range on unconsolidated quartz sand. Experimental data were subsequently processed in both time and frequency domains, enabling a full analysis that embraces phase velocities, attenuations and transfer functions. The conducted experiments focused on the impact of fluid conductivity and water saturation with regard to the coseismic seismoelectric phenomenon. Time-lapse monitoring were accordingly run under varying salinity or water content. In all scenarios, the quantitative analysis of the electric-to-seismic amplitude ratio E/ü appeared in good agreement with theoretical projections. Moreover, investigations of saturation variations, ranging from the residual water saturation (Sw = 0.3) to full saturation, showed that: i) the behavior of attenuations and transfer functions are directly related to fluid distribution, that greatly impacts the mechanical properties of the medium; ii) in the very peculiar case of unconsolidated media, polarity inversion of the coseismic seismoelectric field may be experienced.

Dans cette thèse, on étudie des problèmes liés à la vérification de systèmes (logiciels). On s’intéresseplus particulièrement à la conception sûre de procédures de décision utilisées en vérification. De plus, onconsidère également un problème de modularité pour un langage de modélisation utilisé dans la plateformede vérification Why.De nombreux problèmes de vérification peuvent se réduire à un problème de satisfaisabilité modulodes théories (SMT). Pour construire des procédures de satisfaisabilité, Armando et al. ont proposé en2001 une approche basée sur la réécriture. Cette approche utilise un calcul général pour le raisonnementéquationnel appelé paramodulation. En général, une application équitable et exhaustive des règles ducalcul de paramodulation (PC) conduit à une procédure de semi-décision qui termine sur les entréesinsatisfaisables (la clause vide est alors engendrée), mais qui peut diverger sur les entrées satisfaisables.Mais ce calcul peut aussi terminer pour des théories intéressantes en vérification, et devient ainsi uneprocédure de décision. Pour raisonner sur ce calcul, un calcul de paramodulation schématique (SPC)a été étudié, en particulier pour prouver automatiquement la décidabilité de théories particulières etde leurs combinaisons. L’avantage de ce calcul SPC est que s’il termine sur une seule entrée abstraite,alors PC termine pour toutes les entrées concrètes correspondantes. Plus généralement, SPC est unoutil automatique pour vérifier des propriétés de PC telles que la terminaison, la stable infinité et lacomplétude de déduction.Une contribution majeure de cette thèse est un environnement de prototypage pour la conception etla vérification de procédures de décision. Cet environnement, basé sur des fondements théoriques, estla première implantation du calcul de paramodulation schématique. Il a été complètement implanté surla base solide fournie par le système Maude mettant en oeuvre la logique de réécriture. Nous montronsque ce prototype est très utile pour dériver la décidabilité et la combinabilité de théories intéressantes enpratique pour la vérification.Cet environnement est appliqué à la conception d’un calcul de paramodulation schématique dédié àune arithmétique de comptage. Cette contribution est la première extension de la notion de paramodulationschématique à une théorie prédéfinie. Cette étude a conduit à de nouvelles techniques de preuveautomatique qui sont différentes de celles utilisées manuellement dans la littérature. Les hypothèses permettantd’appliquer nos techniques de preuves sont faciles à satisfaire pour les théories équationnellesavec opérateurs de comptage. Nous illustrons notre contribution théorique sur des théories représentantdes extensions de structures de données classiques comme les listes ou les enregistrements.Nous avons également contribué au problème de la spécification modulaire pour les classes et méthodesJava génériques. Nous proposons des extensions du language de modélisation Krakatoa, faisant partiede la plateforme Why qui permet de prouver qu’un programme C ou Java est correct par rapport à saspécification. Les caractéristiques essentielles de notre apport sont l’introduction de la paramétricité à lafois pour les types et les théories, ainsi qu’une relation d’instantiation entre les théories. Les extensionsproposées sont illustrées sur deux exemples significatifs: tri de tableaux et fonctions de hachage.Les deux problèmes traités dans cette thèse ont pour point commun les solveurs SMT. Les procéduresde décision sont les moteurs des solveurs SMT, et la plateforme Why engendre des conditions devérification dérivées d’un programme source annoté, qu’elle transmet aux solveurs SMT (ou assistants depreuve) pour vérifier la correction du programme.Mots-clés: / In this thesis we address problems related to the verification of software-based systems. We aremostly interested in the (safe) design of decision procedures used in verification. In addition, we alsoconsider a modularity problem for a modeling language used in the Why verification platform.Many verification problems can be reduced to a satisfiability problem modulo theories (SMT). In orderto build satisfiability procedures Armando et al. have proposed in 2001 an approach based on rewriting.This approach uses a general calculus for equational reasoning named paramodulation. In general, afair and exhaustive application of the rules of paramodulation calculus (PC) leads to a semi-decisionprocedure that halts on unsatisfiable inputs (the empty clause is then generated) but may diverge onsatisfiable ones. Fortunately, it may also terminate for some theories of interest in verification, and thusit becomes a decision procedure. To reason on the paramodulation calculus, a schematic paramodulationcalculus (SPC) has been studied, notably to automatically prove decidability of single theories and oftheir combinations. The advantage of SPC is that if it halts for one given abstract input, then PC haltsfor all the corresponding concrete inputs. More generally, SPC is an automated tool to check propertiesof PC like termination, stable infiniteness and deduction completeness.A major contribution of this thesis is a prototyping environment for designing and verifying decisionprocedures. This environment, based on the theoretical studies, is the first implementation of theschematic paramodulation calculus. It has been implemented from scratch on the firm basis provided bythe Maude system based on rewriting logic. We show that this prototype is very useful to derive decidabilityand combinability of theories of practical interest in verification. It helps testing new saturationstrategies and experimenting new extensions of the original (schematic) paramodulation calculus.This environment has been applied for the design of a schematic paramodulation calculus dedicated tothe theory of Integer Offsets. This contribution is the first extension of the notion of schematic paramodulationto a built-in theory. This study has led to new automatic proof techniques that are different fromthose performed manually in the literature. The assumptions to apply our proof techniques are easyto satisfy for equational theories with counting operators. We illustrate our theoretical contribution ontheories representing extensions of classical data structures such as lists and records.We have also addressed the problem of modular specification of generic Java classes and methods.We propose extensions to the Krakatoa Modeling Language, a part of the Why platform for provingthat a Java or C program is a correct implementation of some specification. The key features arethe introduction of parametricity both for types and for theories and an instantiation relation betweentheories. The proposed extensions are illustrated on two significant examples: the specification of thegeneric method for sorting arrays and for generic hash map.Both problems considered in this thesis are related to SMT solvers. Firstly, decision procedures areat the core of SMT solvers. Secondly, the Why platform extracts verification conditions from a sourceprogram annotated by specifications, and then transmits them to SMT solvers or proof assistants to checkthe program correctness.

Downhole acoustic data were acquired in very low-velocity, hydrate-bearing formations at five sites drilled on the Cascadia Margin during the Integrated Ocean Drilling Program (IODP) Expedition 311. P-wave velocity in marine sediments typically increases with depth as porosity decreases because of compaction. In general, Vp increases from ~1.6 at the seafloor to ~2.0 km/s ~300 m below seafloor at these sites. Gas hydrate-bearing intervals appear as high-velocity anomalies over this trend because solid hydrates stiffen the sediment. Logging-while-drilling (LWD) sonic technology, however, is challenged to recover accurate P-wave velocity in shallow sediments where velocities are low and approach the fluid velocity. Low formation Vp make the analysis of LWD sonic data difficult because of the strong effects of leaky-P wave modes, which typically have high amplitudes and are dispersive. We examine the frequency dispersion of borehole leaky-P modes and establish a minimum depth (approx 50-100 m) below the seafloor at each site where Vp can be accurately estimated using LWD data. Below this depth, Vp estimates from LWD sonic data compare well with wireline sonic logs and VSP interval velocities in nearby holes, but differ in detail due to local heterogeneity. We derive hydrate saturation using published models and the best estimate of Vp at these sites and compare results with independent resistivity-derived saturations.

Du fait de sa robustesse et de son faible coût, la machine synchro-réluctante (MSR) constitue une alternative intéressante à la machine asynchrone. A pertes égales, une MSR bien optimisée offre un couple et par suite un rendement plus élevés. Ainsi, la MSR est très compétitive pour les applications à haute vitesse, à forte puissance ou à haute température. Cette thèse se propose d’optimiser les machines synchro-réluctantes à rotor massif et avec barrières de flux pour produire le maximum de couple avec un facteur de puissance le plus élevé possible. Pour cela, une modélisation originale utilisant des réseaux de perméances non linéaires a été mise au point pour les deux types de MSR. Les modèles proposés sont significativement plus rapides et aussi précis que les modèles par éléments finis. De plus, la réalisation d’un prototype à barrières de flux a permis de les valider expérimentalement. / Because of its robustness and its low cost, the synchronous reluctance motor (SynRM) is an interesting alternative to the induction motor. At equal losses, a correctly optimized SynRM offers a higher torque and then a higher efficiency. Thus, the SynRM is very comptetitive for high speed, high power or high temperature applications. This thesis intends to optimize massive rotor and flux barrier rotor SynRM to produce the maximum torque with the highest possible power factor. For this purpose, an original non linear reluctance network modeling of synchronous reluctance motors with a massive or a flux barrier rotor was developed. The proposed models are significantly faster than the finite element ones and take accurately into account the saturation of all ferromagnetic parts of the motor. The construction of a flux barrier rotor prototype allowed an experimental validation of the modeling approach.

Dans le cadre d’une analyse longitudinale centrée sur l’Ile-de-France, nous abordons la question du Peak Car, hypothèse de recherche selon laquelle le plafonnement de l’usage automobile dans de nombreux pays développés pourrait être le signe d’un repli de long terme de la mobilité automobile.En utilisant les données des EGT et du panel Parc Auto depuis les années 1970, on constate que le plafonnement du kilométrage des ménages apparait dès le début des années 1990 suivie d’une baisse continue à partir de 2000, et même actuellement dans un contexte de prix bas des carburants.Face au débat sur le Peak Car, nous montrons que si le prix des carburants a joué un rôle important sur le retournement de tendance, d’autres facteurs multidimensionnels influencent. C’est le cas de la forte baisse de la mobilité des jeunes, qui s’étend aux classes d’âges plus avancés, prémisses d’un changement d’usage à venir. Certains moteurs de la croissance sont aussi en voie d’achèvement et pourraient venir renforcer le Peak Car : rapprochement de la mobilité homme/femme, fin de la hausse de la mobilité des retraités et de la diffusion sociale de la voiture. La décorrélation de l’effet du revenu, synonyme d’une saturation du besoin de mobilité, s’opère aussi sur la motorisation. Le rapprochement du comportement entre groupes de revenu pourrait venir renforcer ce phénomène.Enfin, le rôle des opinions reste incertain. La conscience écologique ne semble pas jouer sur les comportements et si l’image de l’automobile a évolué, elle conserve son attrait utilitaire, symbole d’indépendance et de liberté et demeure un objet essentiel dans les déplacements limitant le report vers d’autres modes. / As part of a longitudinal analysis focused on the Ile-de-France region, we approach the question of Peak Car, a research hypothesis that the cap on car use in many developed countries could be the sign of a long-term decline in automobile mobility.Using the data from the EGT and the Auto since the 1970s, we note that the limit on household mileage appeared in the early 1990s, followed by a continuous decline from 2000, and even now in the context of cheap fuel prices.In view of the Peak Car debate, we show that while fuel prices have played an important role in the reversal trend, other multidimensional factors are influencing. This is the case of the sharp decline in youth mobility. It also extends to the older age classes and could be the premise of a future change of use. Some engines of growth are also nearing completion and could reinforce the Peak Car: mobility between men and women is merging, the end of the increase in the mobility of retirees and the end social diffusion of the car. The decorrelation of the effect of income, synonymous with a saturation of the need for mobility, also takes place on motorisation. The merger of behaviour among income groups may reinforce this phenomenon.Finally, the role of opinion remains uncertain. Ecological consciousness does not seem to play on behaviour. And if the image of the automobile has evolved, it retains its useful appeal, symbol of independence and freedom and remains an essential object for trips limiting the transfer to others modes.

La spectroscopie d'absorption moléculaire est un outil incontournable non seulement pour la physique fondamentale et la métrolgie mais aussi pour des domaines aussi divers que les sciences environnementales, la planétologie ou l'astrophysique. Ces dernières années, des techniques spectroscopiques qui exploitent l'amplification résonnante d'interaction entre lumière laser et molécules dans une cavité optique ont fourni des détectivités exceptionnelles sur l'axe d'absorption, tandis que l'axe de fréquence des spectromètres n'atteignait généralement pas le même niveau de précision.Dans cette thèse, nous avons répondu à ce défi en développant la spectroscopie en cavité par temps de déclin stabilisée en fréquence par rétroaction optique (OFFS-CRDS en anglais). Cette nouvelle technique présente une combinaison unique de stabilité et résolution fréquentielles sub-kHz, d'un niveau d'intensité lumineuse intra-cavité de l'ordre du kW/cm^2, d'une detectivite de 2 x 10^(−13) cm^(−1)Hz^(-1/2) limitée par le bruit de photons, et d'une limite de détection de 8.4 x 10^(−14) cm^(−1) sur une plage spectrale étroite. Ces performances inédites sont dues à l'asservissement de la cavité spectroscopique à un laser balayé en fréquence par modulation à bande latérale unique et stabilisé par rétroaction optique avec une cavité en V de réference ultrastable. Pour transférer la cohérence de ce laser sub-kHz à des lasers plus bruiteux dans d'autres gammes spectrales à travers un peigne de fréquence optique, nous avons exploré une nouvelle méthode de clonage de phase par une correction anticipative à large bande passante et démontré une erreur résiduelle de phase de 113 mrad. En appliquant l'OFFS-CRDS à la spectroscopie du CO2 à 1.6 μm, nous avons obtenu un spectre large bande avec une dynamique de 8 x 10^5, et nous avons déterminé douze fréquences de transition absolues avec une exactitude de l'ordre du kHz en mesurant des Lamb dips sub-Doppler en absorption saturée avec un dispositif équipé d'un peigne de fréquence. Par ailleurs, nous avons procédé à une analyse détaillée des sources d'erreurs systematiques en CRDS et nous avons déduit une formule analytique pour le déclin de cavité non-exponentiel dans un régime faiblement saturé qui est susceptible de contribuer à de futures mesures de moments de transition dipolaire indépendantes de la concentration. Nos résultats ouvrent des perspectives prometteuses pour des applications métrologiques de l'OFFS-CRDS, comme par exemple l'étude de profils de raie poussés, la mesures de rapports isotopiques et la spectroscopie d'absorption saturée extensive dans le proche infrarouge. / High-precision molecular absorption spectroscopy is a powerful tool for fundamental physics and metrology, as well as for a broad range of applications in fields such as environmental sciences, planetology and astrophysics. In recent years, spectroscopic techniques based on the enhanced interaction of laser light with molecular samples in high-finesse optical cavities have provided outstanding detection sensitivities on the absorption axis, while the spectrometer frequency axis rarely met as high precision standards.In this thesis, we addressed this challenge by the development of Optical Feedback Frequency-Stabilized Cavity Ring-Down Spectroscopy (OFFS-CRDS). This novel technique features a unique combination of sub-kHz frequency resolution and stability, kW/cm^2-level intracavity light intensity, a shot-noise limited absorption detectivity down to 2 x 10^(−13) cm^(−1)Hz^(-1/2), as well as a detection limit of 8.4 x 10^(−14) cm^(−1) on a narrow spectral interval. This unprecedented performance is based on the tight Pound-Drever-Hall lock of the ring-down cavity to a single-sideband-tuned distributed-feedback diode laser which is optical-feedback-stabilized to a highly stable V-shaped reference cavity. To transfer the coherence of this sub-kHz laser source to noisier lasers in other spectral regions through an optical frequency comb, we have explored a novel high-bandwidth feed-forward phase cloning scheme and demonstrated a residual phase error as low as 113 mrad. Applying OFFS-CRDS to the spectroscopy of CO_2 near 1.6 μm, we obtained a broadband spectrum with a dynamic range of 8 x 10^5 and retrieved twelve absolute transition frequencies with kHz-accuracy by measuring sub-Doppler saturated absorption Lamb dips with a comb-assisted setup. Furthermore, we have performed a comprehensive analysis of systematic error sources in CRDS and derived an analytic formula for the non-exponential ring-down signal in a weakly saturated regime, which may contribute towards future concentration-independent transition dipole moment measurements. Our results open up promising perspectives for metrological applications of OFFS-CRDS, such as advanced absorption lineshape studies, isotopic ratio measurements and extensive saturated absorption spectroscopy in the near infrared.