La localisation de source d'EEG devient un outil important pour traiter les patients atteints d'épilepsie en localisant les zones épileptogènes avant d'effectuer une chirurgie de résection. Compte tenu d'un modèle de tête direct, la localisation de la source EEG est réalisée en résolvant le problème inverse. Le modèle de tête direct est un modèle biophysique de tête plus ou moins complexe qui décrit la distribution électrique. En considérant la propagation électrique expliquant la distribution de potentiels, outre la numérisation, le modèle nécessite le réglage deux paramètres lesquels sont la géométrie du modèle de tête et la valeur des conductivités de chaque compartiment du modèle de tête. En raison des progrès computationnel et des techniques d'imagerie (comme l'IRM et la CT), il est possible de générer des modèles de tête humaine qui représentent avec une grande précision la géométrie de la tête réelle. Cependant, il existe une incertitude sur les valeurs de conductivité de chaque compartiment et la méthode avec laquelle ils devraient être estimés. Dans la littérature, les valeurs communes pour les conductivités proviennent principalement des expériences in-vitro. Dans ce travail, nous effectuons une estimation de la conductivité in-vivo à partir de données EEG/SEEG/Stimulation électrique de trois patients épileptiques. Ces données sont constituées des images IRM et des CT SCAN pour la construction d'un modèle de tête FEM à cinq compartiments pour chaque patient, ainsi que les enregistrements SEEG et EEG qui ont été acquis en même temps que la stimulation électrique intracérébrale (IES). L'originalité de ce travail réside dans l'évaluation de la performance de l'estimation des conductivités in-vivo par des mesures EEG et / ou SEEG en fonction de différents paramètres spatiaux et de la localisation des IES. Le travail se compose de trois parties principales: la première partie vise à déterminer la méthode d’optimisation sous contraintes la plus robuste parmi les algorithmes courants pour optimiser les paramètres du modèle direct de tête. L'objectif de la deuxième partie est d'analyser la sensibilité des valeurs de conductivité à différentes conditions sur la position de stimulation, le conditionnement du problème avec les positions de mesure et leur nombre et le nombre de compartiments. Alors que dans la partie finale, les conductivités d'un modèle de tête FEM isotrope et homogène à cinq compartiments ont été estimées avec des paramètres précédemment déterminés pour les trois patients. Enfin, l'effet de la fréquence de stimulation sur les conductivités estimées est analysé / EEG source localization is becoming an important tool for treating epileptic patients by localizing the epileptogenic zones before performing a resection surgery. Given a forward head model, EEG source localization is performed by solving the inverse problem. The forward head model is a biophysical model which describes the electrical distribution in the human head. When considering the propagation as the only way for the current distribution to move in the head, the focus is directed primarily on two parameters for having an accurate forward head model. These parameters are: the geometry of the head model and the conductivity value of each compartment of the head model. Due to the recent advances in computers and imaging techniques (like MRI and CT), it is possible to generate human head models that represent with a high accuracy the geometry of the real head. However, there is still an argument about the conductivity values and the method by which it should be estimated. In literature, the common values for conductivities come mostly from in-vitro experiments. In this work we are performing in-vivo conductivity estimation by considering the data of three epileptic patients. This data consists of MR images and CT scans for building a five-compartment FEM head model for each patient along with SEEG and EEG recordings that were acquired in simultaneous with intracerebral electrical stimulation (IES). The originality of this work lies in evaluating the performance of in-vivo conductivity estimation by EEG and/or SEEG measurements in function of different spatial parameters and locations of the IES. The following work consists of three major parts: the first part aims to determine the most robust optimization algorithm among common algorithms for optimizing the forward head model. The objective of the second part is to analyze the sensitivity of the conductivity values given different conditions on stimulation position, measurement positions and number of compartments. While in the final part, the conductivities of an isotropic and homogeneous five-compartment FEM head model were estimated with previously selected parameters for three drug-resistant epileptic patients. Finally the effect of changing the stimulation frequency on the estimated conductivities was determined

