Malgré des années de travaux théoriques et observationnels intensifs, nous sommes toujours loin d’une complète compréhension de l’univers proche, la Voie Lactée (MW) et ses galaxies voisines. Parmi les satellites de la MW, le Petit et le Grand Nuage de Magellan (LMC) sont particulièrement intéressants puisqu’ils forment le plus proche exemple de galaxies en interaction gravitationnelle et hydrodynamique, et partant, constituent un laboratoire unique pour étudier les effets des marées et l’échange de matière sur l’évolution chimique et l’histoire de la formation stellaire d’une galaxie. Le LMC est une galaxie de petite masse barrée à disque, prototype des galaxies riches en gaz que l’on pense jouer un rôle important dans la construction des grandes galaxies dans le cadre du ΛCDM. De plus, avec sa métallicité actuelle d’environ le tiers de la métallicité solaire, le chemin d’enrichissement chimique suivi par le LMC donne un grand poids aux yields des générations stellaires pauvres en métaux, ce qui fait du LMC un environnement idéal pour étudier la nucléosynthèse aux basses métallicités. Ce travail de doctorat vise à: 1) caractériser chimiquement la population de la barre du LMC, 2) comparer les tendances des éléments de la MW et du LMC et interpréter les différences ou ressemblance en termes d’évolution chimique et/ou de processus nucléosynthétiques (contraintes sur les sites et les processus nucléosynthétiques), 3) comparer l’évolution chimique de la barre et du disque interne du LMC et interpréter les différence ou ressemblance dans le contexte de la formation de la barre. Nos résultats montrent que l’histoire chimique du LMC a connu un forte contribution des supernovae de type I ainsi qu’un fort enrichissement en éléments s par les vents d’étoiles AGB pauvres en métaux. Par rapport à la MW, les étoiles massives ont eu une contribution plus petite à l’enrichissement chimique du LMC. Les différences observées entre la barre et le disque parlent en faveur d’un épisode de formation stellaire accrue il y a quelques Gyr, ayant lieu dans les zones centrales du LMC et conduisant à la formation de la barre. Ceci est en accord avec les histoires de la formation stellaire récemment dérivées. / Despite decades of intensive observational and theoretical work, we are still far from a complete and clear understanding of the nearby universe, the Milky Way (MW) and its neighbours. Among the satellites of the MW, the Small and Large Magellanic Cloud (LMC) are of particular interest since they form the closest example of galaxies in gravitational and hydrodynamical interaction, and therefore constitute a unique laboratory to study the effect of tides and matter exchange on the chemical evolution and star formation history of a galaxy. The LMC is a low-mass barred disc galaxy, prototypical of gas-rich galaxies that are thought to play an important role in the build-up of large galaxies in the ΛCDM framework. Furthermore, with its present day metallicity of only third of solar, the chemical enrichment path followed by the LMC gives a heavy weight to the yields of metal-poor stellar generations, which makes the LMC an ideal environment to study nucleosynthesis at low metallicities. This thesis work aims at: 1) chemically characterizing the LMC bar population, 2) comparing the elemental trends of the MW and the LMC and interpreting the differences or similarities in terms of chemical evolution and/or nucleosynthesis processes (constraints on the nucleosynthetic sites and processes), 3) comparing the chemical evolution of the LMC bar and inner disc and interpreting the differences or similarities between the LMC bar and inner disc in the context of the bar formation. Our results show that the chemical history of the LMC experienced a strong contribution from type Ia supernovae as well as a strong s-process enrichment from metal-poor AGB winds. Massive stars made a smaller contribution to the chemical enrichment compared to the MW. The observed differences between the bar and the disc speak in favour of an episode of enhanced star formation a few Gyr ago, occurring in the central parts of the LMC and leading to the formation of the bar. This is in agreement with recently derived star formation histories.

