Cette thèse s'intéresse à la spectaculaire diffusion du tramway dans les villes françaises et européennes. Pour comprendre le phénomène du point de vue des processus décisionnels à l'oeuvre, l'objet est envisagé sous trois états successifs : solution, projet, produit final. L'analyse porte dans un premier temps sur la "réinvention" de la solution dans les années 1970 en France. Puis, le regard se déplace sur trois villes ayant fini par s'équiper d'un tramway : Marseille, Dublin et Grenoble. Pour comprendre l'appropriation comme les nombreuses oppositions, la focale est positionnée sur les arguments justificatifs/critiques échangés au sein des trois systèmes d'acteurs correspondants. Il apparaît que dans un premier temps, le tramway est essentiellement envisagé comme une solution de transport, objectivée et rationnelle. Or, à partir des années 1990, l'argumentaire justificatif connaît une évolution très notable à Grenoble et Marseille. La solution parvient à agréger un ensemble croissant de vertus, que celles-ci touchent à l'urbanisme, au partage de l'espace public, aux polarisations socio-spatiales ou encore au vote des citoyens-électeurs. À travers cette mutation, le tramway se politise, et convainc plus largement. Ce processus n'est pas étranger à la multiplication des projets en France. Au contraire, le détour par Dublin permet de comprendre quelles difficultés rencontrent les promoteurs d'un tramway cantonné à sa dimension "transport", et comment ces difficultés sont plus ou moins surmontées. / This thesis deals with the success of light rail schemes in French and European cities. It considers successively light rail as a generic policy solution, a spatialised project and a policy output. In such way it questions the "reinvention" of the solution in 1970s France. Then the analysis dwells on three cities : Marseille, Dublin and Grenoble. It focuses on arguments that are exchanged within the corresponding systems of actors. It appears that during a first period, light rail is essentially promoted as a transport solution, framed as rationale and comparable to other public transport modes. However, from the 1990's, supporting discourses evolve dramatically in Grenoble and Marseille. The solution happens to agregate a wider range of « virtues », that is to say admitted qualities concerning new fields of interest : urbanism, the distribution of public realm, socio-spatial polarizations or local elections results. Such an evolution can be interpreted as a form of politicisation. It seems to foster the emergence of new projects in France. On the contrary, the case of Dublin helps to understand the difficulties that are faced by a light rail that remains justified mainly by its "transport" dimension, and how these difficulties are more or less overcome.

Ce travail de recherche traite le problème inverse d’estimation de la distribution de tailles de particules (DTP) à partir des données de la diffusion dynamique de lumière (DLS). Les méthodes actuelles d’estimation souffrent de la mauvaise répétabilité des résultats d’estimation et de la faible capacité à séparer les composantes d’un échantillon multimodal de particules. L’objectif de cette thèse est de développer de nouvelles méthodes plus performantes basées sur les techniques d’inférence bayésienne et cela en exploitant la diversité angulaire des données de la DLS. Nous avons proposé tout d’abord une méthode non paramétrique utilisant un modèle « free-form » mais qui nécessite une connaissance a priori du support de la DTP. Pour éviter ce problème, nous avons ensuite proposé une méthode paramétrique fondée sur la modélisation de la DTP en utilisant un modèle de mélange de distributions gaussiennes. Les deux méthodes bayésiennes proposées utilisent des algorithmes de simulation de Monte-Carlo par chaînes de Markov. Les résultats d’analyse de données simulées et réelles montrent la capacité des méthodes proposées à estimer des DTPs multimodales avec une haute résolution et une très bonne répétabilité. Nous avons aussi calculé les bornes de Cramér-Rao du modèle de mélange de distributions gaussiennes. Les résultats montrent qu’il existe des valeurs d’angles privilégiées garantissant des erreurs minimales sur l’estimation de la DTP. / This research work treats the inverse problem of particle size distribution (PSD) estimation from dynamic light scattering (DLS) data. The current DLS data analysis methods have bad estimation results repeatability and poor ability to separate the components (resolution) of a multimodal sample of particles. This thesis aims to develop new and more efficient estimation methods based on Bayesian inference techniques by taking advantage of the angular diversity of the DLS data. First, we proposed a non-parametric method based on a free-form model with the disadvantage of requiring a priori knowledge of the PSD support. To avoid this problem, we then proposed a parametric method based on modelling the PSD using a Gaussian mixture model. The two proposed Bayesian methods use Markov chain Monte Carlo simulation algorithms. The obtained results, on simulated and real DLS data, show the capability of the proposed methods to estimate multimodal PSDs with high resolution and better repeatability. We also computed the Cramér-Rao bounds of the Gaussian mixture model. The results show that there are preferred angle values ensuring minimum error on the PSD estimation.