L’environnement urbain est fortement ancré dans la gestion des flux logistiques. La mutualisation de ces différents flux apporte alors une solution qualitative répondant aux critères environnementaux, économiques et sociétaux. Cette thèse propose une approche pour la mise en place des centres de distribution urbains (CDU) en combinant la logistique de distribution avec la logistique inverse (flux montants et flux descendants). L’objectif principal de ces CDU est d'assurer un développement durable dans les villes modernes. L’hétérogénéité des pratiques de la logistique de distribution et de la logistique inverse constitue le principal verrou scientifique. La mutualisation de ces différents flux apporte alors une solution qualitative et durable dès lors qu’elle répond aux critères attendus : environnementaux, économiques et sociétaux. Dans un contexte de logistique globale, nous nous sommes basés sur les problèmes de localisation de plateformes HLP « Hub Location Problem » afin de formuler le problème de localisation des CDU selon un critère de maximisation du profit par le choix du meilleur emplacement parmi ceux disponibles. Nous avons calculé les localisations partiellement possibles, tout en garantissant le traitement des flux retournés (collecte, tri, revente) et aussi en tenant compte des coûts socio-environnementaux. Par la suite, nous avons utilisé des outils de résolution du modèle proposé via des algorithmes d’optimisation. L’efficacité de ces algorithmes a été confirmée par un ensemble de jeux de données et de rapports d’analyse d’impacts. La dynamique liée à la fiabilité des CDU dans l’exécution du service par la prise en compte d’une politique de coordination inter-CDU fait aussi partie de notre étude. Nous nous sommes intéressés à l’aspect de disponibilité pour garantir les livraisons à temps. En effet, l’indisponibilité du système peut être due aux pannes aléatoires, aux actions de maintenance préventive planifiées, etc. Par conséquent, nous présentons une solution qui permet de satisfaire la demande journalière de manière ponctuelle par l’intégration d’une approche collaborative entre les différents sites. Il s’agit d’un modèle d’optimisation de la politique de coordination inter-CDU avec une stratégie de sous-traitance des livraisons en cas d’indisponibilité / The urban environment is strongly involved in the management of logistics flows. The pooling of these different flows provides a qualitative solution ensuring environmental, economic and societal criteria. The thesis objectives aim at supporting Urban Distribution Centers (CDU) by combining distribution logistics with reverse logistics (upstream flows and downstream flows), thereby ensuring sustainable development in modern cities. The heterogeneity of the distribution logistics practices and the reverse logistics define the core of this thesis. Sharing these different flows provides a qualitative and sustainable solution as long as it meets the aforementioned criteria (environment, economy and society). Our approach is based on the Hub Location Problem to formulate the location problem of UDC while maximizing the profit and choosing the best available location. We proceed by identifying potential available locations, while guaranteeing returned flows management (collection, sorting, resale, etc.) and reducing pollution impact. Moreover, we simulate our optimised model with simulation tools using optimization algorithms. The effectiveness of these algorithms are validated based on generated outputs (set of data) inspired by real world scenarios. Reliability is a part of this work when dealing with UDC deployment. The unavailability of the system may be due to random failures, planned preventive maintenance actions, etc. Therefore, we present a solution supporting daily demands by integrating a collaborative approach between different sites. This approach is based on inter-CDU coordination policy with a strategy of subcontracting deliveries dealing with unavailability

