Cette thèse est construite autour de deux types d'estimation de l'état d'un système, traités séparément. Le premier problème abordé concerne la construction d'observateurs positifs basés sur la métrique de Hilbert. Le second traite de la synthèse d'observateurs par intervalles pour différentes familles de systèmes dynamiques et la construction de lois de commande robustes qui stabilisent ces systèmes.Un système positif est un système dont les variables d'état sont toujours positives ou nulles lorsque celles-ci ont des conditions initiales qui le sont. Les systèmes positifs apparaissent souvent de façon naturelle dans des applications pratiques où les variables d'état représentent des quantités qui n'ont pas de signification si elles ont des valeurs négatives. Dans ce contexte, il parait naturel de rechercher des observateurs fournissant des estimées elles aussi positives ou nulles. Dans un premier temps, notre contribution réside dans la mise au point d'une nouvelle méthode de construction d'observateurs positifs sur l'orthant positif. L'analyse de convergence est basée sur la métrique de Hilbert. L'avantage concurrentiel de notre méthode est que la vitesse de convergence peut être contrôlée.Notre étude concernant la synthèse d'observateurs par intervalles est basée sur la théorie des systèmes dynamiques positifs. Les observateurs par intervalles constituent un type d'observateurs très particuliers. Ce sont des outils développés depuis moins de 15 ans seulement : ils trouvent leur origine dans les travaux de Gouzé et al. en 2000 et se développent très rapidement dans de nombreuses directions. Un observateur par intervalles consiste en un système dynamique auxiliaire fournissant un intervalle dans lequel se trouve l'état, en considérant que l'on connait des bornes pour la condition initiale et pour les quantités incertaines. Les observateurs par intervalles donnent la possibilité de considérer le cas où des perturbations importantes sont présentes et fournissent certaines informations à tout instant. / This thesis presents new results in the field of state estimation based on the theory of positive systems. It is composed of two separate parts. The first one studies the problem of positive observer design for positive systems. The second one which deals with robust state estimation through the design of interval observers, is at the core of our work.We begin our thesis by proposing the design of a nonlinear positive observer for discrete-time positive time-varying linear systems based on the use of generalized polar coordinates in the positive orthant. For positive systems, a natural requirement is that the observers should provide state estimates that are also non-negative so they can be given a physical meaning at all times. The idea underlying the method is that first, the direction of the true state is correctly estimated in the projective space thanks to the Hilbert metric and then very mild assumptions on the output map allow to reconstruct the norm of the state. The convergence rate can be controlled.Later, the thesis is continued by studying the so-called interval observers for different families of dynamic systems in continuous-time, in discrete-time and also in a context "continuous-discrete" (i.e. a class of continuous-time systems with discrete-time measurements). Interval observers are dynamic extensions giving estimates of the solution of a system in the presence of various type of disturbances through two outputs giving an upper and a lower bound for the solution. Thanks to interval observers, one can construct control laws which stabilize the considered systems.

