Le propulseur à effet Hall est un moteur à plasma utilisé pour le maintien en orbite et le contrôle d'attitude de satellites, et les petites missions interplanétaires. Son principe est basé sur une configuration de champs électrique et magnétique croisés pour accélérer des ions à hautes vitesses et créer ainsi une poussée. Le confinement des électrons dans une telle configuration, crucial pour son bon fonctionnement, pose le problème théorique de leur transport au travers des lignes de champ magnétique, la diffusion classique due aux collisions électron-neutre étant insuffisante. Ce travail de thèse fait la lumière sur un mécanisme de transport électronique anormal (par opposition à la diffusion classique) par la mise en évidence d'instabilités électroniques de dérive de fréquence 10-40 MHz et de longueurs d'onde de l'ordre du rayon de Larmor électronique (millimétrique) se développant en paquets de modes perpendiculaires au champ magnétique. Ces instabilités, générées par un couplage entre le mouvement cyclotronique des électrons et leur dérive, sont à l'origine d'un processus de diffusion stochastique électronique au travers des lignes de champ magnétique dont les propriétés sont proches de celles attendues dans le cadre du transport anormal.

Cette thèse propose une nouvelle implémentation de "l'approximation de la phase aléatoire avec polarisation contrainte" (constrained random phase approximation, cRPA). Notre implémentation repose sur la théorie de la fonctionnelle de la densité, développée dans une base d'ondes planes augmentées (linearized augmented plane wave, LAPW). Cette méthode, appliquée à des matériaux fortement corrélés, permet de calculer de facon réaliste la matrice d'interaction coulombienne effective, qui pourra être traitée par la suite au moyen de l'approche à N-corps souhaitée. En particulier, les valeurs de l'interaction de Hubbard, U , et de l'échange de Hund, J, sont déterminées de manière ab initio, ainsi que leur dépendance en fréquence qui résulte des effets dynamiques de l'écrantage. Comme dans la théorie du groupe de renormalisation de Wilson, l'interaction coulombienne effective dépend du choix du sous-espace corrélé pour lequel est construit un Hamiltonien effectif de basse énergie, alors que les valeurs des observables physiques n'en dépendent pas. Afin de généraliser la cRPA aux matériaux dont la structure électronique exhibe des orbitales corrélées et itinérantes intriquées, une méthode basée sur la projection sur le sous-espace corrélé est également introduite. Différentes classes de matériaux sont envisagées comme applications : i) pnictides à base de fer, LaOFeAs et BaFe2As2, et chalcogénides, FeSe (Chapitre 6), ii) métaux de transition 3d afin de valider notre méthode de projection (Chapitre 6), iii) oxydes de métaux de transition pérovskites, SrMO3 (M = V, Cr, Mn, Nb, Mo, Tc), et pérovskites en couches, Sr2MO4 (M = Mo, Tc, Ru, Rh) (Chapitre 7). L'Hamiltonien d'interaction cRPA est également couplé à la théorie du champ moyen dynamique (LDA+cRPA+DMFT) afin de décrire l'isolant de Mott induit par le couplage spin-orbite, Sr2IrO4, et le pigment à base de terre rare, CeSF (Chapitre 8).

Nous avons développé une nouvelle expérience qui couple un spectromètre de masse de type piège ionique quadripolaire à un laser OPO UV-Visible accordable en longueur d'onde. Le travail qui est présenté dans cette thèse, est une étude des propriétés optiques et de la photofragmentation en phase gazeuse d'acides aminés, de peptides, d'ADN et de systèmes complexes métal-biomolécule. <br /> Dans le cas des peptides, l'excitation UV des chromophores contenus dans ces systèmes conduit à une fragmentation spécifique qui peut être contrôlée en fonction de la longueur d'onde. Les schémas de fragmentation obtenus après excitation laser dépendent des transferts de charge photo induits et peuvent être reliés à la géométrie du système. <br />Les spectres optiques des complexes d'agrégat d'argent tryptophane, supportés par des calculs de TD-DFT, ont permis une étude détaillée de l'excitation électronique, des transferts de charge et de la relaxation dans un système hybride métal biomolécule.<br />La production et l'utilisation de fragments radicalaires obtenus par photofragmentation ou par photodétachement sont également discutées et illustrées sur des peptides et de l'ADN.