Dans cette thèse, le diagnostic d'un système non linéaire a été réalisé par une analyse de données. Initialement conçue pour analyser les données liées par des relations linéaires, l'Analyse en Composantes Principales (ACP) est couplée aux méthodes à noyau pour détecter, localiser et estimer l'amplitude des défauts sur des systèmes non linéaires. L'ACP à noyau consiste à projeter les données par l'intermédiaire d'une application non linéaire dans un espace de dimension élevée dénommé espace des caractéristiques où l'ACP linéaire est appliquée. Ayant fait la projection à l'aide de noyaux, la détection peut facilement être réalisée dans l'espace des caractéristiques. Cependant, l'estimation de l'amplitude du défaut nécessite la résolution d'un problème d'optimisation non linéaire. Une étude de contributions permet de localiser et d'estimer ces amplitudes. La variable ayant la plus grande contribution est susceptible d'être affectée par un défaut. Dans notre travail, nous avons proposé de nouvelles méthodes pour les phases de localisation et d'estimation des défauts pour lesquelles les travaux existants ont des limites. La nouvelle méthode proposée est basée sur les contributions sous contraintes permettant d'obtenir une reconstruction parcimonieuse des variables. L'efficacité des méthodes proposées est montrée sur un réacteur à agitation continue (CSTR). / In this thesis, the diagnosis of a nonlinear system was performed using data analysis. Initially developed to analyze linear system, Principal Component Analysis (PCA) is coupled with kernel methods for detection, isolation and estimation of faults' magnitude for nonlinear systems. Kernel PCA consists in projecting data using a nonlinear mapping function into a higher dimensional space called feature space where the linear PCA is applied. Due to the fact that the projections are done using kernels, the detection can be performed in the feature space. However, estimating the magnitude of the fault requires the resolution of a nonlinear optimization problem. The variables' contributions make it possible to isolate and estimate these magnitudes. The variable with the largest contribution may be considered as faulty. In our work, we proposed new methods for the isolation and estimation phases for which previous work has some limitations. The new proposed method in this thesis is based on contributions under constraints. The effectiveness of the developed methods is illustrated on the simulated continuous stirred tank reactor (CSTR).

Dans cette thèse, nous calculons la forme d’un objet immergé d’aire donnée qui minimise la résistance de vague. Le corps, considéré lisse, avance à vitesse constante sous la surface libre d’un fluide qui est supposé parfait et incompressible. La résistance de vague est la traînée, c’est-à-dire la composante horizontale de la force exercée par le fluide sur l’obstacle. Nous utilisons les équations de Neumann-Kelvin 2D, qui s’obtiennent en linéarisant les équations d’Euler irrotationnelles avec surface libre. Le problème de Neumann-Kelvin est formulé comme une équation intégrale de frontière basée sur une solution fondamentale qui intègre la condition linéarisée à la surface libre. Nous utilisons une méthode de descente de gradient pour trouver un minimiseur local du problème de résistance de vague. Un gradient par rapport à la forme est calculé par la méthode de variation de frontières. Nous utilisons une approche level-set pour calculer la résistance de vague et gérer les déplacements de la frontière de l’obstacle. Nous obtenons une grande variété de formes optimales selon la profondeur de l’objet et sa vitesse. / In this thesis, we compute the shape of a fully immersed object with a given area which minimises the wave resistance. The smooth body moves at a constant speed under the free surface of a fluid which is assumed to be inviscid and incompressible. The wave resistance is the drag, i.e. the horizontal component of the force exerted by the fluid on the obstacle. We work with the 2D Neumann-Kelvin equations, which are obtained by linearising the irrotational Euler equations with a free surface. The Neumann-Kelvin problem is formulated as a boundary integral equation based on a fundamental solution which handles the linearised free surface condition. We use a gradient descent method to find a local minimiser of the wave resistance problem. A gradient with respect to the shape is calculated by a boundary variation method. We use a level-set approach to calculate the wave-making resistance and to deal with the displacements of the boundary of the obstacle. We obtain a great variety of optimal shapes depending on the depth of the object and its velocity.

