Dans le développement des technologies microélectroniques, l’analyse de défaillance permet par l’étude des mécanismes de défaillance potentiels de définir des solutions correctives. La mise en œuvre des techniques de localisation et d’observation des défauts requiert une méthodologie, dont l’étape clé est la préparation d’échantillons. Celle-ci doit continuellement évoluer pour s’adapter aux innovations technologiques qui introduisent de nouveaux matériaux, et augmentent la complexité des composants assemblés. Cette thèse s’est intéressée à la méthodologie de préparation d’échantillons pour l’analyse de défaillance de deux familles de produits : les produits discrets et IPAD, et les micro-batteries. Pour les produits discrets et IPAD, une optimisation de la méthodologie existante a été réalisée en intégrant de nouvelles approches, développées pour résoudre des cas jusqu’alors en échec. Pour les micro-batteries, les matériaux utilisés et leur architecture ont nécessité une remise en question complète de la méthodologie de préparation d’échantillon. / In the development of microelectronic technologies, the failure analysis makes it possible to define corrective actions thanks to the understanding of the failure mechanism. In order to define the most adequate localization and observation techniques to use, a failure analysis flow is required. The sample preparation is a key step of this flow. This flow must continuously evolve to take into account the technological innovations that introduce new materials, and increase the complexity of assembled components. This work concerned the sample preparation flow for the failure analysis of two product families : the discrete products and IPAD, and the micro-batteries. Concerning the discrete products and the IPAD, an optimization of the current flow was performed with the integration of new approaches developed to solve failed cases. For the micro-batteries, the used materials and their architecture required an entire reappraisal of the sample preparation flow.

Un mur de soutènement en pierre sèche (MSPS) est un ouvrage vernaculaire construit par empilement de blocs rocheux sans liant. Ce type de mur a fortement sculpté les campagnes françaises mais a aussi été utilisé par le passé dans des ouvrages de soutènement que ce soit routier ou ferroviaire. Pourtant, l’utilisation de cette technologie a disparu au cours du 20e siècle au profit de solutions industrialisées comme le béton armé. Face à ce patrimoine vieillissant, il est très difficile de proposer des protocoles de réparation alors que la réglementation associée à ces ouvrages est inexistante. Pour les mêmes raisons, alors que cette technologie répond parfaitement aux questions soulevées par le développement durable, elle est rarement envisagée ou retenue par les prescripteurs. La rupture des MSPSs neufs peut apparaître à cause de : (1) une poussée excessive du remblai soutenu par le mur, (2) un effort concentré excessif présent sur la surface du remblai et proche de la tête du mur. Ces deux causes induisent deux types de rupture très différents, respectivement : (1) rupture en déformation plane, (2) rupture par apparition d’un ventre. Trois expériences récentes à l’échelle 1 des MSPSs chargés par : (1) une poussée hydrostatique, (2) un remblai, (3) un remblai avec une force concentrée sur la surface de ce dernier, ont permis d’identifier certains phénomènes mis en jeu dans ces ruptures. Ce travail de thèse contribuera alors au développement de nouveaux outils scientifiques mais aussi à valider des outils existants pour dimensionner les MSPSs. Les expériences réalisées à l’échelle 1 serviront alors de cadre à ce travail pour valider les outils développés. Nous avons choisi d’utiliser une approche aux éléments discrets (MED) où chaque bloc de pierre du mur est modélisé individuellement, respectant ainsi la nature-Même de l’ouvrage réel. Dans un premier temps, une rupture de type déformation plane est modélisée par une approche discrète pure et une approche discrète-Continue. Les atouts et inconvénients de chacune des méthodes sont mis en avant. Une validation quantitative des modèles numériques est faite en comparant la hauteur critique de chargement avec les expériences à l’échelle 1. Ensuite, on étudie la sensibilité de plusieurs paramètres géométriques et mécaniques sur la hauteur critique de chargement, tout comme l’influence de la cohésion du remblai. Enfin, une première modélisation 3D de type qualitative sur la rupture des MSPS par un chargement concentré en surface du remblai est présentée. Les problèmes de modélisation sont soulevés et l’influence de la forme des blocs dans le processus de rupture est étudiée. / A dry-Stone retaining wall (DSRW) is a vernacular structure constructed by stacking the stone blocks without using any binder. In the past, this wall has been extensively used, shaping the French countryside area, built either for road or railroad retaining wall. However, the use of this technology has disappeared during 20th century, due to the emergence of more industrialized materials such as reinforced concrete. Confronted by these ageing heritage structures, it is very difficult to propose a proper reparation procedure since the building codes associated with this structure are nonexistent. For the same reason, though this technology perfectly answers the questions raised by the concept of sustainable development, in practice this structure is rarely considered or used by the engineering advisors. The failure of the newly built DSRWs can be attributed to the following reasons: (1) an excessive pressure of backfill retained by the wall, (2) a presence of an excessive concentrated load on the backfill surface, close to the top part of the wall. These two types of loading lead to two very different types of failure, respectively: (1) plane strain failure, (2) bulging failure. Three recent experimental campaigns of DSRWs loaded with: (1) hydrostatic pressure, (2) backfill, (3) backfill with a concentrated on its surface, provided a better understanding of phenomena involved in these failures. The work presented in this PhD thesis contributes to the development of new scientific tools capable to help design the DSRWs, as well as validating existing tools. The recent full-Scale experimental campaign will serve as a basis to the validation of the developed numerical tools. We have chosen to use a discrete element method (DEM) where each stone block of the wall is modeled individually, complying with the nature of real DSRW. In the first place, the plane strain failure is modeled by a purely discrete approach and a discrete-Continuum approach. The advantage and inconvenient of each method will be presented in advance. A quantitative validation of numerical models is provided by comparing the critical height of loading with results derived from the full-Scale experimental campaign. Thereafter, a 3D qualitative model of DSRWs loaded with a concentrated load on the backfill surface is presented. The modeling problem is noted and the influence of the block form in regards of the related failure mechanism is studied.