L'étude de la microstructure de varistances à base d'oxyde de zinc et de diélectriques à base de titanate de baryum en présence de LiF a été réalisée par microscopie électronique STEM sur des échantillons amincis après traitement thermique. Une attention particulière a été portée à la structure des joints de grains, aux phases intergranulaires et aux couches de ségrégation. Cette étude a permis d'une part de corréler les microstructures et les propriétés électriques et d'autre part de préciser le mécanisme de frittage de ces céramiques.

Cette thèse est consacrée à l'étude des corrélations de courant de faisceaux mono-électroniques dans un conducteur quantique balistique. Nous utilisons une capacité mésoscopique comme source d'électrons uniques afin d'émettre à la demande des charges dans un canal de bord de l'effet Hall quantique. En présence d'une forte tension d'excitation radiofréquence, la source émet périodiquement un électron unique suivi d'un trou, générant un courant alternatif quantifié en unités de 2ef_0, où f_0 est la fréquence d'excitation. Nous avons mesuré le bruit émis par la source, et mis en évidence une limite de bruit haute fréquence fondamentale, appelée jitter quantique, qui est la signature de l'émission de charges uniques. Les mesures sont en très bon accord avec un modèle heuristique décrivant le système comme une source d'électrons uniques parfaite, ainsi qu'avec un modèle plus raffiné de diffusion des ondes électroniques. Nous avons également mesuré les autocorrélations des fluctuations du courant après partition par un contact ponctuel quantique jouant le rôle de lame séparatrice électronique. Cette géométrie, analogue électronique de l'expérience de Hanbury-Brown et Twiss en optique quantique, permet de quantifier la qualité de l'émission de particules uniques. Dans un conducteur balistique, cette géométrie permet en outre de compter le nombre d'excitations générées à chaque cycle, ainsi que de mesurer leur distribution en énergie. Ces deux expériences constituent les premières réalisations d'expériences d'optique quantique électronique avec des charges uniques. Elles permettent d'envisager des expériences plus complexes, comme la collision de deux charges, et la tomographie d'un électron unique.

La fabrication des composants semi-conducteurs à base de nitrure de gallium (GaN) connaît actuellement une grande expansion. Ce matériau, par ces propriétés physico-chimiques intéressantes, est un très bon candidat pour la fabrication des composants de puissance à haute fréquence de fonctionnement. Dans la pratique, avant d'intégrer ces composants dans un système électronique, l'analyse de leur fiabilité est une étape nécessaire pour valider la technologie de fabrication utilisée. L'objectif de ce travail est la détermination des mécanismes physiques responsables de la dégradation des performances des Transistors à Haute Mobilité Electronique (HEMT) à base d'hétérostructures AlGaN/GaN et AlInN/GaN. Dans un premier temps, la caractérisation en régime statique des composants, par des mesures de courant et de capacité à différentes températures, nous a permis de repérer certaines anomalies dans les caractéristiques des composants. Cette non-idéalité liée aux effets thermiques semble provenir des mécanismes de piégeage des porteurs par les défauts dans le matériau. Dans le but d'analyser ces mécanismes, des mesures de spectroscopie de défauts profonds (DLTS) ont été effectuées sur la capacité de type Schottky du contact de la grille. L'étape suivante a consisté à mesurer les pièges profonds dans les HEMTs par DLTS en courant de drain, de façon à déterminer quels défauts influencent directement le courant dans ces dispositifs. Cette étude a été effectuée sur différents composants avec différentes géométries pour analyser au mieux le comportement de ces pièges. L'étude du contact de grille est aussi une étape importante pour déterminer les origines de défaillance des composants. Pour cela, nous avons réalisé une étude approfondie sur les différents mécanismes de transport à travers la barrière métal/semi-conducteur. Cette étude nous a permis de conclure sur la stabilité du contact de grille après les tests de vieillissement accélérés.