Cette thèse porte sur l’étude des stratégies d’amélioration de la qualité d’image dans les systèmes de communication sans fil et sur la conception de nouvelles métriques d’évaluation de la qualité. Tout d'abord, une nouvelle métrique de qualité d'image à référence réduite, basée sur un modèle statistique dans le domaine des ondelettes complexes, a été proposée. Les informations d’amplitude et de phase relatives des coefficients issues de la transformée en ondelettes complexes sont modélisées à l'aide de fonctions de densité de probabilité. Les paramètres associés à ces fonctions constituent la référence réduite qui sera transmise au récepteur. Ensuite, une approche basée sur les réseaux de neurones à régression généralisée est exploitée pour construire la relation de cartographie entre les caractéristiques de la référence réduite et le score objectif.Deuxièmement, avec la nouvelle métrique, une nouvelle stratégie de décodage est proposée pour la transmission d’image sur un canal de transmission sans fil réaliste. Ainsi, la qualité d’expérience (QoE) est améliorée tout en garantissant une bonne qualité de service (QoS). Pour cela, une nouvelle base d’images a été construite et des tests d’évaluation subjective de la qualité de ces images ont été effectués pour collecter les préférences visuelles des personnes lorsqu’elles sélectionnent les images avec différentes configurations de décodage. Un classificateur basé sur les algorithmes SVM et des k plus proches voisins sont utilisés pour la sélection automatique de la meilleure configuration de décodage.Enfin, une amélioration de la métrique a été proposée permettant de mieux prendre en compte les spécificités de la distorsion et la préférence des utilisateurs. Pour cela, nous avons combiné les caractéristiques globales et locales de l’image conduisant ainsi à une amélioration de la stratégie de décodage.Les résultats expérimentaux valident l'efficacité des métriques de qualité d'image et des stratégies de transmission d’images proposées. / This thesis focuses on the study of image quality strategies in wireless communication systems and the design of new quality evaluation metrics:Firstly, a new reduced-reference image quality metric, based on statistical model in complex wavelet domain, has been proposed. The magnitude and the relative phase information of the Dual-tree Complex Wavelet Transform coefficients are modelled by using probability density function and the parameters served as reduced-reference features which will be transmitted to the receiver. Then, a Generalized Regression Neural Network approach is exploited to construct the mapping relation between reduced-reference feature and the objective score.Secondly, with the new metric, a new decoding strategy is proposed for a realistic wireless transmission system, which can improve the quality of experience (QoE) while ensuring the quality of service (QoS). For this, a new database including large physiological vision tests has been constructed to collect the visual preference of people when they are selecting the images with different decoding configurations, and a classifier based on support vector machine or K-nearest neighboring is utilized to automatically select the decoding configuration.Finally, according to specific property of the distortion and people's preference, an improved metric has been proposed. It is the combination of global feature and local feature and has been demonstrated having a good performance in optimization of the decoding strategy.The experimental results validate the effectiveness of the proposed image quality metrics and the quality strategies.

La plupart des entreprises évoluent dans des marchés concurrentiels en adaptant rapidement leurs processus métiers. Leur performance dépend de leur capacité à utiliser des techniques d'amélioration continue de leur organisation par la mise au point de Systèmes Informatiques (SI) durables pour l'automatisation des processus. En ce sens, les architectures orientées services (Service Oriented Architectures) ont permis le développement de SI flexibles avec un style d'architecture prédominant de composition de services. Cependant, l'alignement de ces architectures aux impératifs de l'évolution des processus reste une préoccupation centrale. Dans cette thèse, nous étudions la cartographie et l'évolution des processus métiers depuis leur conception jusqu'à leur automatisation dans une architecture orientée services ainsi que son adaptation. Nous proposons une approche d'ingénierie dirigée par les modèles intégrée à un outil de modélisation de processus et de développement d'architectures orientées services. Celle-ci débute par la spécification d'un modèle BPMN (Business Process Modeling Notation) décrivant les interactions des processus métiers. Grâce à une chaîne de transformation automatisée, nous produisons un modèle SCA (Service Component Architecture) décrivant une solution de composition de services. Ceci garantit la traçabilité architecturale entre le niveau métier du SI et son niveau technique puisque les services générés décrivent une {logique applicative} qui met en œuvre la logique métier du modèle BPMN. Ensuite, nous introduisons une méthode de propagation du changement de la logique métier vers la logique applicative qui est fondée sur la synchronisation incrémentale entre les modèles BPMN et SCA. Elle est intégrée à un outil d'analyse de l'impact du changement qui se base sur la réécriture de graphes pour éviter les inconsistances induites par les modifications. Enfin, elle permet de simuler l'impact des évolutions des processus, pour en estimer le coût selon les métriques que nous proposons, avant de procéder à la réingénierie de l'architecture orientée services pour assurer une meilleure gouvernance du changement.

