Cette thèse porte sur la détermination et la modélisation, par la méthode PAW/GIPAW (Gauge Including Projector Augmented Waves), de paramètres RMN de fluorures inorganiques. Dans la première partie, une corrélation entre valeurs expérimentales de déplacements chimiques isotropes (diso) de 19F et de constantes d'écran isotropes (iso) de F calculées de fluorures binaires, dont les attributions sont triviales, est établie. Elle permet de prédire les spectres RMN de 19F avec une bonne précision. Les paramètres quadripolaires de ces fluorures sont aussi déterminés et calculés. Dans la seconde partie, la linéarité entre valeurs expérimentales de diso de 19F et valeurs calculées de iso de 19F permet une attribution non ambigüe des raies RMN de 19F de NbF5 et TaF5. Par contre, pour trois des quatre composés MF4 étudiés (b-ZrF4, HfF4, CeF4, ThF4), caractérisés par des gammes de valeurs de diso de 19F plus petites, les corrélations médiocres entre valeurs de diso et de siso de 19F ne le permettent pas. Enfin, NaAsF6 et KPF6 qui présentent des valeurs élevées de couplage 1J 19F-X et des transitions de phase à des températures proches de l'ambiante sont étudiés par DTA ou DSC et diffraction des rayons X sur poudre et RMN du solide multinucléaire à température variable. Les structures de a- et b-NaAsF6 sont déterminées. KPF6 adopte une structure de haute symétrie désordonnée à température ambiante mais les tentatives de détermination des positions atomiques des deux premières phases basse température sont restées vaines. Ce travail souligne les potentialités et quelques limites de cette méthode ainsi que l'attention qui doit être prêtée aux effets des optimisations. / This thesis focuses on the determination and the modeling, by the PAW/GIPAW (Gauge Including Projector Augmented Waves) method, of NMR parameters in inorganic fluorides. In the first part, a correlation between experimental 19F isotropic chemical shift (diso) and calculated 19F isotropic shieldings (siso) of binary fluorides with obvious assignments is established that allows to predict 19F NMR spectra with a good accuracy. The quadrupolar parameters of these fluorides are also determined and calculated. In the second part, a complete and unambiguous assignment of the 19F NMR lines of NbF5 and TaF5 is obtained, ensured by the linearity between experimental 19F diso values and calculated 19F siso values. On the other hand, for the studied MF4 (b-ZrF4, HfF4, CeF4, ThF4) compounds, characterized by smaller 19F diso ranges, except for ThF4, the poor correlations between experimental 19F diso and calculated 19F siso values prevent us to propose an assignment of the 19F NMR lines. In the last part, NaAsF6 and KPF6, exhibiting large 19F-X 1J-coupling and phase transitions at temperatures close to room temperature (RT) are investigated by DTA or DSC and variable temperature X-ray powder diffraction and multinuclear solid-state NMR. The structures of a- and b-NaAsF6 are determined. KPF6 adopts a disordered high symmetry structure at RT. Unfortunately, attempts to determine the atomic positions of the two first low temperature phases remain unsuccessful. This work highlights the potentialities and some limitations of this method as well as the care that must be taken when dealing with optimized structures.

Cette thèse a pour but d'étudier l'environnement électronique et structural du chrome en substitution de l'aluminium dans des cristaux isolants cubiques, et de discuter son influence sur la variation du champ cristallin. Nous avons combiné des spectroscopies sélectives du chrome (EXAFS et XANES au seuil K), une approche ab initio (calculs de minimisation d'énergie et de spectres XANES) et une approche multiélectronique (simulation du dichroïsme linéaire naturel des rayons X). Des développements théoriques ont été effectués puis appliqués au cas de la section efficace d'absorption X, afin d'extraire les propriétés spectroscopiques d'un site individuel à partir de celles du cristal cubique.<br /><br />L'environnement structural relaxé autour du Cr a été déterminé pour le spinelle MgAl2O4:Cr3+ (rouge) et pour les grenats pyrope Mg3Al2Si3O12:Cr3+ (rouge) et grossulaire Ca3Al2Si3O12:Cr3+ (vert). La sphère de coordination du Cr est voisine de celle observée dans le pôle pur chromifère correspondant (MgCr2O4, Mg3Cr2Si3O12 et Ca3Cr2Si3O12, respectivement), du point de vue des distances interatomiques et de la symétrie locale. La variation de la distance moyenne Cr-O joue un rôle important dans celle du champ cristallin, mais ne permet pas d'expliquer à elle seule l'évolution du celui-ci au sein des solutions solides, entre les cristaux dilués et entre les cristaux concentrés. Nous montrons que la nature de la liaison Cr-O est un facteur important et que l'environnement à moyenne distance autour du chrome exerce une influence sur ses propriétés spectroscopiques. En particulier, les deuxièmes voisins ont un effet privilégié sur la distance Cr-O et la nature de cette liaison.