Le physicalisme explique scientifiquement le problème de la conscience et peut se définir comme étant le problème résiduel de toutes les tentatives de réduction. Le physicalisme, dès lors, doit-il être toujours considéré comme la position métaphysique dominante et comme la méthodologie incontournable de toute théorie de la conscience ? Les tenants d’un physicalisme matérialiste radical réfutent le caractère irréductible du ressenti de conscience sur les processus neurobiolologiques. Cependant, éliminer la réalité idéelle du ressenti subjectif de l’expérience consciente semble n’aboutir qu’à l’échec du physicalisme dans sa vision matérialiste radicale car la seule analyse structurelle et perceptuelle des caractères phénoménaux d’un organisme ne peut traiter de manière explicite le caractère subjectif de l’expérience consciente. Les philosophes non réductionnistes et les dualistes postulent, donc, le dépassement du physicalisme à travers un néo-dualisme moderne. Dès lors, le ressenti de conscience doit-il être considéré comme un simple dépassement du physicalisme ou devons-nous le considérer comme étant au-delà du physicalisme ? La question essentielle qui se posera tout au long de notre thèse sur le ressenti de conscience est de savoir pourquoi le ressenti de conscience existe et pas seulement comment il existe ? Le pourquoi du ressenti de conscience nous entraine à travers le rôle imparti dans l’émergence de la conscience que représente le fossé explicatif physico-psychique sur ce que l’on nomme le « hard problem of consciousness ». / Physicalism scientifically explains the problem of consciousness and can be defined as the residual problem of all attempts of reduction. So, can physicalism always be considered as the supreme metaphysical stance and the unavoidable methodology of all theory of consciousness ? The supporters of a radical materialistic methodology deny the ireductible character of the perception of consciousness. So, they rule out any mental causality and any dualist vision of consciousness through the elimination of the perception of consciousness as a conscious experience and they argue that any physical effect is only terminated by the physical aspect.However, ruling out the ideal reality from the subjective perception seems only to result in the failure of physicalim in its radical materialistic vision, because the structural and perceptual of the phenomenal characters of an organism only cannot explicitly deal with the subjective character of a conscious experience.The non reductionist philosophers and the dualists assume the concept exceeding of physicalism through a modern neo-dualism. The basic issue of our dissertation is to know why the perception of consciousness exists and not only why it exists. The reasons of the perception of consciousness carries us, through the part played in the emergence of consciousness by the physico-psychic explanatory gap, to what is called "the hard problem of consciousness".So, in our dissertation, we shall try to rebut the conclusions of eliminativist physicalism and assume the emergence of the dualism of properties and a modern neo-dualism through the two key questions.

Cette thèse est divisée en deux parties. Dans la première partie, on considère le système de réaction-diffusion-advection (Pε), qui est un modèle d'haptotaxie, mécanisme lié à la dissémination de tumeurs cancéreuses. Le résultat principal concerne la convergence de la solution du systeme (Pε) vers la solution d'un problème à frontière libre (P0) qui est bien défini. Dans la seconde partie, on considère une classe générale d'équations elliptiques du type Hénon:−∆u = |x|^{α} f(u) dans Ω ⊂ R^N avec α > -2. On examine deux cas classiques : f(u) = e^u, |u|^{p−1} u et deux autres cas : f(u) = u^{p}_{+} puis f(u) nonlinéarité générale. En étudiant les solutions stables en dehors d'un ensemble compact (en particulier, solutions stables et solutions avec indice de Morse fini) avec différentes méthodes, on obtient des résultats de classification. / This thesis is divided into two main parts. In the first part, we consider an example of reaction-diffusion-taxis system (Pε), which is a haptotaxis model - a mechanism about the spread of cancer cells. The main result concerns the convergence of the solution of System (Pε) to the solution of a free boundary problem (P0), where system (P0) is well-posed. In the second part, we consider a general class of Hénon type elliptic equations : −∆u = |x|^{α} f(u) in Ω ⊂ R^Nwith α > −2. We investigate two classical cases f(u) = e^u, |u|^{p−1} u and two others cases f(u) = u^{p}_{+} , f(u) is a general function. By studying the solutions which are stable outside a compact set (in particular, stable solutions and finite Morse index solutions) with different methods, we establish some classification results.