Le problème de routage de véhicules avec fenêtres de temps et routes multiples (MTVRPTW) est une généralisation du problème de routage de véhicules avec fenêtres de temps (VRPTW). Dans le MTVRPTW, on autorise un véhicule à effectuer plusieurs routes durant une période de planification, ce qui permet d'optimiser les transports lorsque le nombre de véhicules est limité et peu élevé. Nous proposons dans cette thèse la première méthode exacte permettant de résoudre ce problème. Notre modélisation prend la forme d'un problème de couverture des clients dont les variables sont des routes. Des contraintes d'exclusion mutuelle expriment la disponibilité des véhicules. Nous utilisons la Génération de Colonnes, avec un sous-problème effectuant, par programmation dynamique, une recherche de plus court chemin élémentaire contraint en ressources. Notre méthode de programmation dynamique tient compte des dépendances de plusieurs ressources grâce à la notion de label représentatif, et est ainsi plus efficace qu'une approche classique. La méthode de Génération de Colonnes est incluse dans un schéma de Branch and Price composé de deux types de branchement, l'un basé sur les arcs, l'autre sur la résolution d'un VRPTW. Nous avons mis en place diverses méthodes accélératrices spécifiques du MTVRPTW. Nous donnons les résultats de l'algorithme sur les instances de Solomon. Des résultats issus de méthodes exactes étaient disponibles dans la littérature pour le MTVRPTW avec durée limite sur les routes. Nous avons proposé un nouvel algorithme plus performant, et basé sur nos méthodes, pour cette variante du problème. / The multi-trip vehicle routing problem with time windows (MTVRPTW) is a generalization of the vehicle routing problem with time windows (VRPTW). In the MTVRPTW, one vehicle can perform several trips during a planning period. This allows optimizing the transport when the number of vehicles is limited and small.We propose here the first exact method for solving this problem.Our model is designed as a coverage problem for customers where the variables are trips. Mutual exclusion constraints express the availability of vehicles. We use a column generation scheme in which the sub-problem is an elementary shortest path problem with resource constraints (ESPPRC). Our dynamic programming method for ESPPRC takes into account dependencies of several resources through the concept of representative label. It is thus more efficient than a conventional approach. The column generation method is included in a Branch and Price scheme with two types of branching. One is based on arc selection, and the other on solving a VRPTW. We have implemented various accelerating methods which are specific to MTVRPTW. We give the results of our algorithm on Solomon instances.Results from exact methods were available in the literature for the MTVRPTW with time limit on the trips. We proposed a new and more efficient algorithm, based on our methods, to solve this variant of the problem.

Prélevés de manière non invasive, les gaz respiratoires sont constitués de nombreux composés organiques volatils (VOCs) dont la quantité dépend de l’état de santé du sujet. L’analyse quantitative de l’air expiré présente alors un fort intérêt médical, que ce soit pour le diagnostic ou le suivi de traitement. Dans le cadre de ma thèse, nous proposons d’étudier un dispositif d’analyse des gaz respiratoires, et notamment de ces VOCs. Cette thèse multidisciplinaire aborde différents aspects, tels que le choix des capteurs, du matériel et des modes d’acquisition, l’acquisition des données à l’aide d’un banc gaz, et ensuite le traitement des signaux obtenus de manière à quantifier un mélange de gaz. Nous étudions la réponse d’un capteur à oxyde métallique (MOX) à des mélanges de deux gaz (acétone et éthanol) dilués dans de l’air synthétique (oxygène et azote). Ensuite, nous utilisons des méthodes de séparation de sources de manière à distinguer les deux gaz, et déterminer leur concentration. Pour donner des résultats satisfaisants, ces méthodes nécessitent d’utiliser plusieurs capteurs dont on connait la forme mathématique du modèle décrivant l’interaction du mélange avec le capteur, et qui présentent une diversité suffisante dans les mesures d’étalonnage pour estimer les coefficients de ce modèle. Dans cette thèse, nous montrons que les capteurs MOX peuvent être décrits par un modèle de mélange linéaire quadratique, et qu’un mode d’acquisition fonctionnant en double température permet de générer deux capteurs virtuels à partir d’un unique capteur physique. Pour quantifier précisément les composants du mélange à partir des mesures sur ces capteurs (virtuels), nous avons conçu des méthodes de séparation de sources, supervisées et non supervisées appliquées à ce modèle non-linéaire : l’analyse en composantes indépendantes, des méthodes de moindres carrés (algorithme de Levenberg-Marquardt), et une méthode bayésienne ont été étudiées. Les résultats expérimentaux montrent que ces méthodes permettent d’estimer les concentrations de VOCs contenus dans un mélange de gaz, de façon précise, en ne nécessitant que très peu de points de calibration. / Non-invasively taken, exhaled breath contains many volatile organic compounds (VOCs) whose amount depends on the health of the subject. Quantitative analysis of exhaled air is of great medical interest, whether for diagnosis or for a treatment follow-up. As part of my thesis, we propose to study a device to analyze exhaled breath, including these VOCs. This multidisciplinary thesis addresses various aspects, such as the choice of sensors, materials and acquisition modes, the acquisition of data using a gas bench, and then the processing of the signals obtained to quantify a gas mixture. We study the response of a metal oxide sensor (MOX) to mixtures of two gases (acetone and ethanol) diluted in synthetic air (oxygen and nitrogen). Then, we use source separation methods in order to distinguish the two gases, and to determine their concentration. To give satisfactory results, these methods require first to use several sensors for which we know the mathematical model describing the interaction of the mixture with the sensor, and which present a sufficient diversity in the calibration measurements to estimate the model coefficients. In this thesis, we show that MOX sensors can be described by a linear-quadratic mixing model, and that a dual temperature acquisition mode can generate two virtual sensors from a single physical sensor. To quantify the components of the mixture from measurements on these (virtual) sensors, we have develop supervised and unsupervised source separation methods, applied to this nonlinear model: independent component analysis, least squares methods (Levenberg Marquardt algorithm), and a Bayesian method were studied. The experimental results show that these methods make it possible to estimate the VOC concentrations of a gas mixture, accurately, while requiring only a few calibration points.