De nos jours, les maladies cardiaques représentent la première cause de décès dans le monde. Parmi ces maladies, les occlusions coronariennes occupent un rôle important. Aussi, 10 à 15 % de la population souffre de calculs urinaires et ces pourcentages augmentent d'année en année dans les pays industrialisés. Considérant ces données et le fait que les outils médicaux actuels ne permettent pas de répondre à l'ensemble des besoins exigés par ces domaines, il existe une opportunité intéressante pour le développement d'appareils mieux adaptés. Le présent mémoire a pour but de démontrer le potentiel technologique d'un générateur miniaturisé d'ondes mécaniques comme futur dispositif médical dans les domaines de la lithotritie intracorporelle et de la cardiologie d'intervention. Le générateur proposé exploite les ondes acoustiques (profil de pression) pour briser les calculs urinaires ou traverser les occlusions coronariennes. Le concept présenté vise à être plus efficace, plus sécuritaire et moins dispendieux que les appareils actuels. Pour parvenir à générer le profil de pression désiré à l'extrémité d'une longue et mince tige, un processus d'amplification exploitant la focalisation des ondes dans un solide et la dispersion dans un guide d'ondes est utilisé. Ce processus nécessite une étape préliminaire de calibration qui permet de caractériser les propriétés acoustiques des milieux de propagation (concentrateur et guide dispersif). Tirant profit du retournement temporel, il est ensuite possible de concentrer spatialement et de compresser temporellement le signal de calibration pour former le profil de pression désiré. Le gain combiné de ces méthodes permettent de respecter les requis fixés pour l'appareil. Le prototype fabriqué est composé d'une source acoustique convergente, d'un guide d'ondes dispersif ainsi que d'un réducteur de section. La source acoustique comprend sept transducteurs piézoélectriques couplés sur la surface extérieure d'un concentrateur en aluminium 6061-T6 de forme semi-sphérique. Chaque transducteur est identique et possède une fréquence centrale de 695 kHz. Une tige de 3.2 mm de diamètre et 1.8 m du même alliage est fixée au concentrateur. Cette dernière représente le guide dispersif. Enfin, un réducteur de section permet de réduire le diamètre d'émission à 1.6 mm. Les performances du prototype ont été caractérisées en mesurant le profil de pression émis dans l'eau à l'extrémité du réducteur de section. La forme du signal mesurée correspond bien à celle désirée, c'est-à-dire un pulse gaussien à la fréquence de résonance des transducteurs. Des pics de pression à 160 bar et -100 bar ont aussi été obtenus dans l'eau.De plus, des essais sur une pierre artificielle ont permis de mettre en évidence un taux de pénétration d'environ 1 mm/min, et ce, pour une fréquence de tirs de 5 Hz. Une forme de cavitation a aussi pu être observée. Malgré le fait qu'il reste plusieurs défis à relever avant de présenter un appareil fonctionnel, les résultats obtenus sont encourageants et confirment le potentiel associé à la technologie développée pour les domaines ciblés.

