Cette thèse présente de nouveaux développements en détection de particules chargées et traitement tout-numérique d'impulsions pour application à l'analyse avec des faisceaux d'ions rapides (IBA). Un ensemble de 16 détecteurs gravés sur une puce de Si est mis en œuvre, ce qui fournit un angle solide de détection environ 100 fois plus grande que celle des détecteurs utilisés auparavant pour l'IBA. Seize chaines d'acquisition sont également mises en œuvre avec une approche 'tout-numérique' pour le traitement des signaux issus des détecteurs. Dans son ensemble, le système ainsi développé a une résolution en énergie équivalent à celle des détecteurs standards. La considérable quantité d'information ainsi générée est traitée de manière cohérente en ajustant des spectres en énergie simulé aux spectres mesurés grâce à un algorithme de recuit simulé, avec le NDF DataFurnace. Les grandes angles solides disponibles sont exploitées pour des études par rétrodiffusion de Rutherford (RBS) et canalisation d'ions de l'isolant topologique Bi2Se3 enrichi en fer en vue d'études de l'effet thermoélectrique, de spintronique ou encore la computation quantique, ainsi que pour des études par RBS et analyse par réactions nucléaires (NRA) de matériaux pour la photovoltaïque organique, basés sur tetraphenyldibenzoperiflanthene (DBP) comme photo-absorbant avec oxydes de métaux de transition pour injection de charge. / This thesis presents new developments in charged particle detection and digital pulse processing for application in analysis with fast ion beams - Ion Beam Analysis (IBA). In particular a charged particle detector array, consisting of 16 independent charged particle detectors on a single silicon chip is implemented giving an overall solid angle of detection around two orders of magnitude greater than the standard charged particle detectors used in IBA. Sixteen parallel data acquisition channels are implemented using a fully digital approach for nuclear pulse processing. The overall system has an energy resolution equivalent to that of standard detectors. The large amount of data generated is handled in a self-consistent way by spectrum fitting with a simulated annealing algorithm via the NDF DataFurnace. The large solid angles thus achieved are exploited in Rutherford Backscattering Spectrometry (RBS) and ion channelling studies of the topological insulator Bi2Se3 enriched in Fe, in view of studies of the thermo-electric effect, spintronics and quantum computing, and in RBS and Nuclear Reaction Analysis (NRA) studies of organic photovoltaic materials based on tetraphenyldibenzoperiflanthene (DBP) as the photo-absorber and transition metal oxide charge injectors.

Cette thèse porte principalement sur l'étude de modèles de fermions en interactions contenant un couplage spin-orbite. Ces modèles (i) peuvent décrire une classe de matériaux composés d'iridates sur le réseau en nid d'abeille ou (ii) pourraient être réalisés artificiellement dans des systèmes d’atomes froids. Nous avons étudié, dans un premier temps, le système à demi-remplissage avec l'interaction de Hubbard et un couplage spin-orbite anisotrope. Nous avons trouvé plusieurs phases: la phase isolant topologique pour de faibles corrélations, et deux phases avec des ordres magnétiques frustrés, l'ordre de Néel et l'ordre spiral, dans la limite de très fortes corrélations. La transition entre les régimes de faibles et de fortes corrélations est une transition de Mott dans laquelle les excitations électroniques se fractionnent en excitations de charge et de spin. Les charges sont localisées par l'interaction. Le secteur de spin présente de fortes fluctuations qui sont modélisées par un gaz d’instantons. Nous avons ensuite exploré la physique d'un système régi au demi-remplissage par le modèle de Kitaev-Heisenberg, qui présente une phase magnétique de type zig-zag. En dopant le système, autour du quart remplissage, la structure de bande présente de nouveaux centres de symétrie en plus de la symétrie d'inversion. Le couplage de spin de Kitaev-Heisenberg favorise alors la formation de paires de Cooper dans un état triplet autour de ces centres de symétrie. La condensation de ces paires de Cooper autour de ces vecteurs d'onde non triviaux se manifeste par une modulation spatiale du paramètre d'ordre supraconducteur, comme dans la supraconductivité de Fulde–Ferrell–Larkin–Ovchinnikov (FFLO). La dernière partie de la thèse propose et étudie une implémentation des phases topologiques dite de Haldane et de Kane-Mele dans un système avec deux espèces de fermions sur le réseau en nid d'abeille, stabilisée grâce à l’interaction RKKY médiée par l’espèce rapide et qui agit sur l’espèce lente. / This thesis is dedicated largely to the study of theoretical models describing interacting fermions with a spin-orbit coupling. These models (i) can describe a class of 2D iridate materials on the honeycomb lattice or (ii) could be realized artificially in ultra-cold gases in optical lattices. We have studied, in the first part, the half-filled honeycomb lattice model with on-site Hubbard interaction and anisotropic spin-orbit coupling. We find several different phases: the topological insulator phase at weak coupling, and two frustrated magnetic phases, the Néel order and spiral order, in the limit of strong correlations. The transition between the weak and strong correlation regimes is a Mott transition, through which electrons are fractionalized into spins and charges. Charges are localized by the interactions. The spin sector exhibits strong fluctuations which are modeled by an instanton gas. Then, we have explored a system described by the Kitaev-Heisenberg spin Hamiltonian at half-filling, which exhibits a zig-zag magnetic order. While doping the system around the quarter filling, the band structure presents novel symmetry centers apart from the inversion symmetry point. The Kitaev-Heisenberg coupling favors the formation of triplet Cooper pairs around these new symmetry centers. The condensation of these pairs around these non-trivial wave vectors is manifested by the spatial modulation of the superconducting order parameter, by analogy to the Fulde–Ferrell–Larkin–Ovchinnikov (FFLO) superconductivity. The last part of the thesis is dedicated to an implementation of the Haldane and Kane-Mele topological phases in a system composed of two fermionic species on the honeycomb lattice. The driving mechanism is the RKKY interaction induced by the fast fermion species on the slower one.