La formation de l'ion négatif d'hydrogène (H-) lors de collisions entre un ion positif et une cible atomique ou moléculaire neutre est étudiée expérimentalement à des énergies d'impact de l'ordre du keV. Les sections efficaces doublement différentielles de formation des ions H- sont mesurées en fonction de leur énergie cinétique et de leur angle d'émission lors des collisions OH+ + Ar et O+ + H2O à 412 eV/u.m.a. Ces ions peuvent être émis à haute énergie (keV) lors de collisions violentes quasi-élastiques à 2 corps impliquant un fort transfert d'impulsion au centre H. Cependant, les anions H- sont préférentiellement émis à faible énergie (eV) lors de collisions douces à plusieurs corps (>2) qui résultent en un faible transfert d'impulsion. La formation des ions H- par capture électronique fait suite à l'excitation ou l'ionisation de la molécule. La dynamique de la fragmentation moléculaire est modélisée afin de simuler l'émission des ions H-. L'accord globalement satisfaisant entre la simulation et l'expérience facilite l'interprétation des observations expérimentales.

Au cours de la dernière décennie, un important effort a été fait dans le domaine des conducteurs électroniques de basse dimensionnalité afin de réaliser une électronique à électrons uniques. Une idée particulièrement attractive étant de pouvoir contrôler complétement la phase d’un électron unique volant pour transporter et manipuler de l’information quantique dans le but de construire un qubit volant. L’injection contrôlée d’électrons uniques dans un système électronique bidimensionnel balistique peut être fait grâce à une source d’électrons uniques basée sur des pulses de tensions lorentziens sub-nanosecondes. Une telle source peut aussi être utilisée pour mettre en évidence de nouveaux phénomènes d’interférences électroniques. Lorsqu’un pulse de tension court est injecté dans un interféromètre électronique, de nouveaux effets d’interférences sont attendus du fait de l’interaction du pulse avec les électrons de la mer de Fermi. Pour la réalisation de cette expérience, il est important de connaître avec précision la vitesse de propagation du paquet d’onde électronique créé par le pulse.Dans cette thèse, nous présentons des mesures résolues en temps d’un pulse de tension court (<100 ps) injecté dans un fil quantique 1D formé dans gaz d’électron bidimensionnel qui nous ont permis de déterminer sa vitesse de propagation. Nous montrons que le pulse se propage bien plus vite que la vitesse de Fermi d’un système sans interaction. La vitesse de propagation est augmentée par les interactions électron-électron. Pour un fil quantique contenant un grand nombre de modes, la vitesse mesurée est en excellent accord avec la vitesse d’un plasmon dans un système 2D en présence de grilles métalliques. En modifiant le potentiel de confinement électrostatique et donc l’intensité des interactions, nous montrons qu’il est possible de contrôler la vitesse de propagation. Nous avons ensuite étudié un interféromètre électronique à deux chemins basé sur deux fils couplés par une barrière tunnel. Nos mesures préliminaires font ressortir une signature qui peut être attribuée à des oscillations tunnel cohérentes des électrons injectés dans ce système. Dans un future proche, cet interféromètre pourrait être utilisé pour mettre en évidence ces nouveaux effets spectaculaires dus à l’interaction du pulse avec les électrons de la mer de Fermi. / Over the past decade, an important effort has been made in the field of low dimensional electronic conductors towards single electron electronics with the goal to gain full control of the phase of a single electron in a solid-state system. A particular appealing idea is to use a single flying electron itself to carry and manipulate the quantum information, the so-called solid state flying qubit. On demand single electron injection into such a ballistic two-dimensional electron system can be realized by employing the recently developed single electron source based on sub-nanosecond lorentzian voltage pulses. Such a source could also be used to reveal interesting new physics. When a short voltage pulse is injected in an electronic interferometer, novel interference effects are expected due to the interference of the pulse with the surrounding Fermi sea. For the realization of such experiments it is important to know with high accuracy the propagation velocity of the electron wave packet created by the pulse.In this thesis, we present time resolved measurements of a short voltage pulse (<100 ps) injected into a 1D quantum wire formed in a two-dimensional electron gas and determine its propagation speed. We show that the voltage pulse propagates much faster than the Fermi velocity of a non-interacting system. The propagation speed is enhanced due to electron interactions within the quantum wire. For a quantum wire containing a large number of modes, the measured propagation velocity agrees very well with the 2D plasmon velocity for a gated two-dimensional electron gas. Increasing the confinement potential allows to control the strength of the electron interactions and hence the propagation speed. We then have studied an electronic two-path interferometer based on two tunnel-coupled wires. Our preliminary measurements show a signature that can be attributed to the coherent tunneling of the electrons injected into this system. In the near future, this system could be used to reveal these new striking effects due to the interaction of the voltage pulse with the Fermi sea.