Plus de 80% du Groenland est recouvert de glace. Sa fonte contribue à l’augmentation du niveau des océans. Cette fonte peut être accélérée ou ralentie par les nuages qui modulent le rayonnement qui atteint la surface. Dans cette thèse, nous avons utilisé les mesures du satellite CALIPSO (produit GOCCP) pour documenter les nuages au-dessus du Groenland et éclaircir leur rôle sur la fonte de surface.Comparer ces observations avec des mesures radar et lidar réalisées à la station sol de Summit, au centre du Groenland, a montré que dans GOCCP les nuages optiquement très fins (τ < 0.3) ne sont pas détectés. Nous avons ensuite étendu l’analyse sur l’ensemble du Groenland et mis en évidence que la région nord est moins recouverte de nuages que la région sud en hiver et qu’en été, Summit, est l’une des régions les plus nuageuses en nuages liquides notamment.Pour comprendre cette particularité et les conditions favorables à la formation de nuages, nous avons utilisé des classifications en régime de temps. Cependant cette étude n’a pas mis à jour de liens entre la variabilité des nuages et la circulation atmosphérique ce qui montre la complexité de ces interactions et la nécessité d’accumuler plus d’observations sur des périodes de temps longues.Enfin nous avons évalué la représentation des nuages dans des observations lidar synthétiques, simulées à partir des sorties de modèles de climat CMIP5. Plusieurs biais qui empêchent les modèles de reproduire l’influence des nuages sur la fonte ont été identifiés. Les modèles sous estiment les températures de surface et les couvertures nuageuses. Les nuages simulés sont soit trop opaques soit trop fins pour accélérer la fonte. / Over 80% of Greenland is covered by ice. Melting of this ice contributes to the sea level rise. By modulating the radiation reaching the surface, clouds can accelerate or slow down the melting. Through this thesis, we use CALIPSO satellite measurements (GOCCP product) to document clouds over Greenland, including their vertical structure, and understand their role in surface melting.We compare these observations with radar and lidar measurement taken from the Summit ground station in the middle of Greenland. The comparison shows that GOCCP does not include optically thin ice clouds (τ < 0.3). Extending this analysis over all Greenland shows that cloudiness follows different cloud annual cycles in North and South regions, and that Summit is one of the cloudiest regions of the Greenland especially for the liquid cloud cover.To understand the atmospheric conditions favorable to cloud formation, we follow two weather regime classification approaches. We do not find a clear relationship between cloud variability and atmospheric circulation. These results show the complexity of the interactions between clouds and synoptic circulation and highlight the need to accumulate more data over long time periods.Finally, we evaluate cloud representation over Greenland in simulated lidar profiles over output from CMIP5 climate models. We identify several biases that lead to models being unable to simulate surface melting. Models underestimate the surface temperature and the cloud cover. Also when clouds are simulated they are either too opaque or too thin to affect surface melting.