Un modèle semi-analytique permettant de simuler le transfert thermique conjugué dans un mini/macro canal plan soumis à des sources de chaleur surfaciques localisées sur les faces externes et variantes en fonction du temps, a été présenté et vérifié. Plus le diamètre hydraulique du canal est petit, plus la caractérisation expérimentale interne (mesure des températures et des flux) en régime thermique permanent ou transitoire à l'aide des capteurs internes est délicate. Une méthode non-intrusive permettant d'estimer les conditions internes à partir des mesures de température par thermographie infrarouge sur les faces externes et d'un modèle semi-analytique, a été effectuée. Comme le coefficient de transfert convectif forcé classique perd son sens en régime instationnaire, une approche alternative basée sur une fonction de transfert, valable pour un système linaire et invariant dans le temps a été mise en œuvre. Cette fonction peut être calculée analytiquement (uniquement pour une géométrie simple) ou estimée expérimentalement (géométrie complexe). Grâce au caractère intrinsèque de cette fonction de transfert, deux capteurs virtuels ont été conçus : capteur virtuel de température et détecteur d'encrassement permettent respectivement d'estimer les températures internes et de détecter l'encrassement qui peut avoir lieu dans l'échangeur à partir des mesures de températures sur les faces externes / A semi-analytical model allowing to simulate the transient conjugate heat transfer in mini/macro plane channel subject to a heat source(s) localized on the external face(s), was presented and verified. The developed model takes into account advection-diffusion in the fluid and conduction in the solid. As the hydraulic diameter of the channel becomes small, the internal experimental characterization (measurement of temperature and heat flux) using internal sensors become tricky because internal sensors located may compromise the structural integrity of the whole system. A non-intrusive method for estimating the internal conditions from infrared temperature measurements on the external faces using the semi-analytical model was performed. Since the classic convective heat transfer coefficient loses its meaning in transient state, an alternative approach based on a transfer function, valid for Linear Time-Invariant (LTI) systems, was highlighted. This function can be calculated analytically only for a simple geometry. For complex geometries it can be estimated experimentally. Thanks to intrinsic character of this function, two characterization methods were designed. The first to estimate the temperature at a point from a measurement at another point in the system (virtual temperature sensor). The second method concerns the detection of fouling layers that may appear in the heat exchanger from temperature measurements on the external faces

