Cette thèse propose l’analyse spatio-temporelle d’un mouvement scientifique au moyen d’une théorie sociologique (Frickel, Gross, 2005), complétée par une approche d’analyse spatiale, combinaison qui fait l’originalité de ce travail. La géographie théorique et quantitative européenne francophone, dont l’évolution temporelle et la configuration spatiale restaient très mal connues, en est l’objet. Elle permet de mettre en perspective les rares auto-analyses qui y sont consacrées. Deux grands types de matériaux sont mobilisés : archivistique (Répertoire des géographes, revues ou listes de communications à des colloques spécialisés) et mémoriel (sur la base de 58 entretiens semi-directifs). L’analyse de ces corpus combine des méthodes quantitatives (de la théorie des graphes à l’analyse de la spécialisation des unités géographiques) et qualitatives (analyse thématique et sémantique des corpus et des entretiens des acteurs). Cette investigation a permis de proposer une périodisation du mouvement, articulée autour de trois grands moments : 1. l’émergence, de 1971-72 à 1984, impliquant un faible nombre d’acteurs et de lieux, moment où des chercheurs isolés entrent en interaction, 2. l’âge d’or, de 1985 à la fin des années 1990, marqué par l’existence d’un collectif structuré, reposant sur de nombreuses interactions entre les lieux européens francophones, qui se reproduit et essaime, 3. la généralisation du cœur de connaissances qui s’accompagne d’un déclin de l’identification au mouvement, des années 2000 à nos jours, selon de nombreuses reconfigurations, voyant la disparition de certains pôles historiques. / The aim of this thesis is to implement a spatio-temporal analysis of a scientific movement based on a sociological theory (Frickel, Gross, 2005), combined with spatial analysis. This combination constitutes the major contribution of the present work. For this analysis, the author has chosen as a subject the European French-speaking theoretical and quantitative geography, whose temporal evolution and spatial configuration remained largely unknown until now. The thesis uses two main kinds of materials: archival (Répertoire des géographes, journals, lists of communications of TQG colloquium) and memorial with 58 semi-structured interviews collected from a sample of actors of the movement. The analysis of the corpus combines quantitative methods (from graph theory to the analysis of geographical units’ specialization), and qualitative ones (thematic and semantic analysis of the corpus and interviews of actors). This investigation has allowed us to propose a periodization of the movement since its beginnings in the 1960’s organized around three main periods: 1. the emergence, from 1971-72 to 1984, involving a small number of actors and locations, and while individual researchers interact in order to give themselves a self training, 2. the Golden Age, from 1985 to the end of the 1990’s, marked by the formation of organized groups based on many interactions between French-speaking places in Europe, self reproducing and spreading. 3. The generalization of the knowledge core which is accompanied by a decline in identification with the movement, from the 2000’s to the present, according to many reconfigurations including the disappearance of certain historical centres.