Dans le milieu interstellaire, beaucoup de molécules hydrogénées telles que CH4, NH3 ou CH3OH peuvent être dissociées, grâce à la contribution de particules cosmiques ou de photons hautement énergétiques, devenant l’une des plus importantes sources de radicaux activés. Cependant, dans le cœur de certains nuages moléculaires denses et sombres, en l’absence de ces énergies externes supplémentaires, d’autres chemins réactionnels de formation de radicaux pourraient exister sans apport d’énergie externe.Dans le travail de thèse actuel, nous avons étudié des réactions thermiquement induites impliquant de petites composés organiques et des atomes d’azote à l’état fondamental N(4S), en phase solide aux températures cryogéniques de 3 à 50 K, en utilisant une caractérisation par spectroscopie Infrarouge à Transformée de Fourier (IRTF).Nous avons montré qu’un chauffage progressif entre 3 et 10 K permet d’induire la mobilité des atomes d’azote dans l’échantillon solide, provoquant le processus de recombinaison N(4S)–N(4S). De telles recombinaisons engendrent la formation d’espèces réactives métastable d’azote moléculaire N2(A), lesquelles à travers un processus de transfert d’énergétie N2(A) → N(4S), conduit à la formation d’atomes d’azote excités N(4P/2D). La production de ces espèces azotées excitées en phase solide joue un rôle prépondérant dans la dissociation des espèces hydrogénées qui pourrait être la première étape dans l’origine de la complexification moléculaire du milieu interstellaire. / In interstellar medium, many hydrogen-containing molecules such as CH4, NH3 or CH3OH may be dissociated, with the contribution of cosmic ray particles or high-energy photons, becoming one of the most important sources of activated radicals. However, in the core of some dark and dense clouds, without those supplying external energies, other radicals formation pathways under non-energetic condition might exist.In the present Ph-D thesis, we have studied thermal reactions involving small organic compounds and ground state nitrogen atoms N(4S), in solid phase, at cryogenic temperatures from 3 to 50 K, using a Fourier Transform InfraRed Spectroscopy (FTIR) analysis. We have shown that gradual heating, between 3 and 10 K, allow to induce of the nitrogen atoms mobility in the solid sample stimulating the N(4S) – N(4S) recombination processes. Such recombinations result in the formation of a very reactive metastable molecular nitrogen N2(A) which through energetic transfer processes with N(4S) atoms can lead to the formation of excited nitrogen atoms N(4P/2D). The production of those excited nitrogen species in solid phase plays an important role in the dissociation of H-containing species which may be the first step in the origin of the molecular complexity of the interstellar medium.