Dans l'optique d'une modification du système international d'unités (SI), le LNE développe l'expérience du triangle métrologique (ETM). Cette expérience consiste à appliquer la loi d'Ohm à l'aide des effets Hall quantique pour la résistance, Josephson pour la tension et tunnel à un électron (SET) pour le courant. L'objectif est d'augmenter notre connaissance de la cohérence des constantes impliquées dans ces phénomènes.<br />Dans ce cadre, nous nous somme intéressés dans cette thèse à la possibilité d'utiliser les pompes à électrons de type R à 3 jonctions de façon métrologique autour de 10 pA. Notre montage expérimental est conçu afin de mesurer le courant quantifié généré par le dispositif en utilisant un comparateur cryogénique de courants (CCC).<br />Les principaux résultats ont été obtenus avec une pompe fabriquée par la PTB couplée à un CCC connecté en contre-réaction interne, i.e. utilisé comme un amplificateur de courant et ne donnant qu'une valeur relative du courant. Ces expériences ont permis de montrer l'existence de marches de courant jusqu'à environ 16 pA et une stabilité du courant généré par le dispositif sur des temps longs, indépendamment de la fréquence de pompage jusqu'à 100 MHz. Le niveau de bruit blanc est de 10-15 fA/Hz^(1/2) et, après 7 heures de mesure à une fréquence de 100 MHz, une incertitude relative de type A de 4.10^(-6) a été atteinte.<br />La dernière partie de ce travail présente la première réalisation directe de l'ETM. Dans ce cas, le courant généré par la pompe traverse une résistance étalonnée et la tension aux bornes de celle-ci est comparée à la tension délivrée par un réseau Josephson. Les premiers résultats qui sont présentés semblent prometteurs.

Le but de ce mémoire est d'effectuer un survol de mes travaux effectués depuis janvier 2007. Le sujet d'étude se situe à l'une des intersections entre la combinatoire, la dynamique topologique et la logique via le formalisme des structures ultrahomogènes et de la théorie de Fraïssé. Ce domaine a récemment connu un essor considérable grâce à deux contributions majeures par Kechris, Pestov et Todorcevic, et par Kechris et Rosendal. Mon travail part de la première de ces contributions et se concentre autour des deux thèmes suivants : Théorie de Ramsey structurale et dynamique topologique des groupes de transformation associés.