Dans cette thèse, nous étudions un problème de contrôle et un problème inverse pour les équationsde la chaleur. Notre premier travail concerne la contrôlabilité à zéro pour une équation de la chaleur semi-linéaire. Il est à noter que sans contrôle, la solution est instable et il y aura en général explosion de la solution en un temps fini. Ici, nous proposons un résultat positif de contrôlabilité à zéro sous une hypothèse quantifiée de petitesse sur la donnée initiale. La nouveauté réside en la construction de ce contrôle pour amener la solution à l’état d’équilibre.Notre second travail aborde l’équation de la chaleur rétrograde dans un domaine borné et sous la condition de Dirichlet. Nous nous intéressons à la question suivante: peut-on reconstruire la donnée initiale à partir d’une observation de la solution restreinte à un sous-domaine et à un temps donné? Ce problème est connu pour être mal-posé. Ici, les deux principales méthodes proposées sont: une approche de filtrage des hautes fréquences et une minimisation à la Tikhonov. A chaque fois, nous reconstruisons de manière approchée la solution et quantifions l’erreur d’approximation / My thesis focuses on two main problems in studying the heat equation: Control problem and Inverseproblem.Our first concern is the null controllability of a semilinear heat equation which, if not controlled, can blow up infinite time. Roughly speaking, it consists in analyzing whether the solution of a semilinear heat equation, underthe Dirichlet boundary condition, can be driven to zero by means of a control applied on a subdomain in whichthe equation evolves. Under an assumption on the smallness of the initial data, such control function is builtup. The novelty of our method is computing the control function in a constructive way. Furthermore, anotherachievement of our method is providing a quantitative estimate for the smallness of the size of the initial datawith respect to the control time that ensures the null controllability property.Our second issue is the local backward problem for a linear heat equation. We study here the followingquestion: Can we recover the source of a linear heat equation, under the Dirichlet boundary condition, from theobservation on a subdomain at some time later? This inverse problem is well-known to be an ill-posed problem,i.e their solution (if exists) is unstable with respect to data perturbations. Here, we tackle this problem bytwo different regularization methods: The filtering method and The Tikhonov method. In both methods, thereconstruction formula of the approximate solution is explicitly given. Moreover, we also provide the errorestimate between the exact solution and the regularized one.