La Chromodynamique Quantique (QCD) sur réseau permet d'étudier de façon ab-initio et non-perturbative les processus d'interaction forte. Ce formalisme, qui permet une régularisation covariante de la théorie de l'interaction forte, fournit aussi un cadre naturel pour le calcul et la simulation numérique de la Chromodynamique Quantique. Dans cette thèse, après un tour d'horizon des principales propriétés de la QCD et une présentation détaillée de notre discrétisation de cette théorie sur un réseau, nous étudions de façon approfondie deux problèmes de physique hadronique : le phénomène de diffusion résonante et la structure du nucléon. Les calculs sont réalisés avec les configurations de jauge de la Collaboration Budapest-Marseille-Wuppertal, générées avec une action de Wilson améliorée avec 2+1 saveurs de quarks dynamiques. Elles couvrent une large gamme de pas de réseau, de volumes et de masses des quarks différents, permettant ainsi une étude fine de la sensibilité de nos résultats à ces paramètres, et fournissant un bon contrôle sur l'extrapolation au continu. Notre étude de la diffusion de particules sur le réseau est menée grâce à une méthode proposée par M. Lüscher. Nous avons choisi le cas particulier de la diffusion pion-pion dans le canal résonant du méson rho, et analysé nos données avec une méthode variationnelle aux valeurs propres généralisées. Nous présentons les déphasages pion-pion ainsi que les paramètres de la résonance obtenus de façon détaillée, tout en garantissant un bon contrôle de nos erreurs systématiques. Nos résultats apportent une avancée importante dans le panorama des études de diffusion sur le réseau car ce sont les premiers réalisés à la masse physique du pion, pour laquelle la désintégration du rho en deux pions peut effectivement avoir lieu. Les valeurs obtenues pour les paramètres de la résonance du méson rho sont accord avec l'expérience, et confirment la faible dépendance du couplage entre le rho et les deux pions à la masse du pion. L'exploration de la structure du nucléon se fait à travers un calcul complet des facteurs de forme électrofaibles isovectoriels, avec une étude approfondie du rayon de charge électrique et de la charge axiale. Notre analyse présente aussi des données à la masse physique du pion, ce qui s'avère crucial pour maîtriser les extrapolations au point physique, étant données les variations violentes prédites par la perturbation chirale de ces quantités. Notre calcul utilise une projection sur les états du nucléon à la source et au puits, et une méthode de fit combinant les fonctions de corrélation à deux et trois points afin de réduire et de contrôler au maximum les contaminations pouvant venir des états excités. Bien que davantage de données seraient nécessaires pour déterminer très précisément le rayon et la charge axiale au point physique avec une évaluation pertinente des erreurs systématiques, les valeurs que nous obtenons sont en bon accord avec l'expérience, et suggèrent que les effets dus aux états excités sont faibles et sous contrôle. Notre analyse souligne aussi que l'utilisation de configurations de jauge avec des masses de pion proches de la valeur physique et avec des grands volumes semble indispensable à une étude précise de la structure du nucléon sur réseau. / The formalism of Quantum Chromodynamics on the lattice (or Lattice QCD) allows to perform ab-initio non-perturbative studies of strong-interaction driven processes, as it provides both a covariant regularisation of the theory of QCD and a natural framework for numerical computations. In this work, after a review of the main features of QCD and a step-by-step presentation of our discretization of QCD on a lattice, we undertake detailed studies of two problems of hadronic physics: the phenomenon of resonant scattering and the structure of the nucleon. The lattice calculations are performed with the Budapest-Marseille-Wuppertal Collaboration's 2+1-flavour gauge configurations, which give access to a wide range of lattice spacings, volumes and quarks masses, thereby allowing to study the sensibility of our results on these parameters, and to perform a complete continuum extrapolation. These configurations include dynamical quarks, and use a clover-improved Wilson QCD action. To investigate the scattering of particles on the lattice, we set up a Lüscher analysis for the emblematic case of pion-pion scattering in the channel of the rho meson resonance. We analyse our data with a variational generalized eigenvalue method, and give an in-depth calculation of the scattering phase-shifts and the corresponding resonance parameters, with a full control of the systematic errors. Our results provide an important step for lattice studies of scattering states, as they are the first to be performed at the physical pion mass, where one can see the actual decay of the rho into two pions. The obtained rho meson parameters are in good agreement with the experimental values, and consistent with a weak pion mass dependence of the coupling between the rho and two pions. As for our probe of the structure of the nucleon, we present a complete extraction of the electroweak isovector form factors, with a comprehensive study of the electric charge squared radius and of the axial charge. Our analysis also feature data at the physical pion mass, which turns out to be crucial in order to perform safe extrapolations to the physical point, as the chiral perturbation theory predicts violent variations of these quantities near the massless-quarks point. Our calculation includes source and sink projections onto the nucleon state, as well as a combined fit method between the two-point and three-point correlation functions to control the contamination of our data by excited states. Although one would need more data to perform a high-accuracy determination of the nucleon radius and axial charge at the physical point with a relevant estimation of the systematic errors, the results we obtain are in good agreement with the experiment and suggest that the excited-state effects are under control. Our analysis also highlights that gauge configurations ensembles near the physical pion mass and with large volumes must be used in order to extract accurate information about the nucleon structure from lattice calculations.