Le travail engagé dans cette thèse porte sur l'étude numérique des Interactions Fluide-structure en hydrodynamique. Dans une première partie, une analyse détaillée des méthodes de couplage (schémas décalés) a été effectuée sur un cas académique. Il s'agit de la résolution de l'équation non-linéaire de Burgers dans un domaine mobile, dont I'interface mobile est représentée par un système de type masse ressort. Selon la discrétisation en temps et la linéarisation du problème couplé, on distingue quatre schémas de couplages différents : explicite, semi-implicite, implicite-externe et implicite-interne. Une étude comparative des performances en vitesse de convergence et en temps de calcul de ces schémas a été effectuée. Les performances varient suivant le schéma de couplage utilisé. Le schéma explicite permet un calcul rapide en comparaison des autres schémas. En revanche il n'assure pas la conservation de l'énergie mécanique à I'interface fluide-structure. D'où le problème de stabilité du schéma numérique. Ce problème ne se pose pas pour les algorithmes de couplage implicites, car dans ce cas la conservation de l'énergie à I'interface est assurée. Il s'agit en effet d'une condition de convergence du schéma implicite. Ce schéma requière plus de temps de calcul, mais il est nécessaire pour avoir plus de précision dans les résultats. Par ailleurs, I'analyse des déplacements de I'interface fluide-structure montre que l'écart entre la position de I'interface comme étant le bord mobile du fluide et la position de la structure, dépend principalement du schéma d'actualisation du maillage choisi.Dans une deuxième partie une extension de l'étude des algorithmes de couplage à un problème plus concret d'IFS est effectuée. Un hydrofoil en pilonnement et tangage est ainsi étudié. L'équation de la dynamique de I'hydrofoil est écrite en considérant un centre de rotation situé à une distance non nulle du centre de gravité.Ce qui rend l'équation non-linéaire et introduit un couplage des deux modes pilonnement et tangage) ainsi qu'un amortissement du tangage. La dynamique de I'hydrofoil est étudiée pour différentes configurations : en mouvement libre ou forcé, dans un fluide au repos ou en écoulement. On observe que le mouvement de I'hydrofoil est pseudo périodique amorti. L'évolution des charges hydrodynamiques suit également cette tendance et tend vers un point d'équilibre. L'étude vibratoire montre bien une modification des fréquences propres du système, qui varient suivant que le fluide est au repos ou en écoulement. Le problème est également couplé à l'équation de la position du centre de pression, qui dépend de la position de I'hydrofoil et de l'écoulement. Celle-ci présente une singularité lorsque la portance et la traînée s'annulent simultanément.Enfin Les équations prenant en compte la présence d'un fluide non-homogène à I'interface fluide-structure, du type des écoulements cavitants par poche stationnaire ou auto-oscillante, ont été développés. La méthode consiste à séparer les variables du fluide en écoulement autour d'un hydrofoil immobile d'une part et celles de l'écoulement généré par la vibration de I'hydrofoil d'autre part. Il en résulte un opérateur de masse ajoutée non symétrique en milieu non homogène et un opérateur d'amortissement ajouté dû au taux de variations de masse volumique à l’interface dans le cas auto-oscillant. L'ensemble se traduit par une modulation au cours du temps des fréquences propres et des amplitudes du système. / A numerical study of Fluid Structure Interaction (FSI) in hydrodynamic case is adressed in this thesis. Thirstly, the analysis of coupling methods (staggered schemes) was established to an academic case. It corresponds to the resolution of non linear Burgers equation in a moving domain where the moving interface is assimilated to a mass spring system. According to the time discretisation and linearization of the coupled problem, four coupling scheme can be defined : explicit, semi-implicit, implicit-outer and implicit-inner. A comparative performance study in convergence and computing time were performed. The performance depends on the coupling scheme used. The explicit scheme requires less time compared to the others schemes. However it does not allow the mechanical energy conservation at the interface, inducing the stability issue of the numerical scheme. This instabilities does not arise for the implicit coupling algorithms because the energy conservation at the interface is fulfilled. lndeed, a convergence condition is added for implicit schemes. Even though these schemes require more computing time, they are necessary to get better precision. Inter alia, the fluid-structure interface analysis shows that the gap between the interface taken as the moving boundary and the structure position mostly depends on the actualization scheme of the chosen mesh.In the second part, the coupling algorithm study is extended to physical problem of FSI. A hydrofoil in heave and pitch immersed in a fluid flow is then studied. The equation of hydrofoil movement takes account the distance between the rotation center and the center of gravity. This causes the equation to be nonlinear and introduces a coupling of the two movements (heave and pitch) and a damping of the heave movement. The hydrofoil dynamic is studied for different configurations : forced movements or not, immersed in a fluid at rest or a flowing one. It shows that the hydrofoil movement is pseudo-periodic followed by a damping movement. The hydrodynamic forces tend to follow the same evolution and converge to an equilibrium point. The vibration study clearly shows a frequency modification of the system that depends on the fluid flow (at rest or with an inflow). The problem is also coupled to center of pressure position's equation which depends on the hydrofoil position and the fluid flow. The trend of the position presents a singularity when the lift and drag coefficients vanishes at the same time.Last part, the equation that take into account the inhomogeneous characteristic of the fluid at the fluid-structure interface as well as sheet cavitation in steady or unsteady case, was developed. The method allows the separation of the fluid variables when flowing around the fixed hydrofoil on one hand and the flow generated by the hydrofoil vibration one the other. This introduces an asymmetric added mass operator and an added damping operation due to the variation of the density of the fluid at the interface in unsteady case.The whole system results in a natural frequencies and amplitudes modulation over time.