La sécurité est une exigence cruciale dans les applications basées sur l'information et la technologie de communication, surtout quand un réseau ouvert tel que l'Internet est utilisé. Pour assurer la sécurité dans ces applications des protocoles cryptographiques ont été développé. Cependant, la conception de protocoles de sécurité est notoirement difficile et source d'erreurs. Plusieurs failles ont été trouvées sur des protocoles qui se sont prétendus sécurisés. Par conséquent, les protocoles cryptographiques doivent être vérifiés avant d'être utilisés. Une approche pour vérifier les protocoles cryptographiques est l'utilisation des méthodes formelles, qui ont obtenu de nombreux résultats au cours des dernières années.Méthodes formelles portent sur l'analyse des spécifications des protocoles modélisées en utilisant, par exemple, les logiques dédiés, ou algèbres de processus. Les méthodes formelles peuvent trouver des failles ou permettent de prouver qu'un protocole est sécurisé sous certaines hypothèses par rapport aux propriétés de sécurité données. Toutefois, elles abstraient des erreurs de mise en ouvre et les attaques side-channel.Afin de détecter ces erreurs et la vérification des attaques d'exécution peut être utilisée pour analyser les systèmes ou protocoles exécutions. En outre, la vérification de l'exécution peut aider dans les cas où les procédures formelles mettent un temps exponentielle ou souffrent de problèmes de terminaison. Dans cette thèse, nous contribuons à la vérification des protocoles cryptographiques avec un accent sur la vérification formelle et l'automatisation. Tout d'abord, nous étudions les protocoles d'examen. Nous proposons des définitions formelles pour plusieurs propriétés d'authentification et de confidentialité dans le Pi-calcul Appliqué.Nous fournissons également une des définitions abstraites de propriétés de vérifiabilité. Nous analysons toutes ces propriétés en utilisant automatiquement ProVerif sur plusieurs études de cas, et avons identifié plusieurs failles. En outre, nous proposons plusieurs moniteurs de vérifier les exigences d'examen à l'exécution. Ces moniteurs sont validés par l'analyse d'un exécutions d'examen réel en utilisant l'outil MARQ Java.Deuxièmement, nous proposons un cadre formel pour vérifier les propriétés de sécurité de protocoles de monnaie électronique non transférable. Nous définissons la notion de vie privée du client et les propriétés de la falsification. Encore une fois, nous illustrons notre modèle en analysant trois études de cas à l'aide ProVerif, et confirmons plusieurs attaques connues.Troisièmement, nous proposons des définitions formelles de l'authentification, la confidentialité et les propriétés de vérifiabilité de protocoles de réputation électroniques. Nous discutons les définitions proposées, avec l'aide de ProVerif, sur un protocole de réputation simple. Enfin, nous obtenons un résultat sur la réduction de la vérification de la validité d'une route dans les protocoles de routage ad-hoc, en présence de plusieurs attaquants indépendants qui ne partagent pas leurs connaissances. / Security is a crucial requirement in the applications based on information and communication technology, especially when an open network such as the Internet is used.To ensure security in such applications cryptographic protocols have been used.However, the design of security protocols is notoriously difficult and error-prone.Several flaws have been found on protocols that are claimed secure.Hence, cryptographic protocols must be verified before they are used.One approach to verify cryptographic protocols is the use of formal methods, which have achieved many results in recent years.Formal methods concern on analysis of protocol specifications modeled using, e.g., dedicated logics, or process algebras.Formal methods can find flaws or prove that a protocol is secure under ``perfect cryptographic assumption" with respect to given security properties. However, they abstract away from implementation errors and side-channel attacks.In order to detect such errors and attacks runtime verification can be used to analyze systems or protocols executions.Moreover, runtime verification can help in the cases where formal procedures have exponential time or suffer from termination problems.In this thesis we contribute to cryptographic protocols verification with an emphasis on formal verification and automation.Firstly, we study exam protocols. We propose formal definitions for several authentication and privacy propertiesin the Applied Pi-Calculus. We also provide an abstract definitions of verifiability properties.We analyze all these properties automatically using ProVerif on multiple case studies, and identify several flaws.Moreover, we propose several monitors to check exam requirements at runtime. These monitors are validated by analyzing a real exam executions using MARQ Java based tool.Secondly, we propose a formal framework to verify the security properties of non-transferable electronic cash protocols.We define client privacy and forgery related properties.Again, we illustrate our model by analyzing three case studies using ProVerif, and confirm several known attacks.Thirdly, we propose formal definitions of authentication, privacy, and verifiability properties of electronic reputation protocols. We discuss the proposed definitions, with the help of ProVerif, on a simple reputation protocol.Finally, we obtain a reduction result to verify route validity of ad-hoc routing protocols in presence of multiple independent attackers that do not share their knowledge.