Afin de pallier les problèmes de sécurité posés par l'emploi d'électrolytes liquides, des batteries incorporant des électrolytes solides ont été envisagées, conduisant à des dispositifs « tout solide » de type microbatterie au lithium. Dans le cas de ces systèmes, des études concernant les phénomènes aux interfaces restent à développer, afin de comprendre les processus limitants qui se déroulent à l'échelle atomique, similairement à la formation de la SEI (« Solid Electrolyte Interface »), bien connue dans le cas de l'utilisation d'électrolytes liquides. Dans ce type de problématiques, l'apport des méthodes de la chimie calculatoire, de part leur aspect prédictif et explicatif, est incontestable. Le présent travail de thèse, en prenant pour objet d'étude l'électrolyte solide LixPOyNz, se place dans ces problématiques, en proposant l'étude fondamentale de modèles d'interfaces électrode/électrolyte. L'électrolyte considéré étant un matériau amorphe, le premier verrou à lever consiste en la recherche d'un modèle de ce système, apte à simuler les propriétés électroniques de l'électrolyte réel, constituées par des données XPS cibles. Les calculs menés, visant à la modélisation des spectres XPS, ont permis tout à la fois de proposer un modèle de l'électrolyte et de mettre en lumière l'existence d'une coordinence des atomes d'azote non considérée jusqu'alors dans l'interprétation expérimentale des données XPS. La possible existence d'atomes d'azote monovalents au sein de l'électrolyte semble confirmée par des calculs vibrationnels, thermodynamiques et cinétiques complémentaires, tandis que ce résultat permet de réviser la vision communément admise de la structuration de l'électrolyte LixPOyNz et de la diffusion des ions Li+ au sein de celui-ci. Enfin, ce modèle structural de l'électrolyte a été employé à la simulation d'une interface électrode/électrolyte (LixPOyNz/Si). Une considération particulière a notamment été apportée à l'étude de l'adsorption du modèle à la surface et de la diffusion des ions lithium au sein de l'interface. / In order to overcome the safety issues induced by the use of liquid electrolytes, Li-ion batteries involving solid electrolytes have been considered, leading to an ‘all-solid’ kind of devices, commonly called microbatteries. For such devices, studies on the limiting processes that take place at electrode/electrolyte interfaces need to be done, to understand the electrochemical phenomenons likely to occur at the atomic scale, similarly to the well-known SEI formation. In this goal, methods of computational chemistry can provide both explanatory and predictive breakthroughs. The present work takes part in those issues by intending a study of electrode/electrolyte interfaces, considering LixPOyNz as the solid electrolyte material. Owing to the amorphous structuration of this system, the first barrier to break consists in the search for a suitable model, able to reproduce its real XPS electronic properties. Modelling of XPS spectra has both lead to propose a model of the electrolyte and highlight the possible existence of a new coordinence for nitrogen atoms, up to now unconsidered experimentally. Complementary calculations of Raman spectra, thermodynamic and kinetic data tend to evidence this coordinence, leading to a refinement of the commonly considered diffusion scheme. Finally, this structural model has been used to simulate an electrode/electrolyte interface (LixPOyNz/Si), with the particular aim of studying its adsorption on the electrode and the Li-ion diffusion through the interface.