De nombreux problèmes d'intelligence artificielle et de vérification formelle se ramènent à un test de validité d'une formule booléenne quantifiée (QBF). Mais, pour effectuer ce test les solveurs QBF actuels ont besoin d'une formule sous une forme syntaxique restrictive, comme la forme normale conjonctive ou la forme normale de négation. L'objectif de notre travail est donc de s'affranchir de ces contraintes syntaxiques fortes de manière à utiliser le langage des QBF dans toute son expressivité et nous traitons ce sujet de manière formelle et calculatoire. Notre première contribution est un ensemble d'équivalences et d'algorithmes qui permettent de traiter un motif particulier, les résultats intermédiaires. Ce motif apporte une alternative efficace en espace et en temps de résolution, à la suppression naïve des biimplications et des ou-exclusifs lors de la mise sous forme prénexe. Il offre également de nouvelles possibilités de transformations dans différents fragments du langage QBF. Notre deuxième contribution est d'ordre calculatoire et a pour but d'exploiter la puissance des architectures de calcul parallèles afin de traiter des QBF sans restriction syntaxique. Nous élaborons donc une architecture innovante pour la parallélisation du problème de validité des QBF. Son originalité réside dans son architecture dite de « parallélisation syntaxique » par opposition aux architectures de parallélisation basée sur la sémantique des quantificateurs.

La structure et la spectroscopie de molécules d'intérêt astrophysique ont été étudiées par des méthodes de calcul électronique ab initio hautement corrélées. Notre démarche a tout d'abord été d'étudier des systèmes allant de deux à quatre atomes, afin de voir l'influence du niveau de calcul électronique utilisé lors de la détermination de données comparables aux résultats expérimentaux. Ainsi, l'étude de la spectroscopie des états électroniques de la molécule AlCl a été entreprise. Les résultats obtenus pour ce système reproduisent parfaitement les mesures expérimentales existantes tout en introduisant la compréhension des phénomènes observés. Nous avons ensuite prédit un ensemble de données pour les ions AlCl+ et AlCl2+, en utilisant la même méthodologie. Nous avons également entrepris des calculs de durée de vie de prédissociation pour les molécules SH et SH+. Nos courbes d'énergie potentielle hautement corrélée nous ont permis de reproduire avec une grande précision les durées de vie de prédissociation des niveaux rovibrationnels de SH. Par la suite, nous avons étudié une molécule d'intérêt astrophysique, détectée dans l'atmosphère de Titan, N2H+. Nous avons généré des surfaces d'énergie potentielle multidimensionnelles pour les états fondamentaux des molécules N2H+, N2H2+ et N2HAr+. Ces surfaces ont été utilisées pour le calcul des niveaux rovibrationnels de ces ions et de leurs espèces deutérées. Un excellent accord avec les donné es expérimentales disponibles a été obtenu, et un ensemble de constantes spectroscopiques a été prédit. Enfin, nous nous sommes intéressés à une molécule plus grande, Si(C2H3)4. Cette étude nous a permis d'établir une méthodologie pour le calcul de la structure et des états électroniques excités de molécules de taille moyenne. Nous avons également effectué des calculs sur l'ion Si(C2H3)4+, afin d'interpréter sa fragmentation mesurée lors de l'expérience d'impact d'électron réalisée à l'Université de Bratislava durant cette thèse / Highly correlated ab initio methodologies were used to investigate the structure and the spectroscopy of small and medium sized molecules at different levels of theory. Our results are compared to the available experimental data. For the AlCl molecule, our computed spectroscopic constants were in good agreement with the experimental ones, allowing us to predict a set of predictive data for the less known AlCl+ and AlCl2+ ions. After that, we treated the predissociation lifetimes of the A state of SH and SH+. Our highly correlated calculations allowed us to reproduce the lifetimes measured experimentally. Thereafter, multidimensional potential energy surfaces of the ground state of N2H+, N2H2+ and N2HAr+ were generated. These surfaces were used for the calculations of rovibrational levels of these ions and their respective deuterated species. An overall excellent agreement was obtained comparing to the available experimental measurements. Finall y, we investigated the Si(C2H3)4 molecule in order to establish a methodology for the treatment of the structure and electronic excited states of medium sized molecules. We also studied the reactivity of the Si(C2H3)4+ ion for a tentative assignment of the mass spectra obtained in the University of Bratislava by an electron impact experiment