Avec l'avènement des technologies de Cloud computing et son adoption, les entreprises et les institutions académiques transfèrent de plus en plus leurs calculs et leurs données vers le Cloud. Alors que ce progrès et ce modèle simple d'accès ont eu un impact considérable sur notre communauté scientifique et industrielle en termes de réduction de la complexité et augmentation des revenus, les centres de données consomment énormément d'énergie, ce qui se traduit par des émissions plus élevées de C02. En réponse, de nombreux travaux de recherche se sont focalisés sur les enjeux du développement durable pour le Cloud à travers la réduction de la consommation d'énergie en concevant des stratégies d'efficacité énergétiques. Cependant, l'efficacité énergétique dans l'infrastructure du C!oud ne suffira pas à stimuler la réduction de • l'empreinte carbone. Il est donc impératif d'envisager une utilisation intelligente de l'énergie verte à la fois au niveau de l'infrastructure et de l'application pour réduire davantage l'empreinte carbone. Depuis peu, certains fournisseurs de Cloud computing alimentent leurs centres de données avec de l'énergie renouvelable. Les sources d'énergie renouvelable sont très intermittentes, ce qui crée plusieurs défis pour les gérer efficacement. Pour surmonter ces défis, nous étudions les options pour intégrer les différentes sources d'énergie renouvelable de manière réaliste et proposer un Cloud energy broker qui peut ajuster la disponibilité et la combinaison de prix pour acheter de l'énergie verte dynamiquement sur le marché de l'énergie et rendre les centres de données partiellement verts. Puis, nous introduisons le concept de la virtualisation de l'énergie verte, qui peut être vu comme une alternative au stockage d'énergie utilisé dans les centres de données pour éliminer le problème d'intermittence dans une certaine mesure. Avec l'adoption du concept de virtualisation, nous maximisons l'utilisation de l'énergie verte contrairement au stockage d'énergie qui induit des pertes d'énergie, tout en introduisant des Green SLA basé sur l'énergie verte pour le fournisseur de services et les utilisateurs finaux. En utilisant des traces réalistes et une simulation et une analyse approfondie, nous montrons que la proposition peut fournir un système efficace, robuste et rentable de gestion de l'énergie pour le centre de données. Si une gestion efficace de l'énergie en présence d'énergie verte intermittente est nécessaire, la façon dont les applications Cloud modernes peuvent tirer profit de la présence ou l'absence d'énergie verte n'a pas été suffisamment étudiée. Contrairement aux applications Batch, les applications Interactive Cloud doivent toujours être accessibles et ne peuvent pas être programmées à l'avance pour correspondre au profil d'énergie verte. Par conséquent, cette thèse propose une solution d'autoscaling adaptée à l'énergie pour exploiter les caractéristiques internes des applications et créer une conscience d'énergie verte dans l'application, tout en respectant les propriétés traditionnelles de QoS. Pour cela, nous concevons un contrôleur d'application green qui profite de la disponibilité de l'énergie verte pour effectuer une adaptation opportuniste dans une application gérée par un contrôleur orienté performance. L'expérience est réalisée avec une application réelle sur Grid5000 et les résultats montrent une réduction significative de la consommation d'énergie par rapport à l'approche orientée performance, tout en respectant les attributs traditionnels de QoS. / With the advent of cloud enabling technologies and adoption of cloud computing, enterprise and academic institutions are moving their IT workload to the cloud. Although this prolific advancement and easy to access model have greatly impacted our scientific and industrial community in terms of reducing complexity and increasing revenue, data centers are consuming enormous amount of energy, which translates into higher carbon emission. In response, varieties of research work have focused on environmental sustainability for Cloud Computing paradigm through energy consumption reduction by devising energy efficient strategies. However, energy efficiency in cloud infrastructure alone is not going to be enough to boost carbon footprint reduction. Therefore, it is imperative to envision of smartly using green energy at infrastructure and application level for further reduction of carbon footprint. In recent years, some cloud providers are powering their data centers with renewable energy. The characteristics of renewable energy sources are highly intermittent which creates several challenges to manage them efficiently. To overcome the problem, we investigate the options and challenges to integrate different renewable energy sources in a realistic way and propose a Cloud energy broker, which can adjust the availability and price combination to buy Green energy dynamically from the energy market in advance to make a data center partially green. Later, we introduce the concept of Virtualization of Green Energy, which can be seen as an alternative to energy storage used in data center to eliminate the intermittency problem to some extent. With the adoption of virtualization concept, we maximize the usage of green energy contrary to energy storage which induces energy losses, while introduce Green Service Level Agreement based on green energy for service provider and end users. By •using realistic traces and extensive simulation and analysis, we show that, the proposal can provide an efficient, robust and cost-effective energy management scheme for data center. While an efficient energy management in the presence of intermittent green energy is necessary, how modern Cloud applications can take advantage of the presence/absence of green energy has not been studied with requisite effort. Unlike Batch applications, Interactive Cloud applications have to be always accessible and car not be scheduled in advance to match with green energy profile. Therefore, this thesis proposes an energy adaptive autoscaling solution to exploit applications internal to create green energy awareness in the application, while respecting traditional QoS properties. To elaborate, we design green energy aware application controller that takes advantage of green energy availability to perform opportunistic adaptation in an application along with performance aware application controller. Experiment is performed with real life application at Grid5000 and results show significant reduction of energy consumption while respecting traditional QoS attributes compared to performance aware approach.