La Partie I présente l’obtention du développement asymptotique topologique pour une classe d’équations elliptiques quasilinéaires. Un point central réside dans la possibilité de définir la variation de l’état direct à l’échelle 1 dans R^N. Après avoir défini un cadre fonctionnel approprié faisant intervenir les normes L^p et L^2, et avoir justifié la classe d’équations considérée, la méthode se poursuit par l’étude du comportement asymptotique de la solution du problème d’interface non linéaire dans R^N et par une mise en dualité appropriée des états direct et adjoint aux différentes étapes d’approximation.La Partie II traite d’estimations et de développements asymptotiques de p-capacités de condensateurs, dont l’obstacle est d’intérieur vide et de codimension > ou = 2. Après les résultats préliminaires, les condensateurs équidistants permettent de donner deux illustrations de l’anisotropie engendrée par un segment dans l’équation de p-Laplace, puis d’établir une minoration de la p-capacité N-dimensionnelle d’un segment, qui fait intervenir les p-capacités d’un point, respectivement en dimensions N et (N-1). Les condensateurs elliptiques permettent d’établir que le gradient topologique de la 2-capacité n’est pas un outil approprié pour distinguer les courbes des obstacles d’intérieur non vide en 2D / Part I deals with obtaining topological asymptotic expansions for a class of quasilinear elliptic equations. A key point lies in the ability to define the variation of the direct state at scale 1 in R^N. After setting up an appropriate functional framework involving both the L^p and the L^2 norms, and then justifying the chosen class of equations, the approach goes on with the study of the asymptotic behavior of the solution of the nonlinear interface problem in R^N and by setting up an adequate duality scheme between the direct and adjoint states at each step of approximation. Part II deals with estimates and asymptotic expansions of condenser p-capacities and focuses on obstacles with empty interiors and with codimensions > ou = 2. After preliminary results, equidistant condensers are introduced to point out the anisotropy caused by a segment in the p-Laplace equation, and to provide a lower bound to the N-dimensional condenser p-capacity of a segment, by means of the N-dimensional and of the (N-1)-dimensional condenser p-capacities of apoint. Introducing elliptical condensers, it turns out that the topological gradient of the 2-capacity is not an appropriate tool to separate curves and obstacles with nonempty interior in 2D

Dans les logiques épistémiques, la connaissance est généralement modélisée par un graphe de mondes possibles, qui correspondent aux alternatives à l'état actuel du monde. Ainsi, les arêtes entre les mondes représentent l'indistinguabilité. Connaître une proposition signifie que cette proposition est vraie dans toutes les alternatives possibles. Les informaticiens théoriques ont cependant remarqué que cela a conduit à plusieurs problèmes, à la fois intuitifs et techniques : plus un agent est ignorant, plus elle a d'alternatives à examiner ; les modèles peuvent alors devenir trop grands pour la vérification de système. Ils ont récemment étudié comment la connaissance pourrait être réduite à la notion de visibilité. Intuitivement, l'idée de base est que quand un agent voit quelque chose, alors elle sait sa valeur de vérité. A l'inverse, toute combinaison de valeurs de vérité des variables non observables est possible pour l'agent. Ces informations d'observabilité permettent de reconstituer la sémantique standard de la connaissance : deux mondes sont indistinguables pour un agent si et seulement si chaque variable observée par cet agent a la même valeur dans les deux mondes. Notre objectif est de démontrer que les logiques épistémiques fondées sur la visibilité constituent un outil approprié pour plusieurs applications importantes dans le domaine de l'intelligence artificielle. Dans le cadre actuel de ces logiques de visibilité, chaque agent a un ensemble de variables propositionnelles qu'elle peut observer ; ces visibilités sont constantes à travers le modèle. Cela accompagne une hypothèse forte : les visibilités sont connues de tous, et sont même connaissance commune. De plus, la construction de la connaissance à partir de la visibilité entraîne des validités contre-intuitives, la plus importante étant que l'opérateur de la connaissance distribue sur les disjonctions de littéraux : si un agent sait que p ou q est vrai, alors elle sait que p est vrai ou que q est vrai, parce qu'elle peut les voir. Dans cette thèse, nous proposons des solutions à ces deux problèmes et les illustrons sur diverses applications telles que la planification épistémique ou les jeux booléens épistémiques, et sur des exemples plus spécifiques tels que le problème des enfants sales ou le problème du bavardage. Nous étudions en outre des propriétés formelles des logiques que nous concevons, fournissant axiomatisations et résultats de complexité. / In epistemic logic, knowledge is usually modelled by a graph of possible worlds, representing the alternatives to the current state of the world. So edges between worlds stand for indistinguishability. To know a proposition means that that proposition is true in all possible alternatives. Theoretical computer scientists however noticed that this led to several issues, both intuitively and technically: the more an agent is ignorant, the more alternatives she must consider; models may then become too big for system verification. They recently investigated how knowledge could be reduced to the notion of visibility. Intuitively, the basic idea is that when an agent sees something, then she knows its truth value. The other way round, any combination of truth values of the non-observable variables is possible for the agent. Such observability information allows us to reconstruct the standard semantics of knowledge: two worlds are indistinguishable for an agent if and only if every variable observed by her has the same value in both worlds. We aim to demonstrate that visibility-based epistemic logics provide a suitable tool for several important applications in the field of artificial intelligence. In the current settings of these logics of visibility, every agent has a set of propositional variables that she can observe; these visibilities are constant across the model. This comes with a strong assumption: visibilities are known to everyone, and are even common knowledge. Moreover, constructing knowledge from visibility brings about counter-intuitive validities, the most important being that the knowledge operator distributes over disjunction of literals: if an agent knows that p or q is true, then she knows that p is true or that q is true because she can see them. In this thesis, we propose solutions to these two problems and illustrate them on various applications such as epistemic planning or epistemic boolean games, and on more specific examples such as the muddy children problem or the gossip problem. We moreover study formal properties of the logics we design, providing axiomatizations and complexity results.