Nous nous sommes intéressés à la description de la dynamique d'un liquide surfondu en étudiant un modèle qui repose sur un ingrédient simple. En partant d'un système de Lennard-Jones monodisperse dans le plan euclidien, nous avons ajouté de la frustration en courbant le plan de sorte à former une sphère de rayon arbitraire. A l'aide d'un algorithme de dynamique moléculaire sphérique, nous avons montré que ce système présentait bien une dynamique vitreuse d'équilibre, caractérisée par la fonction de diffusion intermédiaire incohérente $F_s(k,t)$, qui ralentit fortement et change de comportement à basse température, pour une faible variation de la statique. Le système se comporte comme un verre fort pour les courbures les plus grandes, mais sa fragilité augmente lorsque la courbure diminue. L'allure de $F_s(k,t)$ est également modifiée quand la courbure diminue, ce que nous avons essayé d'expliquer par l'étude de la théorie de couplages de modes (MCT) sur la sphère. Nous avons dérivé l'équation dynamique de MCT sphérique puis étudié la limite aux temps longs de sa solution. On obtient une transition dynamique qui est similaire à celle de la MCT euclidienne, ce qui ne permet pas d'expliquer l'effet de courbure sur $F_s(k,t)$, bien que celle-ci ait une influence sur la valeur de la température de transition. Enfin, nous nous sommes intéressés au rôle des "défauts", dont un nombre minimal de $12$ est imposé par la topologie. A basse température, les défauts tendent à se réunir en structures linéaires, ce qui est prévu théoriquement et observé dans certaines expériences. Les défauts ont une contribution importante à la relaxation, sans pour autant que l'influence des autres particules ne soit négligeable. / We are interested in the description of the dynamics of a supercooled liquid through the study of a model which relies on a simple geometrical ingredient. Starting from a monodisperse Lennard-Jones system on the euclidean plane, we add frustration by curving the space to form a sphere of arbitrary radius. Using a molecular dynamics algorithm, we showed that this system indeed behaves like a glassy liquid at equilibrium. The dynamics, caracterized by the self-intermediate scattering function $F_s(k,t)$, slows down strongly and changes shape at low temperature, for a small variation of the statics. The system behaves like a strong glass for high curvatures, but its fragility increases when the curvature decreases. The shape of $F_s(k,t)$ is also modified when the curvature decreases, which we tried to explain theoretically through the study of the mode coupling theory (MCT) on the sphere. We derived the dynamical equation of spherical MCT and studied the long time limit of its solution. We predict a dynamic transition similar to the one predicted by euclidean MCT, which does not allow us to explain the effect of curvature on $F_s(k,t)$, though the curvature has an influence on the value of the transition temperature. Finally, we studied the role of "defects", among which a minimal number of $12$ is imposed by topology. At low temperature, the defects tend to form linear structures, as predicted theoretically and observed in some experiments. The defects have a strong contribution in the relaxation; however, the role of other particles is not negligible.