La thématique étudiée dans ce mémoire est axée sur la préservation de la stabilité dynamique de véhicules évoluant en environnement naturel. En effet, la mobilité en milieu tout-terrain est une activité particulièrement pénible et dangereuse en raison de la nature difficile de l'environnement de conduite et de la reconfigurabilité des machines. Le caractère changeant et incertain des interactions rencontrées entre des véhicules à dynamique complexe et variable et leur environnement entraîne régulièrement des risques accrus de renversement et/ou de perte de contrôle (dévalement, dérapage déclenché par une perte soudaine d'adhérence) pour le conducteur. Une forte accidentalité mortelle est, en effet, recensée dans ce secteur, en particulier, dans le milieu agricole ou le renversement de véhicule est classé comme étant la première cause de mortalité au travail. A l'heure actuelle, les approches existantes sur la stabilité d'engins agricoles sont qualifiées à juste titre de passives car elles ne permettent pas d'éviter que les accidents ne se produisent. Par ailleurs, la transposition directe des solutions de sécurité active du secteur de l'automobile (ABS, ESP) s'est révélée inadaptée aux véhicules tout-terrain a cause des hypothèses simplificatrices (routes plates et homogènes, conditions d'adhérence constantes, etc.) dont souffre la conception de ces dispositifs. Ainsi, le développement de systèmes actifs de sécurité prenant en compte les spécificités de la conduite en milieu tout-terrain se révèle être la meilleure voie d'amélioration à suivre. Eu égard à ces circonstances, ce projet se propose d'adresser cette problématique en étudiant des métriques de stabilité pertinentes permettant d'estimer et d'anticiper en temps réel les risques afin de permettre des actions correctives pour la préservation de l'intégrité des machines tout-terrain. Afin de faciliter l'industrialisation du dispositif actif de sécurité conçu, l'une des contraintes sociétales et commerciales de ce projet a été l'utilisation de capteurs compatibles avec le coût des machines visées. L'objectif ambitieux de cette étude a été atteint par différentes voies. En premier lieu, une approche de modélisation multi-échelle a permis de caractériser l'évolution dynamique de véhicules en milieu tout-terrain. Cette approche à dynamique partielle a offert l'avantage de développer des modèles suffisamment précis pour être représentatifs du comportement réel de l'engin mais tout en présentant une structure relativement simple permettant la synthèse d'asservissements performants. Puis, une étude comparative des avantages et des inconvénients des trois grandes familles de métriques répertoriées dans la littérature a permis de mettre en exergue l'intérêt des métriques analytiques à modèle dynamique par rapport aux catégories de critères de stabilité dits statiques et empiriques. Enfin, l'analyse approfondie des métriques dynamiques a facilité le choix de trois indicateurs (Lateral and Longitudinal Load Transfer (LLT), Force Angle Stability Measurement (FASM) et Dynamic Energy Stability Measurement (DESM)) qui sont représentatifs d'un risque imminent de renversement du véhicule. La suite du mémoire s'appuie sur la théorie d'observation pour l'estimation en ligne des variables non directement mesurables en milieu tout-terrain telles que les rigidités de glissement et dérive du pneumatique. Jumelée aux différents modèles dynamiques du véhicule, la synthèse d'observateurs a permis donc d'estimer en temps réel les efforts d'interaction pneumatiques-sol nécessaires à l'évaluation des indicateurs d'instabilité. Le couplage de ces modèles multi-échelles à la théorie d'observation a ainsi constitué un positionnement original à même de briser la complexité de la caractérisation de la stabilité de véhicules à dynamiques complexes et incertaines. (...) / This work is focused on the thematic of the maintenance of the dynamic stability of off-road vehicles. Indeed, driving vehicles in off-road environment remains a dangerous and harsh activity because of the variable and bad grip conditions associated to a large diversity of terrains. Driving difficulties may be also encountered when considering huge machines with possible reconfiguration of their mechanical properties (changes in mass and centre of gravity height for instance). As a consequence, for the sole agriculture sector, several fatal injuries are reported per year in particular due to rollover situations. Passive protections (ROllover Protective Structure - ROPS) are installed on tractors to reduce accident consequences. However, protection capabilities of these structures are very limited and the latter cannot be embedded on bigger machines due to mechanical design limitations. Furthermore, driving assistance systems (such as ESP or ABS) have been deeply studied for on-road vehicles and successfully improve safety. These systems usually assume that the vehicle Center of Gravity (CG) height is low and that the vehicles are operating on smooth and level terrain. Since these assumptions are not satisfied when considering off-road vehicles with a high CG, such devices cannot be applied directly. Consequently, this work proposes to address this research problem by studying relevant stability metrics able to evaluate in real time the rollover risk in order to develop active safety devices dedicated to off-road vehicles. In order to keep a feasible industrialization of the conceived active safety device, the use of compatible sensors with the cost of the machines was one of the major commercial and societal requirements of the project. The ambitious goal of this study was achieved by different routes. First, a multi-scale modeling approach allowed to characterize the dynamic evolution of off-road vehicles. This partial dynamic approach has offered the advantage of developing sufficiently accurate models to be representative of the actual behavior of the machine but having a relatively simple structure for high-performance control systems. Then, a comparative study of the advantages and drawbacks of the three main families of metrics found in the literature has helped to highlight the interest of dynamic stability metrics at the expense to categories of so-called static and empirical stability criteria. Finally, a thorough analysis of dynamic metrics has facilitated the choice of three indicators (Longitudinal and Lateral Load Transfer (LLT), Force Angle Stability Measurement (FASM) and Dynamic Energy Stability Measurement (DESM)) that are representative of an imminent rollover risk. The following of the document is based on the observation theory for estimating online of variables which are not directly measurable in off-road environment such as slip and cornering stiffnesses. Coupled to the dynamic models of the vehicle, the theory of observers has helped therefore to estimate in real time the tire-soil interaction forces which are necessaries for evaluating indicators of instability. The coupling of these multiscale models to the observation theory has formed an original positioning capable to break the complexity of the characterization of the stability of vehicles having complex and uncertain dynamics. (...)