L'objectif de cette thèse est de produire un environnement permettant de raisonner formellement sur la correction de systèmes de calculs locaux, ainsi que sur l'expressivité de ce modèle de calcul. Pour ce faire, nous utilisons l'assistant de preuve Coq. Notre première contribution est la formalisation en Coq de la sémantique des systèmes de réétiquetage localement engendrés, ou calculs locaux. Un système de calculs locaux est un système de réétiquetage de graphe dont la portée est limitée. Nous proposons donc tout d'abord une implantation succincte de la théorie des graphes en Coq, et utilisons cette dernière pour définir les systèmes de réétiquetage de graphes localement engendrés. Nous avons relevé, dans la définition usuelle des calculs locaux, certaines ambiguïtés. Nous proposons donc une nouvelle définition, et montrons formellement que celle-ci capture toutes les sous-classes d'algorithmes étudiées. Nous esquissons enfin une méthodologie de preuve des systèmes de calculs locaux en Coq.Notre seconde contribution consiste en l'étude formelle de l'expressivité des systèmes de calculs locaux. Nous formalisons un résultat de D. Angluin (repris par la suite par Y. Métivier et J. Chalopin): l'inexistence d'un algorithme d'élection universelle. Nous proposons ensuite deux lemmes originaux concernant les calculs locaux sur les arêtes (ou systèmes LC0), et utilisons ceux-ci pour produire des preuves formelles d'impossibilité pour plusieurs problèmes: calcul du degré de chaque sommet, calcul d'arbre recouvrant, etélection. Nous proposons informellement une nouvelles classes de graphe pour laquelle l'élection est irréalisable par des calculs locaux sur les arêtes.Nous étudions ensuite les transformations de systèmes de calculs locaux et de leur preuves. Nous adaptons le concept de Forward Simulation de N. Lynch aux systèmes de calculs locaux et utilisons ce dernier pour démontrer formellement l'inclusion de deux modes de détection de terminaison dans le cas des systèmes LC0. La preuve de cette inclusion estsimplifiée par l'utilisation de transformations "standards" de systèmes, pour lesquels des résultats génériques ont été démontrés. Finalement, nous réutilisons ces transformations standards pour étudier, en collaboration avec M. Tounsi, deux techniques de composition des systèmes de réétiquetage LC0. Une bibliothèque Coq d'environ 50000 lignes, contenant les preuves formelles des théorèmes présentés dans le mémoire de thèse à été produite en collaboration avec Pierre Castéran (dont environ 40%produit en propre par V. Filou) au cours de cette thèse. / The goal of this work is to build a framework allowing the study, in aformal setting, of the correctness of local computations systems aswell as the expressivity of this model. A local computation system isa set of graph relabelling rules with limited scope, corresponding to a class of distributed algorithms.Our first contribution is the formalisation, in the Coq proofassistant, of a relationnal semantic for local computation systems.This work is based on an original formal graph theory for Coq.Ambiguities inherent to a "pen and paper" definition of local computations are corrected, and we prove that our definition captures all sub-classes of relabelling relations studied in the remainder. We propose a draft of a proof methodology for local computation systems in Coq. Our second contribution is the study of the expressivity of classes of local computations inside our framework. We provide,for instance, a formal proof of D. Angluin results on election and graph coverings. We propose original "meta-theorems" concerningthe LC0 class of local computation, and use these theorem to produce formal impossibility proofs.Finally we study possible transformations of local computation systemsand of their proofs. To this end, we adapt the notion of ForwardSimulation, originally formulated by N. Lynch, to localcomputations. We use this notion to define certified transformationsof LC0 systems. We show how those certified transformation can be useto study the expressivity of certain class of algorithm in ourframework. We define, as certified transformation, two notions ofcomposition for LC0 systems.A Coq library of ~ 50000 lines of code, containing the formal proofs of the theorems presented in the thesis has been produced in collaboration with Pierre Castéran.