Les propriétés des mousses liquides sont majoritairement gouvernées par les caractéristiques de leurs interfaces liquide/gaz. Nous illustrons ces effets à l'échelle locale par différents exemples : – Les réarrangements topologiques, pendant lesquels les bulles changent de voisines, sont les événements élémentaires à l'origine de propriétés rhéologiques et de stabilité des mousses. En réalisant des expériences sur une assemblée de films dans un cadre cubique, nous avons étudié les mécanismes de formation du nouveau film pour différentes solutions de tensioactifs modifiant les propriétés interfaciales. – L'observation de l'éclatement d'un film de savon unique montre que cette dynamique est ralentie à cause de l'élasticité des interfaces, jusqu'à l'apparition de rides ou de fractures pour une compression critique. – Par des mesures force/déplacement, nous avons montré qu'un radeau de particules se comporte comme un granulaire 2D, qui peut se déformer en-dehors du plan de l'interface, et dans lequel la contrainte peut dépendre de la friction à la paroi. De plus, l'ajout de ponts capillaires entre les particules procure au radeau une meilleure résistance à la traction et à la compression. – En injectant de l'air dans une pâte, nous avons créé des bulles stables dans des conditions permettant l'adsorption des tensioactifs à la surface des particules pour les rendre partiellement mouillantes. En utilisant ce mécanisme dans un système cimentaire, des bulles solides sont alors fabriquées / Properties of liquid foams are mainly governed by the features of liquid/gas interfaces. We illustrate this phenomenon at the local scale through different examples : – Topological rearrangements, i.e. switching of neighboring bubbles, are the elementary process of liquid foams stability and dynamics. Experiments are performed in a cubic assembly of films, in order to investigate the mechanism of creation of the new film for different surfactants solutions and therefore different interfacial properties. – Observation of soap film bursting shows that the dynamics is slowed down because of interfacial elasticity, until wrinkles or cracks appear for a critical compression. – Through strength/displacement measurements, we show that a particle raft behaves as a 2D granular material, which can buckle, and whose stress can depend on wall friction. Moreover, the addition of liquid bridges between particles provides higher compressive and tensile strengths to the raft. – Blowing air into a paste allows creating stable bubbles, when surfactants adsorb at particles surface, modifying their wetting properties. We demonstrate that this method can lead to solid bubbles with a cementitious system

La position centrale occupée par les Théories Quantiques des Champs Topologiques (TQFTs) dans l’étude de la topologie en basse dimension est due à leur structure extraordinairement riche, qui permet différentes interactions et applications à des questions de nature géométrique. Depuis leur première apparition, un grand effort a été mis dans l’extension des invariants quantiques de 3-variétés en TQFTs et en TQFT Étendues (ETQFTs). Cette thèse s’attaque à ce problème dans deux cadres généraux différents. Le premier est l’étude des invariants quantiques semi-simples de Witten, Reshetikhin et Turaev issus de catégories modulaires. Bien que les ETQFTs correspondantes étaient connues depuis un certain temps, une réalisation explicite basée sur la construction universelle de Blanchet, Habegger, Masbaum et Vogel apparaît ici pour la première fois. L’objectif est de tracer la route à suivre dans la deuxième partie de la thèse, où la même procédure est appliquée à une nouvelle famille d’invariants quantiques non semi-simples due à Costantino, Geer et Patureau. Ces invariants avaient déjà été étendus en TQFTs graduées par Blanchet, Costantino, Geer and Patureau, mais seulement pour une famille explicite d’exemples. Nous posons la première pierre en introduisant la définition de catégorie modulaire relative, un analogue non semi-simple aux catégories modulaires. Ensuite, nous affinons la construction universelle pour obtenir des ETQFTs graduées étendant à la fois les invariants quantiques de Costantino, Geer et Patureau et les TQFTs graduées de Blanchet, Costantino, Geer et Patureau dans ce cadre général / The central position held by Topological Quantum Field Theories (TQFTs) in the study of low dimensional topology is due to their extraordinarily rich structure, which allows for various interactions with and applications to questions of geometric nature. Ever since their first appearance, a great effort has been put into extending quantum invariants of 3-dimensional manifolds to TQFTs and Extended TQFTs (ETQFTs). This thesis tackles this problem in two different general frameworks. The first one is the study of the semisimple quantum invariants of Witten, Reshetikhin and Turaev issued from modular categories. Although the corresponding ETQFTs were known to exist for a while, an explicit realization based on the universal construction of Blanchet, Habegger, Masbaum and Vogel appears here for the first time. The aim is to set a golden standard for the second part of the thesis, where the same procedure is applied to a new family of non-semisimple quantum invariants due to Costantino, Geer and Patureau. These invariants had been previously extended to graded TQFTs by Blanchet, Costantino, Geer an Patureau, but only for an explicit family of examples. We lay the first stone by introducing the definition of relative modular category, a non-semisimple analogue to modular categories. Then, we refine the universal construction to obtain graded ETQFTs extending both the quantum invariants of Costantino, Geer and Patureau and the graded TQFTs of Blanchet, Costantino, Geer and Patureau in this general setting