Cette thèse comporte deux parties distinctes, toutes les deux liées à la théorie du transport optimal. Dans la première partie, nous considérons une variété riemannienne, deux mesures à densité régulière et un coût de transport, typiquement la distance géodésique quadratique et nous nous intéressons à la régularité de l’application de transport optimal. Le critère décisif à cette régularité s’avère être le signe du tenseur de Ma-Trudinger-Wang (MTW). Nous présentons tout d’abord une synthèse des travaux réalisés sur ce tenseur. Nous nous intéressons ensuite au lien entre la géométrie des lieux d’injectivité et le tenseur MTW. Nous montrons que dans de nombreux cas, la positivité du tenseur MTW implique la convexité des lieux d’injectivité. La deuxième partie de cette thèse est liée aux équations aux dérivées partielles. Certaines peuvent être considérées comme des flots gradients dans l’espace de Wasserstein W2. C’est le cas de l’équation de Keller-Segel en dimension 2. Pour cette équation nous nous intéressons au problème de quantification de la masse lors de l’explosion des solutions ; cette explosion apparaît lorsque la masse initiale est supérieure à un seuil critique Mc. Nous cherchons alors à montrer qu’elle consiste en la formation d’un Dirac de masse Mc. Nous considérons ici un modèle particulaire en dimension 1 ayant le même comportement que l’équation de Keller-Segel. Pour ce modèle nous exhibons des bassins d’attractions à l’intérieur desquels l’explosion se produit avec seulement le nombre critique de particules. Finalement nous nous intéressons au profil d’explosion : à l’aide d’un changement d’échelle parabolique nous montrons que la structure de l’explosion correspond aux points critiques d’une certaine fonctionnelle. / This thesis consists in two distinct parts both related to the optimal transport theory.The first part deals with the regularity of the optimal transport map. The key tool is the Ma-Trundinger-Wang tensor and especially its positivity. We first give a review of the known results about the MTW tensor. We then explore the geometrical consequences of the MTW tensor on the injectivity domain. We prove that in many cases the positivity of MTW implies the convexity of the injectivity domain. The second part is devoted to the behaviour of a Keller-Segel solution in the super critical case. In particular we are interested in the mass quantization problem: we wish to quantify the mass aggregated when the blow-up occurs. In order to study the behaviour of the solution we consider a particle approximation of a Keller-Segel type equation in dimension 1. We define this approximation using the gradient flow interpretation of the Keller-Segel equation and the particular structure of the Wasserstein space in dimension 1. We show two kinds of results; we first prove a stability theorem for the blow-up mechanism: we exhibit basins of attraction in which the solution blows up with only the critical number of particles. We then prove a rigidity theorem for the blow-up mechanism: thanks to a parabolic rescaling we prove that the structure of the blow-up is given by the critical points of a certain functional.