La famille des alliages d'Heusler regroupe plusieurs composés considérés comme étant des candidats de choix pour être intégrés en tant qu'électrode magnétique dans des dispositifs d'électronique de spin performants. Les plus intéressants de ces alliages présentent en effet des températures de Curie élevées, une demi-métallicité théorique ainsi qu'un faible coefficient d'amortissement de Gilbert. Expérimentalement, les résultats obtenus sont cependant généralement moins probants que ceux annoncés numériquement. La première partie de cette thèse est donc consacrée à l'étude ab initio d'hypothèses usuellement utilisées pour expliquer les différences entre mesures expérimentales et résultats théoriques. Des calculs basés sur la théorie de la fonctionnelle de la densité ont été effectués pour comprendre l'impact de défauts structuraux (désordres chimiques partiels, déformations tétragonales, lacunes) sur les propriétés électroniques et magnétiques statiques et dynamiques d'alliages full-Heusler massifs à base de Co (Co2MnSi, Co2MnSn, Co2MnAl et Co2FeAl). Dans la seconde partie de cette thèse nous proposons d'étudier, avec les mêmes outils numériques, les caractéristiques physiques d'hétérostructures "tout-Heusler" prometteuses pour l'électronique de spin et rares dans la littérature. Nous nous sommes concentrés sur les variations des propriétés électroniques aux voisinages des interfaces demi- métal/isolant (Fe2TiSi/Co2MnSi, CoTiAs/Co2MnSi) ou demi-métal/métal (Fe2VAl/Co2MnSi, RhNiSi/Co2MnSi) composant les multicouches étudiées. Les résultats obtenus démontrent l'intérêt certain de ces structures pour des applications en électronique de spin, telles que les vannes de spin ou les jonctions tunnel magnétiques. / The Heusler alloy family contains several compounds considered to be prime candidates to be integrated as magnetic electrode into high-?performance spintronic devices. Some of these alloys indeed exhibit high Curie temperatures, have been predicted theoretically to be half-?metallic, and display a low Gilbert damping parameter. Nevertheless, the experimental results are generally less convincing than those reported numerically. The first part of this thesis is devoted to the ab initio study of hypotheses that are usually used to explain the differences between experimental and theoretical results. Calculations, based on the density functional theory, are then used to understand the impact of structural defects (partial chemical disorders, tetragonal deformation, vacancies) on the static and dynamic electronic and magnetic properties of Co-?based bulk full-Heusler alloys (Co2MnSi, Co2MnSn, Co2MnAl et Co2FeAl). In the second part of this thesis we propose to study, with the same numerical tools, the physical characteristics of "all-Heusler" heterostructures promising for spintronics and rare in the literature. We have focused on the variations of electronic properties in the vicinity of the "half-metal/insulator" (Fe2TiSi/Co2MnSi, CoTiAs/Co2MnSi) or "half-metal/non-magnetic metal" (Fe2VAl/Co2MnSi, RhNiSi/Co2MnSi) interfaces composing the studied multilayers. The obtained results highlight the interest of these structures for spintronic devices such as spin valves or magnetic tunnel junctions.