La matière condensée moderne porte un intérêt particulier pour la classe de matériaux formée par les isolants topologiques. Ils sont différents des isolants typiques par leurs intéressantes propriétés quantiques; ils se comportent comme des isolants dans leur intérieur, mais contiennent des états conducteurs sur leur surface. On peut mieux comprendre le comportement de certains systèmes en matière condensée, tel que les chaînes de polyacétylène, en étudiant un système unidimensionnel simple : le modèle de Su-Schrieffer-Heeger (SSH). Le modèle SSH décrit des fermions sans spin sautant sur un réseau unidimensionnel où les amplitudes de saut alternent d’un site à l’autre. Ce modèle, bien que simpliste, expose les propriétés clés des isolants topologiques tel que les états délocalisés dans tout le réseau ainsi que les états exponentiellement localisés aux frontières du réseau. Dans ce projet, nous étudions le modèle SSH, mais en ajoutant un défaut central dans le réseau qu’on appelle un soliton. Dans notre cas, le soliton consiste en un site central donc les amplitudes de saut sont les mêmes d’un côté et de l’autre. Nous trouvons un ensemble de solutions complet incluant des états de basse énergie localisés aux frontières ainsi que des états de haute énergie localisés au soliton. / Topological insulators are a class of materials that have attracted much attention in modern condensed matter. They are different from typical insulators as they exhibit interesting quantum properties; they behave as insulators in their interior but have conducting states on their surface. We can better understand the properties of low dimensional condensed matter systems (like poly-acetylene chains) by studying a toy model known as the Su-Schrieffer-Heeger (SSH) Model. The SSH model describes spinless fermions hopping on a one-dimensional lattice with staggered hopping amplitudes. Such a toy model exhibits key properties of topological insulators, such as bulk states (delocalized states across the lattice) and edge states (exponentially localized states at the boundaries of the lattice). In this project, we study the SSH model with an added central defect to the chain, which we call a soliton. In our case, the soliton consists of a central site with the same hopping amplitude on either side. We study the impact of such a defect on the properties of the system; we find a complete set of solutions including near-zero-energy edge states as well as high-energy states localized at the soliton.