Dans la veine du programme d'Erlangen de Klein, travaux d'E. Cartan, M. Gromov, et d'autres, ce travail se trouve à cheval, entre la géométrie et les actions de groupes. Le thème global serait de comprendre les groupes d'isométries des variétés pseudo-riemanniennes. Plus précisément, suivant une "conjecture vague" de Gromov, classifier les variétés pseudo-riemanniennes dont le groupe d'isométries agit non-proprement, i.e. que son action ne préserve pas de métrique riemannienne auxiliaire?Plusieurs travaux ont été accomplis dans le cas des métriques lorentziennes (i.e. de signature (- +...+)). En revanche, le cas pseudo-riemannien général semble hors de portée.Les structures Hermite-Lorentz se trouvent entre le cas lorentzien et le premier cas pseudo-riemannien général, i.e. de signature (- - +…+). De plus, elle se définit sur des variétés complexes, et promet une extra-rigidité. Plus précisément, une structure Hermite-Lorentz sur une variété complexe consiste en une métrique pseudo-riemannienne de signature (- - +…+) qui est hermitienne au sens qu'elle est invariante par la structure presque complexe. Par analogie au cas hermitien classique, on définit naturellement une notion de métrique Kähler-Lorentz.Comme exemple, on a l'espace de Minkowski complexe ; dans un certain sens, on a un temps de dimension 1 complexe (du point de vue réel, le temps est 2-dimensionnel). On a également l'espace de Sitter et anti de Sitter complexes. Ils ont une courbure holomorphe constante, et généralisent dans ce sens les espaces projectifs et hyperboliques complexes.Cette thèse porte sur les variétés Hermite-Lorentz homogènes. En plus des exemples cités, il y a deux autres espaces symétriques, qui peuvent naturellement jouer le rôle de complexification des espaces de Sitter et anti de Sitter réels.Le résultat principal de la thèse est un théorème de rigidité de ces espaces symétriques : tout espace Hermite-Lorentz homogène à isotropie irréductible est l'un des cinq espaces symétriques précédents. D'autres résultats concernent le cas où l'on remplace l'hypothèse d'irréductibilité par le fait que le groupe d'isométries soit semi-simple. / In the vein of Klein's Erlangen program, the research works of E. Cartan, M.Gromov and others, this work straddles between geometry and group actions. The overall theme is to understand the isometry groups of pseudo-Riemannian manifolds. Precisely, following a "vague conjecture" of Gromov, our aim is to classify Pseudo-Riemannian manifolds whose isometry group act’s not properly, i.e that it’s action does not preserve any auxiliary Riemannian metric. Several studies have been made in the case of the Lorentzian metrics (i.e of signature (- + .. +)). However, general pseudo-Riemannian case seems out of reach. The Hermite-Lorentz structures are between the Lorentzian case and the former general pseudo-Riemannian, i.e of signature (- -+ ... +). In addition, it’s defined on complex manifolds, and promises an extra-rigidity. More specifically, a Hermite-Lorentz structure on a complex manifold is a pseudo-Riemannian metric of signature (- -+ ... +), which is Hermitian in the sense that it’s invariant under the almost complex structure. By analogy with the classical Hermitian case, we naturally define a notion of Kähler-Lorentz metric. We cite as example the complex Minkowski space in where, in a sense, we have a one-dimensional complex time (the real point of view, the time is two-dimensional). We cite also the de Sitter and Anti de Sitter complex spaces. They have a constant holomorphic curvature, and generalize in this direction the projective and complex hyperbolic spaces.This thesis focuses on the Hermite-Lorentz homogeneous spaces. In addition with given examples, two other symmetric spaces can naturally play the role of complexification of the de Sitter and anti de Sitter real spaces.The main result of the thesis is a rigidity theorem of these symmetric spaces: any space Hermite-Lorentz isotropy irreducible homogeneous is one of the five previous symmetric spaces. Other results concern the case where we replace the irreducible hypothesis by the fact that the isometry group is semisimple.

Dans cette thèse est proposée une définition du genre poétique bien connu qu’est la poésie bucolique. Son point de départ réside dans le double statut qui la caractérise : c’est à la fois un titre (les Bucoliques) et un genre (la poésie bucolique). Le fait de privilégier l’un ou l’autre de ces statuts oriente la définition qui est retenue. Nous avons donc examiné les sources antiques et tenté d’inverser la perspective habituellement retenue : alors que l’on considère souvent que c’est le genre qui a engendré le titre, nous pensons que c’est le titre (Bucoliques) qui a engendré le genre. En d’autres termes, à l’origine, un poème bucolique n’est pas un « poème de bouviers », mais un poème contenu dans un recueil intitulé Βουκολικά. Ce n’est que dans un second temps que le sens du titre originel (Βουκολικά) se serait restreint au genre tel que nous le connaissons aujourd’hui (une « poésie de bouviers », souvent réduite à une « poésie de pâtres ») et qui aurait entraîné, à la fin de l’Antiquité, le remplacement de ce titre par les mots « idylles » et « églogues », qui à l’origine n’avaient aucun rapport avec la poésie bucolique. La définition du poème bucolique que nous proposons est fondée sur la rencontre entre deux personnes et l’interprétation d’un chant, car ce schéma s’observe dans la plupart des poèmes bucoliques, y compris post-théocritéens. Dès lors opère une loi de variation censée varier le genre des chants insérés. Cela créée une hiérarchie entre les genres : le poème bucolique n’est pas un poème de bouviers, mais un poème comportant l’interprétation d’un chant dont le genre est appelé à varier. La notion de « mime » n’est ici étudiée qu’à titre de variante de la bucolicité. En effet, trois poèmes de Théocrite sont ainsi décrits parce qu’ils n’appartiennent ni au monde de la campagne (poèmes bucoliques), ni au monde des héros (epyllia). Nous analysons la manière dont cette catégorie s’est constituée, puis sa pertinence : si elle permet à n’en pas douter de constater des codes communs entre les poèmes de Théocrite et ceux d’Hérondas, elle ne doit pas faire oublier que la différence métrique entre les deux auteurs implique une différence d’esthétique. / The aim of this study is a definition of Bucolic poetry. Nowadays it can be analized as a title (Bucolics) or as a poetry genre (bucolic poetry). The choice which is made between these two categories has consequences on the way bucolic poetry is theorised. I try to demonstrate that the genre was invented out of the title : at first, a bucolic poem was no more than a poem included in collection entitled Βουκολικά. At the end of Antiquity this title had been changed into Idylls in the Greek-speaking World and into Eglogues in the Latin-speaking world because the definition has changed. « Bucolicity » is based not on the cowherd, but on a scenario which is repeated from a poem to another : two people meet, a song is sung, and the people leave each other. Any poetic genre could be included in the song which is sung, so I distinguish the bucolic poem from the inserted song which lies inside. I then compare Theocritus to Herodas and Sophron because some bucolic poems are nowadays called « urban mimes ». The name of this categorie is modern, so it shows how new definitions (and new termes) are constantly proposed for poetic genres.