L'architecture actuelle du cloud, reposant sur des datacenters centralisés, limite la qualité des services offerts par le cloud du fait de l'éloignement de ces datacenters par rapport aux utilisateurs. En effet, cette architecture est peu adaptée à la tendance actuelle promouvant l'ubiquité du cloud computing. De plus, la consommation énergétique actuelle des data centers, ainsi que du cœur de réseau, représente 3% de la production totale d'énergie, tandis que selon les dernières estimations, seulement 42,3% de la population serait connectée. Dans cette thèse, nous nous intéressons à deux inconvénients majeurs des clouds centralisés: la consommation d'énergie ainsi que la faible qualité de service offerte. D'une part, du fait de son architecture centralisée, le cœur de réseau consomme plus d'énergie afin de connecter les utilisateurs aux datacenters. D'autre part, la distance entre les utilisateurs et les datacenters entraîne une utilisation accrue du réseau mondial à large bande, menant à des expériences utilisateurs de faible qualité, particulièrement pour les applications interactives. Une approche semi-centralisée peut offrir une meilleur qualité d'expérience aux utilisateurs urbains dans des réseaux clouds mobiles. Pour ce faire, cette approche confine le traffic local au plus proche de l'utilisateur, tout en maintenant les caractéristiques centralisées s’exécutant sur les équipements réseaux et utilisateurs. Dans cette thèse, nous proposons une nouvelle architecture de cloud distribué, basée sur des "microclouds". Des "microclouds" sont créés de manière dynamique, afin que les ressources utilisateurs provenant de leurs ordinateurs, téléphones ou équipements réseaux puissent être mises à disposition dans le cloud. De ce fait, les microclouds offrent un système dynamique, passant à l'échelle, tout en évitant d’investir dans de nouvelles infrastructures. Nous proposons également un exemple d'utilisation des microclouds sur un cas typique réel. Par simulation, nous montrons que notre approche permet une économie d'énergie pouvant atteindre 75%, comparée à une approche centralisée standard. En outre, nos résultats indiquent que cette architecture passe à l'échelle en terme du nombre d'utilisateurs mobiles, tout en offrant une bien plus faible latence qu'une architecture centralisée. Pour finir, nous analysons comment inciter les utilisateurs à partager leur ressources dans les clouds mobiles et proposons un nouveau mécanisme d'enchère adapté à l'hétérogénéité et la forte dynamicité de ces systèmes. Nous comparons notre solution aux autres mécanismes d’enchère existants dans des cas d'utilisations typiques au sein des clouds mobiles, et montrons la pertinence de notre solution. / The current datacenter-centralized architecture limits the cloud to the location of the datacenters, generally far from the user. This architecture collides with the latest trend of ubiquity of Cloud computing. Also, current estimated energy usage of data centers and core networks adds up to 3% of the global energy production, while according to latest estimations only 42,3% of the population is connected. In the current work, we focused on two drawbacks of datacenter-centralized Clouds: Energy consumption and poor quality of service. On the one hand, due to its centralized nature, energy consumption in networks is affected by the centralized vision of the Cloud. That is, backbone networks increase their energy consumption in order to connect the clients to the datacenters. On the other hand, distance leads to increased utilization of the broadband Wide Area Network and poor user experience, especially for interactive applications. A distributed approach can provide a better Quality of Experience (QoE) in large urban populations in mobile cloud networks. To do so, the cloud should confine local traffic close to the user, running on the users and network devices. In this work, we propose a novel distributed cloud architecture based on microclouds. Microclouds are dynamically created and allow users to contribute resources from their computers, mobile and network devices to the cloud. This way, they provide a dynamic and scalable system without the need of an extra investment in infrastructure. We also provide a description of a realistic mobile cloud use case, and the adaptation of microclouds on it. Through simulations, we show an overall saving up to 75% of energy consumed in standard centralized clouds with our approach. Also, our results indicate that this architecture is scalable with the number of mobile devices and provide a significantly lower latency than regular datacenter-centralized approaches. Finally, we analyze the use of incentives for Mobile Clouds, and propose a new auction system adapted to the high dynamism and heterogeneity of these systems. We compare our solution to other existing auctions systems in a Mobile Cloud use case, and show the suitability of our solution.