Le présent travail de thèse porte sur la synthèse et la caractérisation de nouvelles molécules et matériaux à base de polyoxométallates (POMs) pour des applications dans les domaines de l’énergie et l’environnement. Dans le domaine de l’environnement, notre choix s’est porté sur la transformation électro-catalytique et photo-catalytique des espèces polluantes comme les oxydes d’azote et les colorants azoïques toxiques comme l’Acide Orange 7. Pour ce qui concerne le domaine de l’énergie, nous nous sommes focalisés sur des systèmes électro- catalytiques pour la production de l’hydrogène (combustible à fort pouvoir calorifique) et pour la réduction du di-oxygène (intérêt dans le fonctionnement des piles à combustibles). Ces réactions nécessitent généralement plusieurs électrons pour se produire, c’est pour cette raison que notre choix s’est porté sur les catalyseurs à base de POMs. En effet, les POMs sont capables de stocker, puis de restituer, un grand nombre d’électrons sans changer de structure.Dans la première partie, divers POMs qui prennent en sandwich plusieurs métaux de transition sont synthétisés et caractérisés par des méthodes expérimentales (voltamétrie cyclique, coulométrie, microbalance) et théoriques (calculs DFT). Ces composés montrent une très bonne activité électro-catalytique pour la réduction des substrats tels que les oxydes d’azote, le di-oxygène et le peroxyde d’hydrogène.Dans la seconde partie, des matériaux aux propriétés améliorées sont synthétisés par incorporation de POMs dans des matrices tels que les réseaux moléculaires de type MOF (Metal Organic Framework) et dans les polymères liquides ioniques. L’association avec un semi-conducteur comme le TiO₂ est aussi considérée. Les matériaux obtenus sont caractérisés par diverses techniques : infrarouge à transformée de fourrier, électrochimie, spectroscopie en réflectance diffuse, analyse thermogravimétrique, diffraction de rayons X, spectroscopie de photo-électrons X, microscopie électronique à transmission. Les matériaux à base de POMs et de MOFs sont très performants pour la réduction électro-catalytique des protons, avec des potentiels de début effectif de la réaction, meilleurs que ceux des électrodes de platine. Les hybrides à base de POMs, de polymères liquides ioniques et du TiO₂ sont photo-sensibles sous lumière visible, contrairement à leurs composants. Ils démontrent une bonne activité vis-à-vis de la dégradation de l’Acide Orange 7. De plus, le composite obtenu par photo-déposition de nanoparticules d’argent sur ces matériaux présente de bonnes performances électro-catalytiques comme cathode pour la réduction du O₂ et du NO‾₃. / The present work concerns the synthesis and characterisation of new polyoxometalate (POMs) based molecules and materials for applications in energy and environment matters. As far as the environment is concerned, our efforts involved the electro-catalytic and photo-catalytic transformation of pollutants such as nitrogen oxides and recalcitrant azo dyes like Acid Orange 7. As for the domain of energy, we focused on electro-catalytic systems aimed at producing dihydrogen (a high calorific power fuel) and at reducing dioxygen (an important reagent in fuel cells). These reactions usually require several electrons in order to take place, which led us to choose POM-based catalysts. In fact, POMs are capable of stocking and returning an important number of electrons without changing their structure.In the first part, several POMs in which different transition metals are sandwiched in the equatorial plane of the molecular scaffold are synthesised and characterised by experimental (cyclic voltammetry, coulometry, microbalance) et theoretical (DFT calculations) methods. These compounds have shown a very good electro-catalytic activity towards the reduction of substrates such as nitrogen oxides, dioxygen and hydrogen peroxide.In the second part, some materials exhibiting improved properties are synthesised through the incorporation of POMs in matrices like Metal Organic Framework (MOF)-type molecular networks and ionic liquid polymers. The association with a semi-conductor such as TiO₂ has also been considered. The materials obtained were characterised by several techniques: Fourier transform infrared spectroscopy, electrochemistry, diffuse reflectance spectroscopy, thermogravimetric analysis, X ray diffraction, X ray photoelectron spectroscopy, transmission electron microscopy. The POM and MOFs based materials are very performing for the electro-catalytic reduction of protons, having onset potentials better than those exhibited by platinum electrodes. The hybrids consisting of POMs, ionic liquid polymers and TiO₂ are photo-sensitive under visible light, unlike each component taken individually. They have shown a good activity towards the degradation of Acid Orange 7. In addition, the composite obtained by photo-deposition of silver nanoparticles on these materials exhibits a good electro-catalytic performance as a cathode for the reduction of O₂ and NO‾₃.

L'objectif de ce travail est de contribuer, par le biais d'approches expérimentales (XPS/chimisorption de sondes gazeuses) et théoriques (approches type DFT), à une meilleure compréhension fondamentale de la réactivité de surface de matériaux d'électrode positive et plus spécifiquement d'oxydes lamellaires lithiés LiMO2. La réactivité de surface du matériau LiCoO2 et l’influence d’une substitution de l’atome de cobalt par l’atome d’aluminium a été étudiée pour avancer dans la compréhension de l’effet bénéfique des « coatings » à base d’alumine. L’étude expérimentale a été centrée sur l’adsorption de SO2 et montre que la présence d’atomes d’aluminium induit une diminution de réactivité : elle génère des espèces de type sulfite, différentes des sulfates seuls identifiés pour LiCoO2. La modélisation de cette adsorption permet la mise en évidence de deux modes d’adsorption distincts : passage d’un contrôle rédox pour LiCoO2 à un contrôle acido-basique pour des matériaux contenant des atomes d’aluminium (LiAlO2), thermodynamiquement moins favorable. L’influence de la nature du métal de transition a été analysée sur la base d’études théoriques également menées sur LiMnO2 et LiNiO2. La modélisation de l’adsorption de SO2 sur les surfaces des matériaux LiMO2 révèle la présence des deux processus de chimisorption (formation de sulfites et sulfates), avec mise en évidence du rôle important des cations de sous-surface dans les processus de réduction conduisant aux sulfates. Cette étude théorique a permis d’interpréter les résultats expérimentaux obtenus pour Li(Ni1/3Mn1/3Co1/3)O2, l’identification de sulfites résulterait de la présence des ions Ni2+ alors que celle de sulfates serait liée à la présence des ions Mn4+ et Co3+. / This work is devoted to a better fundamental understanding of the surface reactivity of positive electrode materials, and specifically lamellar lithiated oxides LiMO2 through experimental (XPS/chemisorption of gaseous probes) and theoretical (DFT calculations) approaches. The beneficial effect of aluminum-based coatings on electrochemical performances is well known but the exact mechanisms are not totally understood. A detailed study of the surface reactivity of LiCoO2 and of the influence of Al/Co substitution is carried out. The experimental approach is focused on SO2 adsorption and shows that Al/Co substitution induces a decrease of the surface reactivity and a change in the nature of adsorbed species (identification of sulfite species whereas only sulfate species are characterized for LiCoO2). Theoretical calculations highlighs two different adsorption modes controlled by redox properties for LiCoO2 and by acid-base properties for -LiAlO2 (less energetically favorable). The theoretical study is extended to LiMnO2 and LiNiO2 in order to analyse the influence of the nature of the transition metal atom. The modelization of SO2 adsorption reveals two chemisorption processes (sulfite and sulfate formation), and highligths the key role of subsurface cations in the reduction process which leads to sulfates. Thus theoretical approach allows on interpretation of the experimental data obtained for Li(Ni1/3Mn1/3Co1/3)O2. The identification of sulfites may be explained by the presence of Ni2+ ions whereas sulfate species may result from the presence Mn4+ and Co3+ ions.