Cette thèse s'intéresse à la rationalisation du mécanisme de transfert d'excitation dans des polyphénylènes éthynylènes (PPE). Une étude statique approfondie a été réalisée en utilisant la TDDFT, permettant de confirmer la localisation des états excités de méta-PPE sur des fragments para, ainsi que la hiérarchie des interactions régissant les propriétés photochimiques des PPE. Des intersections coniques ont été identifiées, de même que les principales composantes de l'espace de branchement. Leur étude a soutenu l'hypothèse d'un transfert d'énergie par conversion interne entre états excités localisés sur des fragments para.D'autre part, nous avons proposé un modèle vibronique multiéchelles pour l'énergie des états électroniques. En particulier, nous avons exprimé les énergies des orbitales frontières de PPE en fonction des énergies des orbitales frontières du benzène et de l'acetylène via un Hamiltonien effectif de type Hückel. Un travail de mapping et d'optimisation nous a permis d'aboutir à une expression pour l'énergie de transition électronique en fonction d'un nombre réduit de coordonnées nucléaires locales. / The present work is focused on the rationalization of the excitation transfer mechanism in polyphenylene ethynylenes (PPEs). A static study was performed using TDDFT, allowing to confirm both the localization of the excited states of meta-PPEs on para building blocks and the hierarchy in the interactions governing the photochemical properties of PPEs. Conical intersections were identified, along with few components of their branching spaces. Studying those supported the assumption of an energy transfer proceeding through internal conversion between excited states localized on different building blocks.In addition, we proposed a multiscale vibronic model for the energy of the eletronic states. In particular, we expressed the energies of the frontier orbitals of PPEs in terms of the energies of the frontier orbitals of benzene and acetylene, using an effective Hückel-type Hamiltonian. Perfoming different optimizations, we achieved to propose an expression for the energy of the electronic transition in terms of a reduced number of local nuclear coordinates.

La région MENA est aujourd’hui, au centre d’ambitieux enjeux économiques essentiellement en matière d’intégration régionale et de transformation structurelle. Toutefois, les Etats Arabes de cette région ont présenté des défaillances et une vulnérabilité importante dans le système économique et productif au lendemain des mouvements et des bouleversements politiques, économiques, sociales et populaires de très grande ampleur. Ces chocs apportent un lot de nouveaux défis à relever. L’objectif principal de cette thèse est d’étudier les nouvelles dynamiques du processus de transformation structurelle afin de proposer de nouvelles trajectoires de développement pour ces pays. Dans cette optique, nous abordons les questions liées aux déterminants et aux effets spatiaux de ce processus, à la relation entre d’une part la complexité économique et la pollution de l’air, et d’autre part, la complexité économique et les inégalités de genre en éducation. Pour cela, nous considérons un panel dynamique de 133 pays qui couvre une période longue et récente (1984 à 2014). En utilisant des données récentes et en intégrant des paramètres jusque-là peu utilisés, nous mettons en évidence des caractéristiques particulières du processus de complexification des systèmes productifs. D’un point de vue général, les résultats révèlent que les performances en matière de complexification des systèmes productifs sont très hétérogènes au sein des pays MENA et que leurs déterminants dépendent des caractéristiques des économies. Les fortes disparités observées s’expliquent, au-delà de l’effet significatif du revenu par habitant, par une carence dans le système institutionnel, éducatif en particulier dans l’accès à l’innovation, mais aussi à l’abondance des ressources naturelles ou encore à l’attractivité des investissements directs étrangers. Au-delà des caractéristiques individuelles des économies, l’analyse spatiale montre que des facteurs géographiques tels que le taux d’urbanisation, les accords commerciaux, et la localisation spatiale jouent un rôle très important dans le processus de transformation structurelle. Nous apportons également, grâce aux outils tirés de la mécanique classique, des réponses aux limites des modèles économiques traditionnels qui peinent à démontrer l’existence d’un processus d’accélération du développement économique. / MENA countries is today, at the center of ambitious economic stakes mainly in regional integration and structural transformation. However, the Arab States of this region have suffered great shortcomings and vulnerability in the economic and productive system in the aftermath of massive political, economic, social and popular upheavals and upheavals. These shocks present a number of new challenges. The main objective of this thesis is to study the new dynamics of the structural transformation process in order to propose new development trajectories for these countries. In this context, we address issues related to the spatial determinants and effects of this process, the relationship between economic complexity and air pollution on the one hand, and economic complexity and inequalities on the other education. For this, we consider a dynamic panel of 133 countries covering an important and recent period (1984 to 2014). Using recent data and integrating previously little used parameters, we highlight particular characteristics of the process of complexification of productive systems. From a general point of view, the results reveal that the productivity performance of productive systems is very heterogeneous within MENA countries and that their determinants depend on the characteristics of the economies. The large disparities observed are explained, beyond the significant effect of per capita income, by a deficiency in the institutional system, particularly in terms of access to innovation, but also to the abundance of natural resources or the attractiveness of foreign direct investment. Beyond the individual characteristics of economies, spatial analysis shows that geographical factors such as urbanization rate, trade agreements, but especially spatial location play a very important role in the process of structural transformation.We also bring, thanks to the tools derived from classical mechanics, answers to the limits of traditional economic models which are difficult to demonstrate the existence of a process of accelerating economic development.