Les travaux effectués lors de cette thèse portent sur l'optimisation de la configuration magnétique des propulseurs à effet Hall. Ceci regroupe deux objectifs: d'une part la réalisation d'un propulseur à effet Hall dont la topologie magnétique est entièrement paramétrable, ce qui constituera un outil précieux pour l'étude de l'impact du champ magnétique sur le fonctionnement du propulseur et d'autre part, l'étude de moyen de conception rationalisée de circuits magnétiques pour ces mêmes propulseurs. Le premier sujet a conduit à la réalisation du PPS-Flex, un propulseur proposant une structure de circuit magnétique innovante offrant un grand nombre de degrés de liberté en termes de réglage du champ magnétique produit. La deuxième thématique a quant à elle été abordée en s'appuyant sur des méthodes d'optimisation (paramétrique et topologique) permettant d'aboutir à un circuit magnétique optimal pour un ou plusieurs critères de conception (fidélité du champ magnétique généré, minimisation de la masse, du volume total, etc.) / The works made during this thesis concern the optimization of the magnetic configuration of propellers with effect Hall. This groups two objectives: on one hand the realization of a propeller with effect Hall the magnetic topology of which is completely customizable, which will establish a precious tool for the study of the impact of the magnetic field on the functioning of the propeller and on the other hand, the study of way of design rationalized of magnetic circuits for these same propellers. The first subject led to the realization of the PPS-Flex, a propeller proposing an innovative magnetic structure of circuit offering a large number of degrees of freedom in terms of regulation of the magnetic field produces. The second theme approached as for her resting on methods

Dans ces travaux, nous présentons des méthodes d'optimisation théoriques et numériques pour la conception optimale de circuits magnétiques pour propulseurs à effet Hall. Ces problèmes de conception sont des problèmes inverses très difficiles à résoudre que nous formulons sous forme de problèmes d'optimisation topologique. Les problèmes resultant sont non convexes avec des contraintes aux équations différentielles de Maxwell. Au cours de ces travaux, des approches originales ont été proposées afin de résoudre efficacement ces problèmes d'optimisation topologique. L'approche de densité de matériaux SIMP (Solid Isotropic Material with Penalization) qui est une variante de la méthode d'homogénéisation a été privilégiées. De plus, les travaux de ma thèse ont permis la mise en place de codes d'optimisation dénommé ATOP (Algorithm To Optimize Propulsion) utilisant en parallèle les logiciels de calculs scientifiques Matlab et d'élément finis FEMM (Finite Element Method Magnetics). Dans ATOP, nous utilisant à la fois des algorithmes d'optimisation locale de type descente basés sur une analyse de la sensibilité du problème et des algorithmes d'optimisation globale principalement de type Branch and Bound basés sur l'Arithmétique des Intervals. ATOP permettra d'optimiser à la fois la forme topologique des circuits magnétiques mais aussi le temps et le coût de production de nouvelles génération de propulseurs électriques. / In this work, we present theoretical and numerical optimization method for designing magnetic circuits for Hall effect thrusters. These design problems are very difficult inverse ones that we formulate under the form of topology optimization problems. Then, the obtained problems are non convex subject to Maxwell equations like constraints. Some original approaches have been proposed to solve efficiently these topology optimization problems. These approaches are based on the material density model called SIMP approach (Solid Isotropic Material with Penalization) which is a variante of the homogenization method. The results in my thesis allowed to provide optimization source code named ATOP (Algorithm To Optimize Propulsion) unsung in parallel two scientific computing softwares namely Matlab and FEMM (Finite Element Method Magnetics). In ATOP, we use both local optimization algorithms based on sensitivity analysis of the design problem; and global optimization algorithms mainly of type Branch and Bound based on Interval Arithmetic analysis. ATOP will help to optimize both the topological shape of the magnetic circuits and the time and cost of production (design process) of new generations of electrical thrusters.