Au cours des 20 dernières années, la théorie du transport optimal s’est revelée être un outil efficace pour étudier le comportement asymptotique dans le cas des équations de diffusion, pour prouver des inégalités fonctionnelles et pour étendre des propriétés géométriques dans des espaces extrêmement généraux comme des espaces métriques mesurés, etc. La condition de courbure-dimension de la théorie Bakry-Emery apparaît comme la pierre angulaire de ces applications. Il suffit de penser au cas le plus simple et le plus important de la distance quadratique de Wasserstein W2 : la contraction du flux de chaleur en W2 caractérise les bornes inférieures uniformes pour la courbure de Ricci ; l’inégalité de Talagrand du transport, comparant W2 à l’entropie relative est impliquée et implique, par l’inégalité HWI, l’inégalité log-Sobolev ; les géodésiques de McCann dans l’espace de Wasserstein (P2(Rn),W2) permettent de prouver des propriétés fonctionnelles importantes comme la convexité, et des inégalités fonctionnelles standards telles que l’isopérymétrie, des propriétés de concentration de mesure, l’inégalité de Prékopa-Leindler et ainsi de suite. Néanmoins, le manque de régularité des plans minimisation nécessite des arguments d’analyse non lisse. Le problème de Schrödinger est un problème de minimisation de l’entropie avec des contraintes marginales et un processus de référence fixes. À partir de la théorie des grandes déviations, lorsque le processus de référence est le mouvement Brownien, sa valeur minimale A converge vers W2 lorsque la température est nulle. Les interpolations entropiques, solutions du problème de Schrödinger, sont caractérisées en termes de semigroupes de Markov, ce qui implique naturellement les calculs Γ2 et la condition de courbure-dimension. Datant des années 1930 et négligé pendant des décennies, le problème de Schrodinger connaît depuis ces dernières années une popularité croissante dans différents domaines, grâce à sa relation avec le transport optimal, à la regularité de ses solutions, et à d’autres propriétés performantes dans des calculs numériques. Le but de ce travail est double. D’abord, nous étudions certaines analogies entre le problème de Schrödinger et le transport optimal fournissant de nouvelles preuves de la formulation duale de Kantorovich et de celle, dynamique, de Benamou-Brenier pour le coût entropique A. Puis, en tant qu’application de ces connexions, nous dérivons certaines propriétés et inégalités fonctionnelles sous des conditions de courbure-dimension. En particulier, nous prouvons la concavité de l’entropie exponentielle le long des interpolations entropiques sous la condition de courbure-dimension CD(0, n) et la régularité du coût entropique le long du flot de la chaleur. Nous donnons également différentes preuves de l’inégalité variationnelle évolutionnaire pour A et de la contraction du flux de la chaleur en A, en retrouvant comme cas limite, les résultats classiques en W2, sous CD(κ,∞) et CD(0, n). Enfin, nous proposons une preuve simple de la propriété de concentration gaussienne via le problème de Schrödinger comme alternative aux arguments classiques tel que l’argument de Marton basé sur le transport optimal / In the past 20 years the optimal transport theory revealed to be an efficient tool to study the asymptotic behavior for diffusion equations, to prove functional inequalities, to extend geometrical properties in extremely general spaces like metric measure spaces, etc. The curvature-dimension of the Bakry-Émery theory appears as the cornerstone of those applications. Just think to the easier and most important case of the quadratic Wasserstein distance W2: contraction of the heat flow in W2 characterizes uniform lower bounds for the Ricci curvature; the transport Talagrand inequality, comparing W2 to the relative entropy is implied and implies via the HWI inequality the log-Sobolev inequality; McCann geodesics in the Wasserstein space (P2(Rn),W2) allow to prove important functional properties like convexity, and standard functional inequalities, such as isoperimetry, measure concentration properties, the Prékopa Leindler inequality and so on. However the lack of regularity of optimal maps, requires non-smooth analysis arguments. The Schrödinger problem is an entropy minimization problem with marginal constraints and a fixed reference process. From the Large deviation theory, when the reference process is driven by the Brownian motion, its minimal value A converges to W2 when the temperature goes to zero. The entropic interpolations, solutions of the Schrödinger problem, are characterized in terms of Markov semigroups, hence computation along them naturally involves Γ2 computations and the curvature-dimension condition. Dating back to the 1930s, and neglected for decades, the Schrödinger problem recently enjoys an increasing popularity in different fields, thanks to this relation to optimal transport, smoothness of solutions and other well performing properties in numerical computations. The aim of this work is twofold. First we study some analogy between the Schrödinger problem and optimal transport providing new proofs of the dual Kantorovich and the dynamic Benamou-Brenier formulations for the entropic cost A. Secondly, as an application of these connections we derive some functional properties and inequalities under curvature-dimensions conditions. In particular, we prove the concavity of the exponential entropy along entropic interpolations under the curvature-dimension condition CD(0, n) and regularity of the entropic cost along the heat flow. We also give different proofs the Evolutionary Variational Inequality for A and contraction of the heat flow in A, recovering as a limit case the classical results in W2, under CD(κ,∞) and also in the flat dimensional case. Finally we propose an easy proof of the Gaussian concentration property via the Schrödinger problem as an alternative to classical arguments as the Marton argument which is based on optimal transport