Les molécules d’intérêt biologique ont pour caractéristique principale de participer aux processus biologiques, que ce soit au sein d’un organisme du monde du vivant, ou bien dans l’espace (exobiologie). Dans ces deux cas, l’eau joue un rôle prépondérant sur les propriétés des systèmes considérés. Les simulations numériques constituant désormais un élément incontournable pour l’interprétation des expériences, l’objectif de cette thèse sera de tenter de reproduire par des méthodes de chimie quantique les spectres IR expérimentaux relatifs à deux systèmes hydratés : les aérosols de nitrate, présents dans l’atmosphère, ainsi que les bases d’acides nucléiques microhydratées. Ce travail présente une même démarche afin d’obtenir la meilleure adéquation possible entre théorie et expérience. Tout d’abord, le modèle géométrique permettant de représenter au mieux nos systèmes a été recherché à partir de l’utilisation du code GSAM développé au laboratoire. Puis, nous nous sommes attachés à déterminer la méthode théorique la plus adaptée à l’étude de chacun des systèmes. Pour ce faire, différentes méthodes de calcul de structure électronique (dont B3LYP et ses analogues prenant en compte les interactions à moyenne et longue portée B3LYP-D et CAMB3LYP), de traitement vibrationnel (VPT2, VCI-P ou bien DM) ont été testées. L’évolution expérimentale observée pour les nombres d’onde associés aux cinq modes de vibration de l’ion nitrate en fonction du nombre de molécules d’eau au sein de l’aérosol est ainsi reproductible en utilisant un modèle d’agrégats d’agrégats du type (NaNO3,nH2O)3 au niveau calculatoire B3LYP/6-311+G(d,p) à 15cm-1 près. En ce qui concerne les bases d’acides nucléiques (X=C, T, U, A et G) microhydratées, la meilleure représentation d’un environnement aqueux est constitué d’un modèle explicite du type X,nH2O avec n=1 à 5 -déterminé à partir de l’application du code GSAM-, associé à un modèle implicite tel que PCM. La comparaison des nombres d’onde dans la zone de signature vibrationnelle 1000-1800cm-1 pour chaque base et à deux niveaux calculatoires différents B3LYP et B3LYP-D a conduit globalement à favoriser la première. En revanche, les méthodes de traitement vibrationnel dépendantes et indépendantes du temps donnent des résultats voisins dans cette zone, avec un coût calculatoire moins important pour la méthode VPT2. / Molecules with biological interest participate to biological processes in living organisms or in space (exobiology). Water plays a predominant part on properties of considered systems.Since computations take an important part in interpretation of experiments, the aim of this phD will be to try to reproduct IR experimental spectra with methods of quantum chemistry for two different hydrated systems : nitrate aerosols and microhydrated nucleic acid bases. This work presents a same approach to obtain the best agreement between experience and theory. First, the geometrical model for representation of hydration was investigated with the GSAM code developed at the laboratory. Then, the most adapted theoretical method was determined for studies of each system. Different methods of determination of electronic structure, especially B3LYP and their analogs considering medium and long range interactions B3LYP-D and CAMB3LYP, and vibrational treatments (VPT2, VCI-P and MD) were tested. The experimental evolution observed for wavenumbers associated to the five vibrational modes of the nitrate ion depending on the number of water molecules within the aerosol is reproducible using a model of aggregates of molecular clusters labeled (NaNO3,nH2O)3 at the B3LYP/6-311+G(d,p) level of theory : the average discrepancy between theory and experience reaches 15cm-1. Concerning microhydrated nucleic acid bases (X=C, T, U, A et G), the best representation of aqueous environment is made of an explicit model labeled X,nH2O with n=1 to 5 -determined from the application of the GSAM code-, with an implicit one like the PCM model. The comparison of wavenumbers calculated at the B3LYP and B3LYP-D levels of theory in the 1000-1800cm-1 spectral region which represents the vibrational signature for each base favoured the first method. But time-dependent and time-independent methods of vibrational treatment provide comparable results in this region, with a computational cost less important for the VPT2 approach.