La présente thèse doctorale traite de la formulation et l'évaluation élément fini d'un model variationel de Mindlin discret et modifié pour l'analyse du comportement statique et dynamique, linéaire et non linéaire des plaques et coques composites. Incluant des termes additionnels de type zigzag, en vue d'améliorer la précision de contraintes, le modèle a été reformulé afin de prendre en considération la variation linéaire par couche du déplacement. En conséquence, deux éléments finis de plaques et coques à quatre nœuds, baptisés respectivement DMQP et DMQS (Discret Mindlin Quadrilateral Plates/ Shells), améliorés par un champ de rotations quadratique ont été développés et validés sur les codes de calcul REFLEX et ABAQUS. Dans une seconde version, les deux éléments avec un effet de zigzag ont été développés et validés à travers quelques tests statiques et dynamiques connus de la littérature. Les résultats montrent une indépendance vis-à-vis de la correction du cisaillement transverse et une précision des contraintes meilleure à celle obtenue par rapport le modèle initial (sans l'effet de zigzag).Les résultats satisfaisants de ce modèle constatés à travers les cas-tests linéaires de coque isotropes, nous ont motivés à étendre la présente approche aux applications non-linéaires géométriques. Un élément isoparamétrique courbe de coque a été développé à cet effet, avec l'hypothèse des petites déformations élastiques et grands déplacements et rotations modérées. Il est géométriquement simple et ne possède que quatre nœuds aux sommets et 6 ddl/nœud. Le calcul élémentaire de la matrice de rigidité tangente consiste à associer la partie linéaire du modèle de coque courbe (DMQS) avec celle non linéaire de l'élément standard Q4 de membrane. Une formulation lagrangienne actualisée à chaque itération (FLAI) a été utilisée avec la méthode de résolution de Newton-Raphson. Quelques tests standards non-linéaires des structures coques sont présentés, ils montrent un très bon comportement global et une convergence meilleure que celle d'éléments pareils. / This doctoral thesis deals with the finite element formulation and evaluation of a modified Mindlin's discrete variational model for static, dynamic, linear and non-linear composite plates and shells analysis. Including additional terms of zigzag type, in order to improve the accuracy of stress, the model has been reformulated to take into account the linear picewise of displacement variation. Consequently, two finite plate and shell elements with four nodes, called DMQP and DMQS (Discrete Quadrilateral Mindlin Plates and Shells respectively), enhanced by quadratic field rotations, have been developed and validated under REFLEX and ABAQUS codes.Both elements including the zigzag effect have been also developed in a second version, and validated through several static and dynamic test problems known from the literature, highlighting the independence towards the transverse shear correction and in particular the stress accuracy with respect to the initial model without the zigzag effect.The satisfactory results of this model found through cases of linear isotropic shell tests, motivated us to extend this approach to the non-linear geometric applications. An isoparametric curve element of shell has been developed for this purpose, where small elastic deformation assumptions of and large displacements and moderate rotations are adopted. It is geometrically simple and has only four nodes at corners and 6 DOF/node. The elementary calculation of the tangent stiffness matrix consists in combining the linear part of the curved shell element (DMQS) with that of the membrane Q4 non-linear part. An Updated Lagrangian Formulation at each Iteration (ULFI) is used with Newton-Raphson resolution Method. Some standard tests of nonlinear geometrical shell structures are presented; they show a very good convergence and global behavior better than such elements.

Cette thèse comporte trois volets indépendants en cryptographie, en théorie de Hodge p-adique et en analyse numérique.La première partie consiste en l'étude d'algorithmes performants de résolution du logarithme discret. La résolution du logarithme discret consiste à déterminer les exposants d'une famille fixée de générateurs dans la décomposition des éléments du groupe. Dans le cas des groupes multiplicatifs d'un corps fini, la complexité des calculs dépendent de la taille - dite de petite, moyenne ou grande caractéristique- de la caractéristique du corps dans lesquels on effectue les calculs.Nous présentons différents algorithmes dans chacune des caractéristiques (petite, moyenne ou grande) en précisant quel est l'algorithme le plus performant dans chacun des cas.La seconde partie s'inscrit dans le contexte du programme de Langlands p-adique. Nous présentons une généralisation de l'un des outils centraux de la théorie, les modules de Breuil-Kisin, en plusieurs variables La troisième partie est un travail effectué en collaboration avec Victor Vilaça Da Rocha, Roberta Tittarelli, Richard Sambilason Rafefimanana, Victor Michel-Dansac et Benjamin Couéraud. Il a été initié lors de la treizième SEME, Semaine d'Etudes Maths Entreprises organisée par l'Agence pour les Mathématiques en Interaction avec l'Entreprise et la Société (AMIES).L'Institut Français du Pétrole et des Energies Nouvelles nous a soumis un problème de résolution numérique d'un système d'équations modélisant la désorption d'un gaz de schiste en une dimension.Nous proposons plusieurs schémas du premier ordre recourant à un traitement implicite de l'équation de relaxation. Enfin nous présentons un schéma numérique d'ordre deux en temps. / In this thesis, we present three independent works in cryptography, p-adic Hodge theory and Numerical analysis.First we present several algorithms to solve the discrete logarithm in several characteristic finite fields. We are particularly interested with the determination of classes of polynomial functions with small coefficients.The second part of the thesis deals with one of the major object of p-adic Hodge theory. We present a multi-variable version of Breuil-Kisin modules where the Lubin-Tate tower replaces the classical cyclotomic tower. He third proposes two numerical schemes for the modelisation of desorption of shale gaz.

Le problème du logarithme discret est une brique fondamentale de nombreux protocoles de communication sécurisée. Son instantiation sur les courbes elliptiques a permis, grâce à la petite taille des opérandes considérées, le déploiement de primitives asymétriques efficaces sur des systèmes embarqués. De nos jours, les cryptosystèmes utilisant des courbes elliptiques, aussi appelées courbes de genre 1, sont déjà intensément utilisés: il est donc impératif de savoir estimer précisément la robustesse de ces systèmes. L'existence d'attaques mathématiques permettant de transférer un problème de logarithme discret elliptique dans un autre type de courbe algébrique, et la nouvelle compétitivité des courbes de genre 2 imposent de ne pas se restreindre à la seule compréhension du problème sur les courbes elliptiques.Dans cette optique, le sujet de cette thèse se concentre sur les attaques algébriques sur les courbes de genre supérieur à 1. Les algorithmes de type calcul d'indice sont en général préférés pour ce genre d'attaque. Ces algorithmes se déroulent en deux phases: la première, appelée phase de récolte, dispose de nombreuses modélisations algébriques dépendant de la courbe ciblée. Le problème sous-jacent revient à savoir décomposer efficacement des points dans la variété Jacobienne de la courbe en somme d'autres points.On propose dans un premier temps une approche par crible pour la phase de récolte, s'adaptant à tous les types de courbes de genre plus grand que 1, et qui est expérimentalement plus efficaces que les méthodes de l'état de l'art. Cette méthode a l'avantage de proposer une implémentation immédiate, et évite les problèmes usuels de gestion des relations obtenues.Ensuite, on se concentre les variantes de calcul d'indice appelées attaques par décomposition, et ciblant les courbes définies sur des extensions de corps. Dans cette situation, la phase de récolte est effectuée par résolution de nombreux systèmes polynomiaux multivariés. On propose une nouvelle approche de modélisation de ces systèmes, en généralisant la notion de polynômes de sommation elliptique à tout les types de courbes algébriques. Pour cela on fait appel à la théorie de l'élimination, tandis que l'aspect pratique est gérée par des méthodes de bases de Gröbner.Enfin, on fournit des algorithmes d'amélioration du processus de résolution des systèmes lorsque la caractéristique du corps de base est paire. Par le biais d'une présentation théorique générale et en utilisant des méthodes de bases de Gröbner, on propose une analyse fine de l'impact de ces améliorations sur la complexité de la résolution. Cette analyse fine, ainsi qu'une implémentation dédiée, nous permettent d'attaquer une courbe de genre 2 satisfaisant des bornes de sécurité réaliste en pratique. / The discrete logarithm problem is a fundamental brick for several protocols for secured communications. Its instantiation over elliptic curves allows the deployment of efficient asymmetric primitives in embedded systems, because of the small size of the parameters considered. Nowadays, elliptic curves cryptosystems are already widely used: it is therefore crucial to precisely understand the hardness of such systems. Because of the existence of mathematical attacks enabling the transfer from an elliptic curve discrete logarithm problem to another algebraic curve, and the upcoming competitivity of genus 2 curves, it is mandatory to study the problem not only for elliptic curves, but for the other curves as well.In this way, this thesis focuses on the algebraic attacks over curves with genus greater than 1. The index calculus family of algorithms is in general preferred for this kind of attacks. Those algorithms run in two phases: the first, called harvesting phase, can be modelled by different algebraic approaches, depending in the targetted curve. The underlying problem amounts to knowing how to decompose efficiently points in the Jacobian variety of the curve into sums of other points.First, we propose a sieving approach to the harvesting, that can be adated to any type of curves with genus greater than 1, and which turns to be experimentally more efficient than state-of-the-art's methods. Moreover, our method allows a close-to-immediate implementation, and avoid complications coming from relations management.Our second focus is on a variant of index calculus called decomposition attack, targetting curves defined over field extensions. In this situation, harvesting is done by solving numerous multivariate polynomial systems. We propose a new approach to this modelling by generalizing the notion of elliptic summation polynomias to any type of algebraic curves. This uses elimination theory, and the computational aspect is handled by Gröbner bases methods.Third, we give algorithms to improve the solving process of the systems arising from a decomposition attacks when the characteristic of the base field is even. By mean of a general theoretical presentation, and using Gröbner bases methods, we give a sharp analysis of the impact of such improvement on the complexity of the resolution process. This sharp analysis together with a dedicated implementation allows us to attack a genus 2 curve satisfying realistic security parameters.

Cette thèse vise à établir un système informatique permettant le calcul de structures musicales, leurs représentations/manipulations à un niveau compositionnel, ainsi que leurs diffusions interactives. Elle constitue une étude à la croisée de multiples domaines informatiques : la modélisation des systèmes discrets, l'ordonnancement, la conception logicielle ou encore les interfaces homme-machine. Nous proposons une architecture dans laquelle la modification des programmes peut affecter leurs sorties, y compris durant la phase de restitution, tout en conservant les avantages compositionnels d'une approche temps-différé. Nous introduisons également de nouveaux outils pour planifier leur exécution grâce à la conception de scenarios dynamiques, que nous appelons la meta-composition. Les mécanismes de calcul et de restitution sont entremêlés : la restitution peut être affectée par des calculs qu'elle a elle-même déclenchés. Les différents résultats décrits dans ce manuscrit sont implantés dans le logiciel de composition OpenMusic, qui peut alors modéliser les ¿uvres à la fois comme des structures musicales et comme des programmes en continuelle exécution. / This thesis aims at designing a computer system enabling the computation of musical structures, their presentation/handling on a compositional side, and their interactive rendering. It is a study at the crossroads between several computer science research fields : discrete systems modeling, scheduling, software design and human-computer interfaces. We propose an architecture where program editing can affect their outputs, including during the rendering phase, while preserving the compositional benefits of a deferred-time approach. Compositions are therefore considered as continually running programs, where computation and rendering mechanisms are interleaved. We introduce new tools and interfaces to arrange their execution through time thanks to dynamic temporal scenario scripting, which we call meta-composing. The different results described in this manuscript are implemented in the computer-aided composition environment OpenMusic.

**Introduction** : Plusieurs approches ont été développées pour impliquer les patients et le public dans le processus de prise de décision de l'évaluation des technologies en santé (HTA, health technology assessment en anglais). Cependant, obtenir une participation optimale des patients et du public dans les activités de HTA représente un défi requérant une recherche de nouvelles solutions. La méthode des choix discrets (DCE, Discrete Choice Experiment en anglais) est une approche qui mesure quantitativement les préférences pour les attributs d'une intervention, prédéfinis par la population cible de l'intervention. L'intérêt d'utiliser le même instrument pour mesurer les préférences de deux populations cibles-clés, les patients et les décideurs, à l'égard d'une intervention, n'a jamais été exploré. **Objectif de la thèse** : L'objectif principal de cette thèse était d'évaluer la faisabilité de l'élaboration et de l'administration d'un instrument DCE commun aux bénéficiaires et aux décideurs politiques. En outre, elle visait à étudier la perception des décideurs quant à la valeur ajoutée de l'utilisation d'un tel instrument pour soutenir la participation des patients et du public dans les décisions liées à la fourniture de services de santé à la population. **Méthodologie :** Pour atteindre les objectifs, quatre études consécutives ont été menées en utilisant un cas traceur, soit l'ajout de tests à un programme de dépistage des anomalies fœtales. La première étude porte sur l'analyse systématique de la littérature. Cette étude a été réalisée pour explorer l'état de l'utilisation de l'approche DCE dans les études sur le dépistage prénatal d'anomalies chromosomiques fœtales. L'extraction des données a porté sur les attributs utilisés dans les études DCE sur des programmes de dépistage prénatal. La deuxième étude vise à élaborer un instrument DCE de mesure commun aux bénéficiaires et décideurs politiques. L'instrument vise à pouvoir mesurer des niveaux de préférence de la part des femmes enceintes et des décideurs politiques pour un nouveau test de dépistage. Une troisième étude a été réalisée à l'aide de l'instrument auprès d'un échantillon représentatif de femmes enceintes et de décideurs. Finalement, une étude qualitative a été menée pour évaluer les perceptions des décideurs des comités scientifiques d'une agence d'évaluation des technologies en santé, concernant la valeur ajoutée de l'approche DCE pour leurs processus décisionnels. **Résultats :** La recherche montre qu'il est possible d'élaborer et d'utiliser un instrument DCE unique qui peut être administré à la fois aux femmes enceintes et aux décideurs politiques, bien qu'une validation complète de l'instrument ait été entravée par le nombre limité de décideurs politiques dans la juridiction de santé où l'étude a été menée. L'administration de l'instrument DCE aux deux groupes cibles a révélé des disparités significatives dans la manière dont ces deux groupes évaluent les attributs d'une nouvelle intervention de dépistage prénatal. Enfin, l'étude qualitative suggère que l'intérêt principal d'un instrument DCE commun est qu'il peut servir d'outil de sensibilisation aux éventuels préjugés inconscients découlant des intérêts personnels et des perspectives disciplinaires des décideurs politiques. **Conclusion :** L'élaboration et l'administration d'un instrument DCE commun aux patients et aux décideurs politiques demandent beaucoup de temps et de ressources. Cela peut limiter l'utilisation d'un tel instrument dans les études sur les préférences en matière de santé auprès de différentes parties prenantes concernées par une nouvelle intervention. Toutefois, un instrument DCE commun peut contribuer à sensibiliser des décideurs aux préjugés inconscients qui peuvent les conduire à négliger le point de vue des patients. / **Introduction**: A variety of approaches have been developed to involve patients and the public in the decision-making process of health technology assessment (HTA), however, obtaining an optimal patient and public participation is challenged. A need for new solution to support more effective patient and public participation in HTA activities is therefore warranted. Discrete Choice Experiment (DCE) is an approach that quantitatively measures preferences for attributes of an intervention, predefined by the intervention's target population. The value of using the same instrument to measure preferences for an intervention felt by two key target populations, patients and policymakers, has never been explored. **Objective**: The main objective of this thesis was to evaluate the feasibility of developing and administering a common DCE instrument for both beneficiaries and policymakers. Additionally, it aimed to investigate the added value of using such an instrument to support the participation of patients and the public in decisions related to the delivery of healthcare services to the population. **Methodology**: To reach the objectives, four consecutive studies were carried out on a tracer case, the addition of tests to a fetal anomaly screening program. A systematic literature review was first conducted to explore the state of use of DCE in studies related to prenatal screening for fetal chromosomal anomalies. The review explored the attributes used in DCE studies on prenatal screening program. A common DCE instrument development study was then conducted. The instrument aimed at eliciting preference levels from both pregnant women and policymakers. A third study was carried out with the developed instrument among a representative sample of pregnant women and policymakers. Finally, a qualitative study was conducted to evaluate the perceptions of policymakers at HTA scientific committees regarding the added value of the DCE approach in their decision-making processes. **Results**: The research shows that it is feasible to develop and use a single DCE instrument that can be administered to both pregnant women and policymakers, although a full validation of the instrument was hampered by the limited pool of policymakers in the health jurisdiction where the study was conducted. The administration of the developed DCE instrument to both target groups revealed significant disparities in how these two groups assess attributes related to their preferences for the new prenatal screening intervention. Finally, the qualitative study suggests that the main interest for a common DCE instrument is that it can serve as a tool for raising awareness of potential unconscious biases stemming from policymakers' personal interests and disciplinary perspectives. **Conclusion**: Developing and administrating a common DCE instrument for patients and policymakers is time-consuming and resource intensive. This may limit the use of such an instrument in health preference studies of different stakeholder groups for a new intervention. However, a common DCE instrument can help raise awareness of unconscious biases that may lead to the neglect of patient perspectives in the value assessments of new health interventions by HTA agencies.

Différentes méthodes sont proposées pour estimer la demande d'électricité conditionnelle au mode de chauffage. Un modèle logit mixte GAR(1) avec hétérogénéité est utilisé pour estimation le modèle de choix du mode de chauffage. Comme la tarification de l'électricité entraîne une endogénéité du prix marginal, un modèle à classes latentes est proposé et son estimation est faite selon une approche classique ou une approche bayésienne. Puisque le ménage choisit son mode de chauffage pour plusieurs années, nous captons l'aspect dynamique à partir de données d'enquêtes indépendantes en utilisant deux approches. D'abord, nous créons des pseudo-panels composés de cohortes et nous estimons la demande d'électricité par les moindres carrés quasi-généralisés et par l'algorithme de l'échantillonnage de Gibbs. Ensuite, nous créons un panel simulé avec lequel nous estimons la demande d'électricité conditionnelle en combinant l'algorithme de l'augmentation des données et l'échantillonnage de Gibbs.

Les mémoires non-volatiles Flash sont aujourd'hui un élément clé du développement de l'électronique portable demandant de plus en plus de capacité de stockage à bas coût (netbook, téléphones mobiles, PDA, clé USB...). Afin d'assurer son maintien pour les années à venir, il est nécessaire de poursuivre l'amélioration de cette technologie. Ainsi, l'intégration de matériaux à forte permittivité électrique (appelés : High-k) et l'utilisation de mémoires à couche de piégeage discret sont de plus en plus envisagées. Le travail de cette thèse s'inscrit dans ce contexte. Il comprend tout d'abord une étude électrique (charge fixe, piégeage, courants de fuite...) de matériaux High-k (HfO2, HfAlO, Al2O3, HfSiON) en vue de leur intégration dans les mémoires non-volatiles. Les empilements les plus prometteurs ont ensuite été intégrés dans des mémoires à nanocristaux de silicium ou à couche de piégeage nitrure. Les performances électriques ont été reliées aux propriétés matériaux des couches utilisées. L'analyse des résultats électriques ainsi que la compréhension physique des mécanismes mis en jeux a été permise par une étude de modélisation. En particulier, un modèle complet de mémoire à couche de piégeage discret a été développé.

Composants essentiels de tout ordinateur, les semi-conducteurs sont utilisés dans de nombreux secteurs. Les percées technologiques dans ce domaine imposent un rythme vertigineux aux industriels. Tous les deux ans environ, la capacité des puces est doublée et leur prix est divisé par deux. Le diamètre des plaquettes de silicium augmente et, regroupées en lots, les plaquettes sont plus lourdes à transporter. Les systèmes automatiques de transport (AMHS) se présentent comme une excellente alternative. Le prix très élevé des équipements de production fait que l’objectif est de saturer les capacités de production. Pour y parvenir, il est important que le système de transport et de stockage garantisse que les machines n’attendent pas des lots disponibles, et aussi que les lots n’attendent pas une machine disponible.Dans la littérature, la complexité du problème (jusqu’à 700 étapes de fabrication, flux réentrants, etc.) fait que les études de modélisation du transport se font avec de fortes hypothèses sur la production ou inversement. Pourtant, le transport est un service pour la production. Cette thèse propose une approche de modélisation permettant d'intégrer le plus fidèlement possible les contraintes de transport, production et stockage, afin d'améliorer les indicateurs clés de la production. Une analyse détaillée du système a permis de construire un modèle de simulation à événements discrets. Enfin, après une validation industrielle, l'étude complète du modèle a permis d'analyser les paramètres critiques de gestion du transport. Les résultats permettent une meilleure compréhension du système et mettent en exergue d'intéressantes perspectives de recherche. / Essential components of all computers, semiconductors are widely used in many sectors. Quick advances in these technologies force a challenging rhythm to manufacturers. Following the Moore’s Law, chip capacity doubles approximately every two years and prices are divided by two. Thus, the increase of the diameter of wafers to 300 mm makes them heavier to transport in lots. Automated Material Handling Systems (AMHS) are an excellent alternative to tackle this problem. Because of the high price of production equipment, the goal is to use production capacity as much as possible while avoiding to keep too much inventory. To reach this goal, it is important that the transportation and storage system ensures that machines do not wait for available lots, and also that lots do not wait for available machines. In the literature, due to the problem complexity (up to 700 steps, re-entrant flows, etc.), the modeling of transportation is made with strong assumptions on the production or vice-versa. However, transport is a service for production. This thesis aims at providing a modeling approach that allows the integration in details transport, production and storage constraints, in order to improve production key indicators. A detailed understanding of the system allows us to build of a discrete event simulation model which is, in our point of view, the best compromise between the necessary level of details and computational times. Finally, through industrial validations, the complete study of the model allows critical parameters of transport management to be analyzed. The results help to get a better understanding of the system and open interesting research perspectives.