Le milieu nuageux est un milieu complexe au sein duquel un grand nombre d’espèces chimiques peuvent être transformées. Dans ce cadre, la caractérisation chimique et la réactivité photochimique de la phase aqueuse des nuages ont été étudiées. La caractérisation chimique de la phase aqueuse des nuages a permis de montrer que les masses d’air échantillonnées au sommet du puy de Dôme sont majoritairement sous trois influences distinctes, à savoir océanique, continentale et anthropique. La distribution des paramètres physicochimiques et des composés inorganiques est dépendante du type de masses d’air échantillonnées. De plus, la quantification des acides carboxyliques et des aldéhydes a permis de mettre en avant la complexité de la matière organique avec la présence d’une multitude de composés encore non identifiés. L’étude de la réactivité photochimique de la phase aqueuse des nuages a également été réalisée, montrant que la capacité photooxydante de la phase aqueuse des nuages ainsi que les vitesses de dégradation de différentes espèces chimiques sont plus importantes pour les masses d’air polluées. Pour la première fois, des vitesses de photoproduction des radicaux hydroxyles ont été évaluées dans la phase aqueuse des nuages, montrant que les ions nitrates et le peroxyde d’hydrogène sont des sources photochimiques majeures des radicaux hydroxyles (représentant jusqu’à 80 % de leur photoproduction totale). / Clouds represent complex media where many species can be transformed. In order to characterize the chemical composition of cloud water and to better understand the processes involved in the transformations of these species, the characterization and the photoreactivity of cloud water were studied. The characterization of cloud water showed that air masses sampled at the puy de Dôme station can be subject to different influences (marine, continental and anthropogenic). The distribution of the physicochemical parameters and of inorganic compounds was different for each kind of air masses. Moreover, the quantification of carboxylic acids and aldehydes showed the complexity of the organic matter contained in cloud water, with the presence of many unknown organic compounds. The photoreactivity of cloud water was also studied, showing that the oxidizing capacity of cloud water and the degradation rate of organic compounds were higher in polluted air masses. For the first time, hydroxyl radical formation rates were determined in cloud water sampled at the puy de Dôme station, showing that nitrate ions and hydrogen peroxide are among the main sources of hydroxyl radicals (contributing up to 80 % of their total photoformation).

Les formes asphériques et les surfaces complexes sont une classe très avancée d'éléments optiques. Leur application a considérablement augmenté au cours des dernières années dans les systèmes d'imagerie, l'astronomie, la lithographie, etc. La métrologie de ces pièces est très difficile, en raison de la grande gamme dynamique d'information acquise et la traçabilité à l'unité SI mètre. Elle devrait faire usage de la norme infinie; (Méthode de zone minimum ou la méthode Min-Max) pour calculer l'enveloppe entourant les points dans le jeu de données en réduisant au minimum la différence entre l'écart maximum et l'écart minimal entre la surface et l'ensemble de données. Cette méthode a une grande complexité en fonction du nombre de points, enplus, les algorithmes impliqués sont non-déterministes. Bien que cette méthode fonctionne pour des géométries simples (lignes, plans, cercles, cylindres, cônes et sphères), elle est encore un défi majeur lorsqu' utilisée pour des géométries complexes (asphérique et surfaces complexes). Par conséquent, l'objectif de la thèse est le développement des algorithmes d'ajustement Min-Max pour les deux surfaces asphériques et complexes, afin de fournir des algorithmes de référence robustes pour la grande communauté impliquée dans ce domaine. Les algorithmes de référence à développer devraient être évalués et validés sur plusieurs données de référence (Softgauges) qui seront générées par la suite. / Aspheres and freeform surfaces are a very challenging class of optical elements. Their application has grown considerably in the last few years in imaging systems, astronomy, lithography, etc. The metrology for aspheres is very challenging, because of the high dynamic range of the acquired information and the traceability to the SI unit meter. Metrology should make use of the infinite norm; (Minimum Zone Method or Min-Max method) to calculate the envelope enclosing the points in the dataset by minimizing the difference between the maximum deviation and the minimum deviation between the surface and the dataset. This method grows in complexity as the number of points in the dataset increases, and the involved algorithms are non-deterministic. Despite the fact that this method works for simple geometries (lines, planes, circles, cylinders, cones and spheres) it is still a major challenge when used on complex geometries (asphere and freeform surfaces). Therefore, the main objective is to address this key challenge about the development of Min-Max fitting algorithms for both aspherical and freeform surfaces as well as least squares fitting algorithms, in order to provide robust reference algorithms for the large community involved in this domain. The reference algorithms to be developed should be evaluated and validated on several reference data (softgauges) that will be generated using reference data generators.