Cette thèse s'intéresse d'une part au problème de décomposition technologique orienté surface sur des réseaux programmables de type FPGAs (Field Programmable Gate Arrays) et d'autre part à la synthèse des macro-générateurs sur ASICs et plus précisément de la synthèse des additionneurs. La décomposition s'articule autour de deux axes essentiels: tout d'abord, il s'agit d'optimiser la taille de la représentation des fonctions booléennes. Les représentations de base choisies ici sont les ROBDDs (Reduced Ordered Binary Decision Diagrams) ainsi qu'une structure dérivée, les ITE (If Then Else). La deuxième étape concerne la décomposition proprement dite. Les technologies cibles sont ici des FPGAs à base de LUT-k (Look Up Table), en particulier les FPGAs XC5200 de Xilinx et Orca de AT&T. Les deux méthodes de décomposition technologique orienté surface proposées permettent une décomposition hétérogène en prenant en compte non pas une seule configuration mais un ensemble de configurations possibles de la cellule cible. La première méthode est fondée sur un parcours descendant et optimisé du ROBDD. La seconde méthode s'appuie sur une modélisation en recouvrement d'hypergraphe du problème de décomposition technologique. Dans les deux méthodes, le coût exact en terme de surface finale du circuit est pris en compte à chaque étape de la décomposition. L'étude menée dans la deuxième partie de la thèse sur la macro-génération conduit dans un premier temps à l'exploration de l'espace des solutions possibles puis à l'optimisation d'une solution sélectionnée par un algorithme de dérivation discrète. L'utilisation d'un filtre permet la restriction de l'espace des solutions à explorer et d'autre part guide le processus de dérivation en éliminant les solutions trivialement médiocres. La combinaison des processus d'exploration et de dérivations permet la génération de macros dont les caractéristiques physiques sont les plus proches possibles de celles fixées par un utilisateur potentiel. Ces méthodes ont été intégrées au sein d'un outil universitaire ASYL+ développé au laboratoire CSI

Pour répondre à la demande sociale, les forestiers doivent gérer des peuplements de plus en plus complexes (mélangés en espèces et irréguliers en âge), pour lesquels les modèles classiques ne sont plus suffisants. Pour améliorer ces modèles, il est nécessaire de mieux connaître le fonctionnement de l'écosystème forestier. L'objectif de cette thèse est de montrer comment l'analyse de la structure spatiale, c'est à dire de la façon dont les arbres sont disposés en forêt, couplée avec des modèles dendrométriques et de modèles d'écologie théorique, peut nous aider à mieux comprendre et modéliser ces peuplements forestiers complexes.<br />Dans ce mémoire je présente quelques exemples de questions écologiques pour lesquelles la prise en compte de la structure spatiale apporte des éléments de réponse. J'ai utilisé le formalisme des processus ponctuels, et plus particulièrement la fonction de Ripley K(r), pour analyser des peuplements réels et simuler des peuplements virtuels. Ces outils ont été utiles pour décrire les peuplements, pour concevoir, utiliser et évaluer des modèles. J'ai par exemple proposé un modèle spatialisé de la mortalité lors des tempêtes dans la réserve de la Tillaie, et j'ai évalué différents modèles d'éclaircie sur le dispositif de Lamotte-Beuvron. Sur le dispositif du Beau Poirier, l'utilisation conjointe de modèles dendrométriques et de modèles d'écologie théorique m'a permis d'étudier la survie du chêne dans le mélange chêne et hêtre, et a apporté des éléments de réponse à la question plus générale de la survie en mélange d'une espèce moins compétitive. A moyen terme, l'analyse de la structure spatiale pourrait jouer un rôle important dans l'évolution des modèles dendrométriques, et en particulier dans la réflexion sur les données et les dispositifs, dans la prise en compte du compartiment sol, et dans le couplage avec des modèles d'écologie théorique pour faciliter le passage de l'échelle de l'arbre à l'échelle du peuplement.