Le but de cette thèse est d'étudier la méthode de Newton pour résoudre numériquement les inclusions variationnelles, appelées aussi dans la littérature les équations généralisées. Ces problèmes engendrent en général des opérateurs multivoques. La première partie est dédiée à l'extension des approches de Kantorovich et la théorie (alpha, gamma) de Smale (connues pour les équations non-linéaires classiques) au cas des inclusions variationnelles dans les espaces de Banach. Ceci a été rendu possible grâce aux développements récents des outils de l'analyse variationnelle et non-lisse tels que la régularité métrique. La seconde partie est consacrée à l'étude de méthodes numériques de type-Newton pour les inclusions variationnelles en utilisant la différentiabilité généralisée d'applications multivoques où nous proposons de linéariser à la fois les parties univoques (lisses) et multivoques (non-lisses). Nous avons montré que, sous des hypothèses sur les données du problème ainsi que le choix du point de départ, la suite générée par la méthode de Newton converge au moins linéairement vers une solution du problème de départ. La convergence superlinéaire peut-être obtenue en imposant plus de conditions sur l'approximation multivaluée. La dernière partie de cette thèse est consacrée à l'étude des équations généralisées dans les variétés Riemaniennes à valeurs dans des espaces euclidiens. Grâce à la relation entre la structure géométrique des variétés et les applications de rétractions, nous montrons que le schéma de Newton converge localement superlinéairement vers une solution du problème. La convergence quadratique (locale et semi-locale) peut-être obtenue avec des hypothèses de régularités sur les données du problème. / This thesis is devoted to present some results in the scope of Newton-type methods applied for inclusion involving set-valued mappings. In the first part, we follow the Kantorovich's and/or Smale's approaches to study the convergence of Josephy-Newton method for generalized equation (GE) in Banach spaces. Such results can be viewed as an extension of the classical Kantorovich's theorem as well as Smale's (alpha, gamma)-theory which were stated for nonlinear equations. The second part develops an algorithm using set-valued differentiation in order to solve GE. We proved that, under some suitable conditions imposed on the input data and the choice of the starting point, the algorithm produces a sequence converging at least linearly to a solution of considering GE. Moreover, by imposing some stronger assumptions related to the approximation of set-valued part, the proposed method converges locally superlinearly. The last part deals with inclusions involving maps defined on Riemannian manifolds whose values belong to an Euclidean space. Using the relationship between the geometric structure of manifolds and the retraction maps, we show that, our scheme converges locally superlinearly to a solution of the initial problem. With some more regularity assumptions on the data involved in the problem, the quadratic convergence (local and semi-local) can be ensured.