L’objectif de cette thèse est d’appliquer en mode in situ les spectroscopies de diffusion inélastique résonante de rayons X (RIXS 1s2p) et d’absorption X hautement résolue en énergie par détection partielle de fluorescence (HERPFD-XAS) à l’étude de la sulfuration des catalyseurs HDS. En effet, seule une compréhension fine de la structure et de la nature de la phase active des catalyseurs à l’échelle moléculaire permet d’améliorer leurs performances dans les procédés catalytiques. Après avoir présenté un état de l’art sur la caractérisation de la phase active des catalyseurs d’hydrotraitement, nous avons montré le potentiel de ces méthodes spectroscopiques à travers des composés de référence à base de cobalt, où celui-ci se trouve dans des symétries différentes avec des degrés d’oxydation différents. Ces résultats révèlent que ces techniques spectroscopiques sont sensibles à la coordinence locale du cobalt ainsi qu’à sa structure électronique. Deux échantillons ont été étudiés pour la sulfuration in situ : cobalt supporté sur alumine et cobalt-molybdène supporté sur alumine. Les résultats par spectroscopie HERPFD-XAS au seuil K du cobalt montrent pour les deux échantillons la formation de CoS2 avant les phases CoMoS et Co9S8, ainsi qu’une contribution constante de CoAl2O4 (phase réfractaire à la sulfuration). L’analyse par la spectroscopie RIXS 1s2p a révélé que le cobalt, présent dans la phase active des catalyseurs, présente un caractère métallique, ce qui a permis de réinterpréter un certain nombre de données présentes dans la littérature. / The aim of this PhD dissertation is to apply resonant inelastic X-Ray scattering (RIXS 1s2p) and high energy resolution partial fluorescence detection X-ray absorption spectroscopy (HERPFD-XAS) to the study in situ sulfurization of HDS catalysts. Indeed, only a detailed understanding of the structure and nature of the active phase of the catalysts at the molecular level makes it possible to improve their catalytic performance. After presenting a state of the art on the characterization of the active phase of hydrotreating catalysts, we have shown the potential of these spectroscopic methods through the study of cobalt-based reference compounds where cobalt is present in different symmetries with different oxidation states. These results reveal that these spectroscopic techniques are sensitive to the local coordination of cobalt, as well as to its electronic structure. Two samples were studied for in situ sulfurization: cobalt supported on alumina and cobalt-molybdenum supported on alumina. The HERPFD-XAS spectroscopy results at cobalt K-edge show CoS2 formation before the CoMoS and Co9S8 phases for both samples, as well as the constant contribution of CoAl2O4 (phase that does not undergo sulfurization). Analysis by 1s2p RIXS spectroscopy revealed that the cobalt, present in the active phase of the both catalyst, has a metallic character, which allowed to interpret in a finer way data published in the literature.