Au sein des Réacteurs à Eau Pressurisée, le flux de neutrons entraîne une modification des propriétés mécaniques des gaines à combustible en alliage de zirconium. Bien que leur comportement macroscopique soit bien connu, les mécanismes microscopiques de la déformation des alliages de zirconium restent à caractériser. Afin de simuler l'irradiation aux neutrons, des irradiations aux particules chargées (ions et électrons) ont été réalisées à 400 et 450°C sur un alliage de zirconium: le Zircaloy-4 RXA. L'analyse expérimentale de la microstructure obtenue après irradiation, effectuée au Microscope Electronique en Transmission (MET), a montré la présence de défauts cristallins: les boucles de dislocation de vecteur de Burgers <a>. Leur évolution au cours de l'irradiation (taille et densité), ainsi que leurs caractéristiques (nature et plan d'habitat) ont été déterminées et discutées sur la base de la diffusion des défauts ponctuels. Les résultats obtenus suggèrent une diffusion des auto-interstitiels très faiblement anisotrope. Des expériences de traction in-situ ont été réalisées au MET, après irradiation aux ions, afin d'activer le glissement des dislocations et d'observer leurs interactions avec ces boucles <a>. Certains cas d'interactions observés expérimentalement ont été modélisés par Dynamique des Dislocations pour une meilleure compréhension des mécanismes. L'effet simultané de la contrainte et de l'irradiation sur les mécanismes de déformation a ensuite été étudié. Des irradiations in-situ aux électrons et aux ions ont été effectuées, sans et avec application d'une contrainte. Des mécanismes de déformation impliquant la montée des dislocations ont ainsi été mis en évidence. Grâce à l'ensemble de cette étude, des modèles basés sur les mécanismes identifiés pourront être, à terme, proposés afin de prédire le comportement des alliages de zirconium en réacteur. / In Pressurized Water Reactors, the neutron flux leads to a change in the mechanical properties of the fuel cladding tubes made of zirconium alloys. Although their macroscopic behavior is well known, the microscopic deformation mechanisms of zirconium alloys still need to be characterized. In order to simulate the neutron irradiation, charged particles irradiations (ion and electron) were carried out at 400°C and 450°C on a zirconium alloy: RXA Zircaloy-4. The experimental analysis of the irradiated microstructure, performed by using a Transmission Electron Microscope (TEM), have shown some crystalline defects: dislocation loops with a <a> Burgers vector. Their evolution (size and density) and their characteristics (nature and habit plane) have been determined and discussed based on the point defects diffusion. The results suggest a weak anisotropy in the self-interstitial diffusion. In-situ tensile tests were performed using a TEM, after ion irradiation, in order to activate the dislocation glide and to observe their interaction with the <a> loops. Some of the experimental cases of interaction have been simulate using Dislocation Dynamics for a better understanding of the mechanisms. The simultaneous effect of the stress and of the irradiation on the deformation mechanisms have been then studied. In-situ electron and ion irradiations were conducted, with and without an applied stress. Deformation mechanisms involving dislocation climb have thus been demonstrated. Through this study, models based on the identified mechanisms may be suggested, in order to predict the behavior of zirconium alloys in the reactor.