Les signatures de l’existence des phonons sont omniprésentes dans les propriétés des matériaux. En première approximation, on peut scinder l'effet des phonons sur la structure électronique en deux contributions. D’une part, l'interaction électron-phonon capture la réponse électronique aux vibrations des noyaux du cristal, et d’autre, l'énergie libre de la population de phonons modifie le volume cristallin à l’équilibre. En plus d'être responsables de la dépendance en température de la structure électronique, ces deux mécanismes affectent les niveaux d'énergie à température nulle, à travers le mouvement du point zéro et l'énergie du point zéro. Cette thèse analyse l’apport de ces deux mécanismes à la renormalisation du point zéro (ZPR) de l'énergie de la bande interdite des semi-conducteurs. Une généralisation du modèle de Fröhlich prenant en compte l'anisotropie et les dégénérescences présentes dans les matériaux réels révèle que l'interaction non adiabatique entre les électrons et les noyaux domine le ZPR dans les matériaux polaires. La prise en compte de ce mécanisme dans l'évaluation de l'interaction électron-phonon est déterminante pour reproduire adéquatement les données expérimentales. L'approche développée par Grüneisen, qui néglige communément les effets du point zéro, reproduit la dilatation du point zéro du réseau (ZPLE) et sa contribution au ZPR obtenues avec la méthode standard basée sur la minimisation de l'énergie libre à moindre coût numérique, y compris pour les matériaux anisotropes. La contribution du ZPLE au ZPR total, qui a reçu peu d'attention dans la littérature, peut atteindre de 20% à plus de 80% de la contribution de l'interaction électron-phonon, y compris dans des matériaux constitués de noyaux légers. Elle domine même le ZPR du GaAs dans le contexte de la DFT semi-locale. Il est donc essentiel de traiter les deux contributions sur le même pied d'égalité pour modéliser le ZPR avec précision. L'inclusion du couplage spin-orbite (SOC) diminue le ZPR d'un ensemble substantiel de matériaux cubiques de structure zinc-blende, diamant et rock-salt. L'essentiel de cette variation tire son origine de l'effet du SOC sur les énergies électroniques statiques, qui provient en grande partie de la variation des masses effectives des bandes de valence au point \(\Gamma\). La réduction du ZPR peut être estimée à partir d'un modèle de Fröhlich généralisé auquel on a introduit le SOC. Les subtilités numériques liées au traitement de la séparation de Dresselhaus dans les matériaux non centrosymétriques sont discutées. On démontre enfin comment l'effet combiné de l'interaction électron-phonon et de la dilatation thermique affecte le diagramme de phase topologique du BiTeI. L'augmentation de la température repousse l'apparition de la phase d'isolant topologique \(\mathbb{Z}_2\) vers des pressions plus élevées et élargit la plage de pressions correspondant à la phase intermédiaire de type semi-métal de Weyl. Le caractère orbital dominant des extrema de bande influence significativement leur sensibilité à la pression et au changement de topologie. Pour guider la recherche expérimentale de phases topologiquement non triviales dans les matériaux de façon adéquate, les études numériques doivent donc considérer l'effet de la température. / Phonon signatures are ubiquitous in material properties. At first order, the effect of phonons on the electronic structure can be split into two contributions. On the one hand, the electron-phonon interaction captures the electronic response to the vibrations of the nuclei. On the other hand, the free energy of the phonon population modifies the crystalline volume at equilibrium. In addition to driving the temperature dependence of the electronic structure, these two mechanisms affect the energy levels at zero temperature through zero-point motion and zero-point energy. This thesis investigates the contribution of these two mechanisms to the zero point renormalization (ZPR) of the band gap energy of semiconductors. A generalized Fröhlich model taking into account the anisotropy and degeneracies occurring in real materials reveals that the non-adiabatic interaction between electrons and nuclei dominates the ZPR in polar materials. Taking this mechanism into account when evaluating the electron-phonon interaction is crucial to reproduce experimental data adequately. The Grüneisen formalism, which commonly neglects zero-point effects, reproduces the zero-point lattice expansion (ZPLE) and its contribution to the ZPR obtained from the standard method based on free energy minimization at lower numerical cost, including for anisotropic materials. The ZPLE contribution to the total ZPR, which has received little attention in the literature, can reach from 20% to more than 80% of the contribution of the electron-phonon interaction, including in materials containing light atoms. It even dominates the ZPR of GaAs within semilocal DFT. Therefore, both contributions should be treated on an equal footing to model the ZPR accurately. The inclusion of spin-orbit coupling (SOC) decreases the ZPR of a substantial set of cubic materials of zincblende, diamond and rocksalt structure. This variation originates mostly from the effect of SOC on the static electronic eigenvalues, which comes largely from the variation of the effective masses of the valence bands at the \(\Gamma\) point. The reduction of the ZPR can be estimated from a generalized Fröhlich model in which SOC has been introduced. Numerical subtleties related to the treatment of Dresselhaus separation in non-centrosymmetric materials are discussed. We finally show how the combination of electron-phonon interaction and thermal expansion affects the topological phase diagram of BiTeI. An increase in temperature pushes the \(\mathbb{Z}_2\) topological insulator phase towards higher pressures and widens the pressure range corresponding to the Weyl semi-metal intermediate phase. The leading orbital character of the band extrema significantly influences their sensitivity to variations in pressure and topology. To adequately guide the experimental search for topologically non-trivial phases in materials, numerical studies must therefore consider the effect of temperature.