Une partie symétrique X d'un groupe G est un sous-groupe K-approximatif s'il existe une partie finie E ⊂ G de taille K telle que X2 ⊂ E.X. L'étude combinatoire des groupes approximatifs a grandement bénéficié des apports de la Théorie des Modèles : en 2009, Hrushovski montre qu'une ultralimite de groupes approximatifs finis possède une composante connexe modèle-théorique, donc un quotient localement compact X/H. En appliquant les résultats de Gleason et Yamabe sur le cinquième problème de Hilbert, cela permet de trouver un morphisme vers un groupe de Lie, et d'en déduire des résultats de nilpotence. Cela a permis à Breuillard, Green et Tao de classifier tous les groupes approximatifs finis, en retrouvant un quotient X/H de manière combinatoire. Dans cette thèse, on s'intéresse à la construction d'un sous-groupe H type-définissable et d'indice borné, qui garantit l'existence d'un quotient localement compact. On montre que l'approche combinatoire de Breuillard, Green et Tao peut être vue de cette manière, et on la généralise à tous les groupes approximatifs définissablement moyennables. On montre aussi que si H est type-définissable dans un langage L∗, alors on peut construire un sous-groupe H qui est type-définissable sur un langage réduit L, et toujours d'indice borné. L'existence de H ne dépend donc pas du choix du langage / A symmetric subset X in a group G is a K-approximate subgroup if there exists a finite set E ⊂ G of cardinality K such that X2 ⊂ E.X. The study of approximate subgroups in multiplicative combinatorics experienced a significate advance through the use of model theory. In 2009, Hrushovski showed that an ultralimit of finite approximate subgroups has a model-theoretic connected component, thus a locally compact quotient X/H. Using the results of Gleason and Yamabe about Hilbert’s fifth problem, this allows the construction of a morphism to a Lie group, and deduce some results about nilpotency. This lead to the theorem of Breuillard, Green and Tao classifying all finite approximate subgroups, using a combinatorial construction of the quotient X/H. In this thesis, we are intersested in the conditions needed to construct a type definable subgroup H of bounded index in X. This implies the existence of a locally compact quotient.We show that the combinatorial construction of Breuillard, Green and Tao can be seen in a definable way, and give a generalisation to all definably amenable approximate subgroups. Also, we show that if H is type-definable in a language L∗, then it is possible to construct a subgroup H which is type-definable in a reduct L, still with bounded index. Thus the existence of a subgroup H does not depend on the choice of a base language.

Dans cette thèse, on s’intéresse à de nouveaux schémas de discrétisation afin de résoudre les équations couplées de la poroélasticité et nous présentons des résultats analytiques et numériques concernant des problèmes issus de la poromécanique. Nous proposons de résoudre ces problèmes en utilisant les méthodes Hybrid High-Order (HHO), une nouvelle classe de méthodes de discrétisation polyédriques d’ordre arbitraire. Cette thèse a été conjointement financée par le Bureau de Recherches Géologiques et Minières (BRGM) et le LabEx NUMEV. Le couplage entre l’écoulement souterrain et la déformation géomécanique est un sujet de recherche crucial pour les deux institutions de cofinancement. / In this manuscript we focus on novel discretization schemes for solving the coupled equations of poroelasticity and we present analytical and numerical results for poromechanics problems relevant to geoscience applications. We propose to solve these problems using Hybrid High-Order (HHO) methods, a new class of nonconforming high-order methods supporting general polyhedral meshes. This Ph.D. thesis was conjointly founded by the Bureau de recherches géologiques et minières (BRGM) and LabEx NUMEV. The coupling between subsurface flow and geomechanical deformation is a crucial research topic for both cofunding institutions.