The plague raged in Venice from 1348 to 1797, striking in successive deadly waves. Countless votive images produced as "spiritual remedies" brought solace to the faithful terrified of the ongoing scourge. However, in the retables directly related to the plague, we observe the frequent presence of dark clouds. This pattern, which has gone largely unnoticed, is studied here for the first time in detail and associated with contemporary medical theories regarding the aerial spread of the disease. The dark cloud is first examined as an iconographic motif and placed in the context of Venice's health and sanitary situation in the 15th and 16th centuries, as well as the ancient literature on the plague that influenced the humanist thought of the Venetian Renaissance. Furthermore, we examine the theoretical function of the dark cloud, as a "figure" (E. Auerbach and L. Marin), as a "pictorial graph" (H. Damisch) and as a "detail" (D. Arasse). The use of these different theoretical models allows us to reconsider the presence and possible meanings of the dark cloud as a metaphor for the plague. The thesis concludes with a typology test of the plague cloud. / La peste sévit à Venise de 1348 à 1797, frappant par vagues mortelles successives. D'innombrables images votives produites comme « remèdes spirituels » participaient au réconfort des fidèles terrifiés par le fléau. Or, dans les retables directement liés à la peste, on observe la présence fréquente de nuages sombres. Ce motif passé à peu près inaperçu est étudié ici pour la première fois en détail et associé aux théories médicales contemporaines concernant la propagation aérienne de la maladie. Le nuage sombre est d'abord examiné comme motif iconographique et replacé dans le contexte de la situation sanitaire de Venise au XVe et au XVIe siècle et de la littérature antique sur la peste ayant influencé la pensée humaniste de la Renaissance vénitienne. Dans un deuxième temps, nous examinons la fonction théorique du nuage sombre, comme « figure » (E. Auerbach et L. Marin), comme « graphe pictural » (H. Damisch) et comme « détail » (D. Arasse). L'usage de ces différents modèles théoriques permet de reconsidérer la présence et les significations possibles du nuage sombre comme métaphore de la peste. Le mémoire se conclut par un essai de typologie du nuage de peste.

Cette thèse propose de nouveaux protocoles cryptographiques, plus efficaces que l’existant, et qui permettent aux utilisateurs du nuage informatique (le cloud) de vérifier (i) la bonne conservation des données externalisées et (ii) l'exécution correcte de calculs externalisés. Nous décrivons d'abord un protocole cryptographique qui génère des preuves de récupérabilité, qui permettent aux propriétaires de données de vérifier que le cloud stocke leurs données correctement. Nous détaillons ensuite trois schémas cryptographiques pour vérifier l’exactitude des calculs externalisés en se focalisant sur trois opérations fréquentes dans les procédures de traitement de données, à savoir l’évaluation de polynômes, la multiplication de matrices et la recherche de conjonction de mots-clés. La sécurité de nos solutions est analysée dans le cadre de la sécurité prouvable et nous démontrons également leur efficacité grâce à des prototypes. Nous présentons également A-PPL, un langage de politiques pour l’imputabilité qui permet l'expression des obligations de responsabilité et de traçabilité dans un format compréhensible par la machine. Nous espérons que nos contributions pourront encourager l'adoption du cloud par les entreprises encore réticentes à l’idée d'utiliser ce paradigme prometteur. / This thesis proposes more efficient cryptographic protocols that enable cloud users to verify (i) the correct storage of outsourced data and (ii) the correct execution of outsourced computation. We first describe a cryptographic protocol that generates proofs of retrievability, which enable data owners to verify that the cloud correctly stores their data. We then detail three cryptographic schemes for verifiable computation by focusing on three operations frequent in data processing routines, namely polynomial evaluation, matrix multiplication and conjunctive keyword search. The security of our solutions is analyzed in the provable security framework and we also demonstrate their efficiency thanks to prototypes. We also introduce A-PPL, an accountability policy language that allows the expression of accountability obligations into machine-readable format. We expect our contributions to foster cloud adoption by organizations still wary of using this promising paradigm.