Cette thèse présente plusieurs aspects de l'interaction entre la physique des hautes énergies et la cosmologie. Elle étudie en détail les prédictions d'une classe de théories de physique des particules au-delà du Modèle Standard concernant la formation des défauts topologiques (cordes cosmiques en particulier). Ce cadre de travail permet aussi de définir des modèles d'inflation bien motivés qui sont eux aussi étudiés. Dans le cadre des théories de Grande Unification supersymétrique, on construit une classe de modèles en accord avec la phénoménologie de la physique des particules et les observations de la cosmologie. Ces modèles doivent en particulier être en accord avec les mesures sur la durée de vie du proton, doivent expliquer les oscillations des neutrinos, et l'asymétrie matière/antimatière. Une phase d'inflation hybride doit, par ailleurs, permettre de résoudre les problèmes de la cosmologie. Dans ce cadre motivé, la généricité de la formation des cordes cosmiques est démontrée. Ces cordes sont stables et génériquement formées à la fin de la dernière phase d'inflation. Cela montre qu'elles sont très massives et ont un rôle potentiellement important dans la génération des fluctuations de température du fond diffus cosmologique. Comme les observations cosmologiques indiquent une rôle faible voire négligeable, cela contraint fortement les modèles théoriques. <br /><br />Une étude de la contribution relative de ces cordes cosmiques aux anisotropies de température pour les deux modèles standards d'inflation hybride supersymétrique permet de montrer qu'ils sont tous deux en accord avec les observations, contrairement à ce que l'on pensait. Les contraintes fortes sur la contribution admissible des cordes aux CMB se traduisent alors en contraintes fortes sur tous les paramètres des modèles inflationnaires : constantes de couplage et échelle d'énergie de l'inflation. A la lumière de ces nouvelles contraintes, il devient possible de s'exprimer quant à l'aspect naturel de ces théories. On montre ainsi qu'ils souffrent de la nécessité d'ajuster finement leurs constantes de couplage : ceci est définitivement reconnu comme non naturel.<br /><br />La contrainte sur la phase inflationnaire est aussi étudiée du point de vue de l'extraction de ses paramètres à partir des données d'expériences futures d'observation de la polarisation du CMB. Des outils statistiques permettant de mesurer les paramètres cosmologiques et d'estimer l'erreur sur ces estimations sont numériquement implémentés. L'effet de lentille gravitationnelle sur ces outils est ensuite étudié analytiquement et numériquement. Cela permet de valider l'approximation usuelle qui consiste à négliger l'effet de lentille sur la non gaussianité des données du CMB, à travers leur fonction de corrélation à quatre points.

Les théories de grande unification (GUT) impliquent des transitions de phase dans l'Univers primordial, qui pourraient donner naissance à des défauts topologiques, parmi lesquels on trouve des monopôles magnétiques. Les principales caractéristiques de ces monopôles sont présentées, notamment leurs pertes d'énergie dans la matière et les limites sur leur flux. Les télescopes à neutrinos de haute énergie offrent une nouvelle opportunité pour leur recherche. L'étude du traitement des impulsions des photomultiplicateurs par l'électronique de lecture du détecteur Antares indique que celle-ci est bien adaptée aux besoins du télescope. L'analyse détaillée des impulsions permet d'obtenir une précision finale sur la mesure temporelle inférieure à 0.6 ns et le bruit électronique et la saturation ont peu d'effet sur les performances du télescope. Les monopôles relativistes émettent une grande quantité de lumière qui conduit à une surface effective de détection pour le télescope Antares allant de 0.06 km2 pour des vitesses beta_mon = 0.6, à 0.35 km2 pour des vitesses beta_mon ~ 1. La trace des monopôles est bien reconstruite et la détermination de leur vitesse est faite avec une erreur inférieure à quelques pourcents, ce qui constitue un élément déterminant pour le rejet du bruit de fond causé par les muons de haute énergie, de vitesse beta_mu ~ 1. L'émission lumineuse très dispersée des monopôles en dessous de la limite Tcherenkov, 0.6 < beta_mon < 0.74, via les delta-électrons d'ionisation, ne permet pas une caractérisation précise du signal attendu et le rejet des muons mal reconstruits doit être amélioré. Au delà de la limite Tcherenkov, beta_mon > 0.8, les muons mal reconstruits peuvent être rejetés grâce à la paramétrisation de l'émission Tcherenkov. Le signal d'un monopôle magnétique se distingue alors clairement du bruit de fond.

Ces travaux s'inscrivent dans le projet MGS qui étudie l'apport de notions topologique dans les langages de programmation. Nous étudions et développons les notions de collection topologique (un ensemble de valeurs muni d'une relation de voisinage) et de transformation (une fonction définie par des règles de réécriture utilisant la notion de voisinage). Ces notions apportent un point de vue unifié sur les structures de données, une extension de la définition des fonction par cas et un cadre alternatif à la notion de polytypisme, sans se limiter aux types de données algébriques. Dans cette thèse, nous développons : -un algorithme générique de filtrage ; -un schéma d'évaluation d'ordre supérieur ; -un système de types traitant les collections hétérogènes, les transformations polytypiques et doté d'inférence automatique ; -l'utilisation du typage pour la compilation ; -de nombreux exemples validant la pertinence des choix effectués.