Les programmes mobiles, comme les applettes, sont utiles mais potentiellement hostiles, et il faut donc pouvoir s'assurer que leur exécution n'est pas dangereuse pour le système hôte. Une solution est d'exécuter le programme mobile dans un environnement sécurisé, servant d'interface avec les ressources locales, dans le but de contrôler les flux d'informations entre le code mobile et les ressources, ainsi que les accès du code mobile aux ressources. Nous proposons deux critères de sécurité pour l'exécution de code mobile, obtenus chacun à partir d'une analyse de l'environnement local. Le premier porte sur les flux d'informations, garantit la confidentialité, est fondé sur le code de l'environnement, et est exact et indécidable ; le second porte sur les contrôles d'accès, garantit le confinement, s'obtient à partir du type de l'environnement, et est approché et décidable. Le premier chapitre, méthodologique, présente l'étude d'objets infinis représentés sous la forme d'arbres. Nous avons privilégié pour les définir, une approche équationnelle, et pour raisonner sur eux, une approche déductive, fondée sur l'interprétation co-inductive de systèmes d'inférence. Dans le second chapitre, on montre dans le cas simple du calcul, comment passer d'une sémantique opérationnelle à une sémantique dénotationnelle, en utilisant comme dénotation d'un programme son observation. Le troisième chapitre présente finalement en détail les deux critères de sécurité pour l'exécution de code mobile. Les techniques développées dans les chapitres précédents sont utilisées pour l'étude de la confidentialité, alors que des techniques élémentaires suffisent à l'étude du confinement.

L'extension supersymétrique du Modèle Standard peut contenir des interactions violant la symétrie dite de R-parité. La présence de tels couplages engendrerait une violation des nombres leptonique et/ou baryonique et modifierait en profondeur la phénoménologie de la supersymétrie auprès des futurs collisionneurs de particules. Nous avons développé des tests des interactions violant la R-parité. D'une part, nous avons étudié des signaux clairs de la production d'un seul partenaire supersymétrique de particule du Modèle Standard, qui implique les couplages violant la R-parité, dans le cadre de la physique aux prochains collisionneurs leptoniques et hadroniques. Les résultats montrent que de fortes sensibilités pourront être obtenues sur les paramètres de brisure douce de la supersymétrie et indiquent la possibilité d'une amélioration d'un à deux ordres de grandeur des limites indirectes actuelles sur les valeurs de plusieurs constantes de couplage violant la R-parité. De plus, il a été vérifié que l'analyse de la production d'un seul superpartenaire offre l'opportunité de reconstruire de façon indépendante du modèle théorique diverse masses de superpartenaires avec une grande précision. D'autre part, nous avons étudié des effets de violation de la symétrie CP aux futurs collisionneurs leptoniques dans la production de paire de fermions de saveurs différentes, ou de leur superpartenaire, permettant de mettre en évidence d'éventuelles phases complexes des constantes de couplage violant la R-parité. Nous avons vu notamment que la production d'un quark top accompagné d'un quark charmé permet de tester la violation de CP dans le secteur hadronique. La conclusion de ces travaux est que les phases complexes de certaines constantes de couplage violant la R-parité pourraient être observées, et plus particulièrement dans un scénario où ces couplages exhiberaient une grande hiérarchie dans l'espace des saveurs