L'altimétrie radar a été initialement développée pour contribuer à l'étude de la dynamique des eaux océaniques. Elle a permis d'avoir des résultats significatifs sur les océans, en particulier à cause de leur vaste étendue et de leur homogénéité. Les succès obtenus sur les océans ont poussé plusieurs chercheurs à investiguer l'utilisation de l'altimétrie satellitaire pour la caractérisation des eaux et des surfaces continentales. Jusque-là, des résultats encourageants ont été rapportés par certaines études sur l'hydrologie des mers intérieures, des grands lacs et fleuves et des zones inondables. Dans cette thèse, nous évaluons l'apport de l'altimétrie satellitaire dans l'analyse des variations des niveaux d'eau dans le Delta Intérieur du fleuve Niger au Mali, en Afrique de l'Ouest. Classé parmi les sites de la Convention Ramsar sur les zones humides, le Delta intérieur joue un rôle de premier plan pour le Mali et l'ensemble de la sous-région, à la fois aux niveaux socio-économique et environnemental. Le Delta est caractérisé par une période de crue, pendant laquelle une superficie de plus de 20 000 km2 de terre reste inondée. L'eau se retire complètement pendant la période de décrue. Cette dynamique crue-décrue conditionne pratiquement l'ensemble des activités humaines dans la région et influence significativement les processus écologiques. D'où l'intérêt scientifique de mieux la comprendre. Cet intérêt est aussi justifié par la fragilité du Delta face aux changements climatiques et à la désertification. Les données d'altimétrie considérées dans l'étude proviennent des satellites Topex/Poseidon (1992-2005) et Envisat (2002-2009). Les données ont été corrigées des effets environnementaux. Afin de pouvoir élaborer des séries temporelles incluant les données provenant des deux satellites, nous avons analysé leur période de chevauchement (2002-2005). Cette analyse a révélé une bonne corrélation entre les deux séries de mesures (R[indice supérieur 2] = 0,76), et un biais systématique d'environ 89 cm. Les mesures Envisat ont alors été corrigées pour les ramener au même niveau que Topex/Poseidon, permettant ainsi de produire des séries temporelles sur 17 ans (1992-2009). Suite à cette analyse, nous proposons un algorithme de retraitement de forme d'onde qui intègre le coefficient de rétrodiffusion à l'échelle du temps de pénétration de l'onde dans un milieu en présence de végétation. L'idée ici c'est de tenir compte de l'hétérogénéité d'un milieu comme le Delta, qui peut être couvert de végétation. Pour cela, nous introduisons dans l'équation de la forme d'onde, le coefficient de rétrodiffusion estimé à partir du modèle dit des nuages d'eau, pour créer un nouvel algorithme appelé algorithme des nuages d'eau. Cet algorithme a été appliqué sur les données Envisat, mais également sur OSTM/Jason-2. Les résultats de l'algorithme ont été validés avec des mesures in situ de la Direction Nationale de l'Hydraulique du Mali et aussi avec des mesures acquises lors d'une campagne de terrain conduite entre août et octobre 2009. Les écarts observés sont généralement faibles (< [+ ou -] lm ). L'algorithme des nuages d'eau a été comparé à d'autres algorithmes existants. Il montre surtout une forte corrélation avec Ice-1 (R[indice supérieur 2] = 0,84). Finalement, nous analysons l'influence des précipitations sur les variations de niveaux d'eau obtenues. Trois sources de précipitations provenant de mesures satellitaires ou des réanalyses de modèles ont été considérées dans trois bassins d'alimentation (bassin du Fouta-Djalon en amont, bassin du Bani et le bassin intérieur au Mali). L'analyse révèle l'importance des précipitations, particulièrement dans le bassin du Fouta-Djalon. En effet, environ 70% des sites analysées [i.e. analysés] dans le Delta montrent une corrélation relativement forte (R[indice supérieur 2] > 0,40) avec les cumuls de précipitations dans les bassins considérés.