L’ocytocine est un petit peptide synthétisé par des neurones de l’hypothalamus. Il est connu pour ses rôles dans la reproduction et les interactions sociales, en particulier dans les interactions mère-enfants, mais possède également un effet analgésique endogène. Au cours de cette thèse, j’ai cherché à comprendre plus en détail les circuits qui sous-tendent son effet analgésique. Dans un second temps j’ai cherché à déterminer si une séparation maternelle précoce, qui affecte les interactions mère-enfants, perturbe les réponses à la douleur et l’analgésie ocytocinergique chez la descendance. Ces travaux ont permis d’identifier un groupe de neurones ocytocinergiques dans l’hypothalamus, capables de diminuer la douleur par une double action. D’une part ils inhibent directement la transmission de l’information nociceptive dans la moelle épinière, et d’autre part contrôlent l’activité de neurones à ocytocine libérant la molécule dans la circulation sanguine. Notre étude sur la séparation maternelle démontre qu’elle induit une hypersensibilité à la douleur à l’âge adulte et un dysfonctionnement de l’analgésie endogène ocytocinergique. / Oxytocin is a small peptide synthesized in hypothalamic neurons. She is well known for its roles in reproduction and social interactions, especially in mother-infant interactions, but also displays analgesic effects. During this thesis, I tried to get a better understanding of the circuits underlying OT analgesia. Then, I tried to determine if neonatal maternal separation, affecting mother-infant interactions, alters adult pain responses and oxytocin analgesia. This work allowed to identify a subgroup of oxytocinergic neurons in the hypothalamus, able to decrease pain through a dual action. They directly inhibit nociceptive transmission in the spinal cord and control the activity of another population of oxytocinergic neurons releasing the peptide in the bloodstream. Our work on maternal separation shows that it induces nociceptive hypersensitivity at adulthood, and a dysfunction in oxytocin analgesia.

Ce travail s'intéresse aux altérations des systèmes fluviaux et à leur modélisation à une échelle de temps intermédiaire, de l'ordre de quelques décennies, et à l'échelle spatiale de bassins versants étendus et complexes. Une revue de la littérature montre que cette question reste principale chez les géomorphologues. Elle permet de dégager les constantes des différents modèles conceptuels qui ont été développés et en particulier i) la dépendance aux conditions hydrologiques et aux conditions d'alimentation solide, ii) la réaction du système pour s'adapter en cas d'altération de ces conditions, et iii) la propagation de ces perturbations avec une atténuation progressive vers l'aval du bassin versant. Nous avons choisi d'étudier plus particulièrement les perturbations introduites par les aménagements hydroélectriques à l'échelle du bassin versant en développant un modèle conceptuel, basée sur une description volontairement limitée des altérations hydrologiques et d'alimentation solide, et sur la connaissance experte pour la prédiction de l'évolution de la morphologie des rivières alluviales. L'objectif est la détermination des trajectoires d'évolution de variables représentatives de la morphologie de la rivière qui les font évoluer d'un état d'équilibre dynamique à un autre. Nous avons testé ce modèle sur une représentation du bassin versant de l'Isère à l'amont de Grenoble (5818 km2) en intégrant une description du schéma complexe d'aménagements hydroélectriques construits dans la deuxième moitié du XXème siècle. La modélisation donne des résultats cohérents avec les observations du système mais qui sont limitées par les hypothèses fortes d'un équilibre initial du système fluvial et de l'unicité de l'origine des perturbations. En dernière partie, nous ébauché le développement d'un modèle numérique simplifié destiné à prendre en compte la période de transition entre les états d'équilibre dynamique. Ce modèle permet d'évaluer la durée de la période transitoire d'un tronçon de rivière et de valider l'utilisation du concept de débit morphogène qui est fait dans le modèle conceptuel des équilibres dynamiques. Ce modèle permet de simuler la superposition d'altérations mais, dans l'état actuel, il ne permet pas de modéliser la cinétique de la propagation des altérations amont vers l'aval du bassin versant. Mots-clés : morphologie fluviale, bassin versant, régime hydrologique, apports sédimentaires, aménagements hydroélectriques, trajectoires de ajustements, cinétique de évolution du lit. / Abstract This work focuses on the geomorphological dynamics of a river system and the modelling of these changes over a medium time scale (the order of a few decades) and a large watersheds spatial scale (the order of 5000 km2). A literature review shows that this subject is one of the main issues in fluvial geomorphology today. It reveals the constants of different conceptual models that have been developed and in particular i) the dependence of geomorphological dynamics on hydrological flow regime and sediment supply conditions, ii) the ability of the system to adapt, in case of alteration in hydrological flow regime and sediment supply, and iii) the spread of these disturbances with the gradual attenuation of the effect of alteration downstream. In particular, we chose to study the effect of disturbances introduced by hydroelectric structures on the river morphology at the watershed scale by developing a conceptual river morphology model. The model outline was based on a, deliberately limited, description of hydrological regime and -sediment supply alterations, and on expert knowledge to predict the morphological evolution in alluvial rivers. The objective of this work was to determine the direction of evolution trajectories of the river morphology, trough representative variables that evolve from one dynamic equilibrium state to another. We tested the model on a representation of the Isère watershed, upstream of Grenoble, France (5818 km2), incorporating a description of the complex pattern of hydropower structures, built during the second half of the XXth century. The modelled changes in river morphology give results that are consistent with the observations. However, the model is limited by two strong assumptions: i) the initial equilibrium of the system and ii) the synchronisation of the disturbances. In the final section, we described the development of a simplified numerical model which aims to take into account the transient period between the dynamic equilibrium states. This model is used to evaluate the duration of the relaxation period for a river reach and validate the use of the channel-forming discharge concept that was used in the conceptual model. The model simulates the overlay of the disturbances, but in the current state it is not capable of modelling the kinetic propagation of the disturbances downstream into the watershed. fluvial morphology, watershed, hydrological flow regime, sediment supply, hydropower structures

De nos jours, les processus métiers permettent une automatisation croissante des tâches et des interconnexions complexes au sein du même système et entre différents systèmes, ce qui est particulièrement facilité par l'émergence des services Web. Dans ce contexte, les tâches de spécification et de vérification de la conformité pendant l’exécution deviennent particulièrement intéressantes. Dans cette thèse, on s’intéresse à deux aspects, le monitoring et la sécurité dans le contexte de l’Architecture Orienté Service (SOA). Ainsi, nous proposons une approche fondée sur le concept de vue et une plateforme qui vise le monitoring de la conformité des processus métiers pendant leur exécution. Ainsi, nous avons développé un langage de monitoring appelé BPath, qui est un langage basé sur XPath, qui offre entre autres, la possibilité de spécifier et de vérifier des propriétés de la logique temporelle linéaire et hybride, des requêtes visant à évaluer des indicateurs quantitatifs sur l’exécution d’un processus métier, ceci dans le but de détecter toute violation des règles de conformité pendant l’exécution.Une des préoccupations spécifiques du monitoring de la conformité pour les environnements basés sur SOA est la sécurité. Ainsi, nous proposons une architecture de sécurité fondée sur des langages dédiés (DSL) pour SOA. Nous avons particulièrement développé une DSL graphique pour faciliter la spécification et la génération des contrôles d’accès. Nos approches sont mises en œuvre et intégrés dans une plateforme développée dans le cadre du projet Européen COMPAS qui vise à assurer la conformité de bout en bout dans les environnements basés sur SOA. / Nowadays, business processes allow more automation of tasks and complex interconnections within the same system and across different systems, which is particularly facilitated by the emergence of Web services. In this context, the tasks of specifying and checking compliance at runtime become particularly challenging.In this thesis, our goal is twofold: monitoring and security in the context of Service Oriented Architecture (SOA). Thus, we proposed a view-based monitoring approach and a framework that target monitoring of business process compliance at runtime. Our monitoring framework aims to offer an easy way to specify properties to be monitored and to facilitate its integration with SOA based environments. Thus, we have developed a new monitoring language called BPath, which is an XPath-based language that offers among others, the ability to express and to check temporal and hybrid logic properties at runtime, making the execution of business processes visible by expressing and evaluating quantitative indicators, in order to detect any compliance violation at runtime. A specific compliance monitoring concern in SOA based environment is security, which is also an important aspect for companies willing to give access to some of their resources over the Web. Thus, we proposed a domain specific language (DSL) based architecture for ensuring security in SOA environments. We particularly focused on access control by proposing a graphical language to facilitate the specification and generation of access control policies.Our approaches are implemented and integrated within a complete end to end compliance framework developed within the COMPAS project.

Dans cette thèse, nous présentons de nouvelles méthodes de traitement d’images pourextraire ou rehausser les éléments fins d’une image. Pour ces opérateurs, issus de la morphologie mathématique,l’accent a été mis principalement sur la précision de détection et sur le temps de calcul,qui doivent être optimisés pour pouvoir répondre aux contraintes de temps imposées par différentesapplications industrielles. La première partie de ce mémoire présente ces méthodes, organisées enfonction de la tortuosité des objets à détecter. Nous commençons par proposer un algorithme rapidepour le calcul des ouvertures 1-D afin d’extraire des structures rectilignes des images. Puis, nous étudionsune nouvelle classe d’opérateurs rapides avec les ouvertures parcimonieuses par chemins, permettantd’analyser des structures ayant une tortuosité modérée. Enfin, nous proposons de nouveauxéléments structurants adaptatifs et des filtres connexes construits avec des attributs géodésiques etgéométriques pour extraire des structures filiformes ayant une tortuosité quelconque.Dans un second temps, nous avons développé une méthode d’analyse statistique en introduisantune nouvelle pénalisation adaptative. L’objectif consiste à créer un modèle prédictif précis, quiminimise en même temps une fonction de coût, indépendante des données. Lorsque cette fonctionde coût est liée au temps de calcul de chaque descripteur, il est alors possible de créer un modèleparcimonieux précis et qui minimise les temps de calcul. Cette méthode est une généralisation desrégressions linéaires et logistiques Ridge, Forward stagewise, Lar, ou Lasso.Les algorithmes développés dans cette thèse ont été utilisés pour trois applications industrielles,très différentes les unes des autres, mais toutes faisant intervenir une approche multidisciplinaire : letraitement d’images et l’analyse statistique. L’association de ces deux disciplines permet d’améliorerla généricité des stratégies proposées puisque les opérateurs de traitement d’images alliés à un apprentissagesupervisé ou non supervisé, permettent d’adapter le traitement à chaque application.Mots clés : Traitement d’images, morphologie mathématique, analyse statistique, caractérisation deformes, contrôles non destructifs, ouvertures parcimonieuses par chemins, region growing structuringelements, amincissements par attributs géodésiques et topologiques, adaptive coefficient shrinkage. / This PhD is dedicated to new image processing methods to extract or enhance thinobjects from an image. These methods stem from mathematical morphology, and they mainly focuson the accuracy of the detection and on the computation time. This second constraint is imposed bythe fact that we are dealing with high-throughput applications. The first part of this thesis presentsthese methods, organized according to the tortuosity of the objects to detect. We first propose afast algorithm for the computation of 1-D openings, used to extract thin and straight structures in theimages. Then, we study a new class of fast operators, parsimonious path openings, which can extractthin structures with moderate tortuosities. Finally, we propose new adaptive structuring elementsand new thinnings with geodesic and geometric attributes to filter out the noise and to enhance thinstructures of any tortuosity.Besides, we have developed a machine learning method by introducing a new adaptive penalization.We aim at creating a predictive model that minimizes a cost function (independent of the data)while preserving a good accuracy. When this cost function is linked to the computation time of eachfeature, the resulting models will optimize the timings, while preserving a good accuracy. This methodis a generalization of linear and logistic regressions with Ridge, Forward stagewise, Lar or Lassopenalization.The algorithms developed in this thesis have been used for three industrial applications. While theirobjectives are very different, the framework is the same (non-destructive testing) and they all involvea multidisciplinary approach (images processing and statistical analysis). The combination of thesetwo fields yields a higher flexibility in comparison with classical methods. Generic strategies are used,since image processing operators are associated to statistical learning (supervised or unsupervised)to make a specific treatment for each application.Keywords: Image processing, mathematical morphology, statistical analysis, pattern recognition,non destructive testing, parsimonious path openings, region growing structuring elements, geodesicand topologic attributes thinnings, adaptive coefficient shrinkage.

Cette thèse analyse les usages des technologies de l’information dans les organisations et leur influence sur les assemblages de contrôles. Un modèle d’analyse structurationniste des conséquences des usages des technologies fait l’objet d’une adaptation aux assemblages de contrôles. Ce modèle est mobilisé sur un cas d’appropriation d’une technologie de base de données collaborative. Cette étude comprend une phase préliminaire de 34 entretiens. 44 autres entretiens et 14 journées d’observation sont réalisés pour étudier un processus d’appropriation de sept années. La thèse montre que les usages de la technologie s’apparentent à une négociation aboutissant à la révision des contrôles utilisés. Deux changements sont mis en avant. D’un côté, on assiste à l’actualisation des contrôles administratifs qui se coalisent pour obtenir une reddition de comptes systématique et spontanée des individus. De l’autre, on assiste à une dissolution des contrôles sociaux et à un repositionnement des dispositifs intégratifs au carrefour du contrôle social et administratif. Ces changements traduisent la diffusion d’une logique comptable avancée dans l’organisation. / This dissertation analyses information based technologies usages in organizations and their influence on control assemblages.An existing structurational view of technology usages consequences is adapted to an approach of control that is also informed by structurational principles. The resulting model of analysis is mobilised for studying a collaborative technology appropriation process. A preliminary study based on 34 interviews is carried out to outline the appropriation context of this technology. The main case study is grounded on 44 interviews and 14 days of non participative observations.This research shows that usages as they develop, are similar to successive negotiation steps that progressively revise control. This process entails two main revisions. On the one hand, administrative control can be seen as updated as they coalise to obtain a systematic and spontaneous reporting from individuals. On the other hand, appropriation brings the dissolution of social control and integrative devices split from the group they originate from. These revisions can be seen as the diffusion of an advanced 360° accounting logic.

Ce document constitue l'aboutissement de trois années de thèse. Après avoir introduit et dégagé la problématique générale se rapportant à mon sujet de thèse, à savoir « comment utiliser les données de provenance pour favoriser un Cloud de confiance ? », je présente une description des concepts, modèles et langages se rapportant à ma thèse et l'état de l'art qui peut répondre en partie à cette problématique. En second lieu, je présente la solution basée sur la provenance que j'apporte aux contrôles d'accès, dans les systèmes distribués comme le Cloud : PBAC². Elle repose sur un système combinant à la fois des modèles de provenance (PROV-DM) et de contrôles d'accès (règles génériques de type RBAC avec des politiques d'embrigadement ou de réglementation). Ce système utilise un moteur d'exécution central appelé le médiateur pour renforcer la sécurité et favoriser la confiance dans le Cloud, via la vérification de règles sur une partie du graphe de provenance rétrospective qu'il a reçue. Par ailleurs, je décris l'étude que j'ai faite de trois extensions de PBAC² : (1) l'intégration de l'ontologie PROV-O et ses avantages et inconvénients quant à la taille du (sous-)graphe de provenance reçu par le médiateur ; (2) la construction de l'adaptation de PBAC² avec l'approche de sécurité qu'est la réglementation; (3) la traduction des règles PBAC² en contraintes PROV-CONSTRAINTS. De plus, PBAC² est appliqué sur un exemple réaliste propre au secteur médical. Un prototype de PBAC² et une démonstration sur des exemples concrets avec une machine locale et un système de Cloud réel illustrent la portée de ce travail. En conclusion de la thèse, je propose quatre perspectives de ce travail. / This document is the culmination of three years of thesis. Having introduced and cleared the general issue related to my thesis subject, i.e. « how to use provenance data to enforce trust in the Cloud? », I present a description of the concepts, models and languages related to my thesis and the state of the art that can partially address this issue. Secondly, I present the solution based on provenance that I bring to access controls, in distributed systems such as the Cloud: PBAC². It is based on a system combining both provenance models (PROV-DM) and access controls (generic rules of RBAC type with regimentation and regulation policies). This system uses a central execution engine denoted the mediator to enforce security and foster trust in the Cloud, via rule checking over a part of the retrospective provenance graph it received. Furthermore, I describe the study I made of three PBAC² extensions: (1) the integration of the PROV-O ontology and its pros and cons regarding the size of the (sub)graph received by the mediator; (2) the construction of the PBAC² adaptation with the regulation security approach; (3) the translation of PBAC² rules into PROV CONSTRAINTS constraints. Moreover, PBAC² is applied to a realistic example that belongs to the healthcare sector. A PBAC² prototype and a demonstration on some practical examples with a local machine and a real Cloud system illustrate the scope of this work. In conclusion of the thesis, I propose four perspectives of this work.

L’objectif de ce travail est de contribuer à la modélisation du couplage hydromécanique, existant entre la déformation de la préforme fibreuse et l’écoulement de la résine, et par la suite à la simulation des procédés d’infusion. La méthode de résolution numérique déployée dans ce cadre est de type éléments finis avec volumes de contrôles (CVFEM) formulée en 2D½. Une nouvelle approche de modélisation de procédé d’infusion est proposée. Dans cette méthode, nous avons introduit des éléments 1D qui traduisent l’écoulement transverse. Cette approche permet de surmonter la difficulté numérique relative à l’usage des éléments finis volumiques pour un calcul 3D, notamment pour simuler la mise en œuvre des pièces industrielles de grandes dimensions. Le modèle fait appel à des lois de comportements caractérisées expérimentalement et qui permettent de tenir compte de l’évolution de la perméabilité et la compressibilité du milieu fibreux au cours de l’infusion. Diverses confrontations entre le modèle numérique proposé, des méthodes analytiques et expérimentales ont été menées. Une application du modèle dans la simulation de l’infusion d’un démonstrateur industriel de géométrie complexe est également réalisée. Les résultats obtenus sont très encourageants et révèlent l’efficacité de l’outil développé dans la simulation du procédé d’infusion / The aim of this work is to model the hydromechanical coupling that exists between the preform compressibility and the resin flow in order to simulate the infusion processes. The numerical method used in this study is based on the Control Volume Finite Elements Method (CVFEM) in 2D½. A new modelling approach of the infusion process is proposed. In this method, we introduced 1D elements to include through-the-thickness flow. This approach allows to reduce the computational time in comparison with full 3D modelling, especially in the simulation of industrial part infusion with large dimensions. The developed model is alimented by behavior laws that we characterized experimentally. These laws allow to take into account the evolution of the permeability and the compressibility of the fibrous medium during the infusion. We validated our model by comparing its results with analytical and experimental data. Additionally, an application of this simulation approach has been carried out to simulate the infusion of an industrial demonstrator with complex geometry. These comparisons show a good agreement between numerical and experimental results and reveal the efficiency of the developed tool in the infusion process simulation.

Ce travail est consacré à l'étude de quelques problèmes de contrôlabilité concernant plusieurs modèles issues de la mécanique des fluides. Dans le Chapitre 2, on obtient la contrôlabilité locale à zéro du système de Navier-Stokes avec contrôles distribués ayant une composante nulle. La nouveauté la plus importante est l'absence de conditions géometriques sur le domaine de contrôle. Le Chapitre 3 étend ce résultat pour le système de Boussinesq, où le couplage avec l'équation de la chaleur permet d'avoir jusqu'à deux composantes nulles dans le contrôle agissant sur l'équation du fluide. Le Chapitre 4 traite l'existence de contrôles insensibilisants pour le système de Boussinesq. En particulier, on montre la contrôlabilité à zéro d'un système en cascade issu du problème d'insensibilisation où le contrôle dans l'équation du fluide possède deux composantes nulles. Pour ces problèmes, on suit une approche classique. On établit la contrôlabilité à zéro du système linéalisé autour de zéro par une inégalité de Carleman pour le système adjoint avec des termes source. Puis, on obtient le résultat pour le système non linéaire par un argument d'inversion locale.Dans le Chapitre 5, on étudie quelques aspects de la contrôlabilité à zéro d'une équation de KdV linéaire avec conditions au bord de type Colin-Ghidaglia. On obtient une estimation du coût de la contrôlabilité à zéro qui est optimal par rapport au coefficient de dispersion. Sa preuve repose sur une inégalité de Carleman avec un comportement optimal en temps. Puis, on montre que le coût de la contrôlabilité à zéro explose exponentiellement par rapport au coefficient de dispersion lorsque le temps final est suffisamment petit. / This work is devoted to the study of some controllability problems concerning some models from fluid mechanics. First, in Chapter 2, we obtain the local null controllability of the Navier-Stokes system with distributed controls having one vanishing component. The main novelty is that no geometric condition is imposed on the control domain. In Chapter 3, we extend this result for the Boussinesq system, where the coupling with the temperature equation allows us to have up to two vanishing components in the control acting on the fluid equation. Chapter 4 deals with the existence of insensitizing controls for the Boussinesq system. In particular, we prove the null controllability of the cascade system arising from the reformulation of the insensitizing problem, where the control on the fluid equation has two vanishing components. For these problems, we follow a classical approach. We establish the null controllability of the linearized system around the origin by means of a suitable Carleman inequality for the adjoint system with source terms. Then, we obtain the result for the nonlinear system by a local inversion argument.In Chapter 5, we study some null controllability aspects of a linear KdV equation with Colin-Ghidaglia boundary conditions. First, we obtain an estimation of the cost of null controllability, which is optimal with respect to the dispersion coefficient. This improves previous results on this matter. Its proof relies on a Carleman estimate with an optimal behavior in time. Finally, we prove that the cost of null controllability blows up exponentially with respect to the dispersion coefficient provided that the final time is small enough.

Let but de cette thèse est de proposer différents modèles mathématiques de neurones pour l'Optogénétique et d'étudier leur contrôle optimal. Nous définissons d'abord une version contrôlée des modèles déterministes de dimension finie, dits à conductances. Nous étudions un problème de temps minimal pour un système affine mono-entrée dont nous étudions les singulières. Nous appliquons une méthode numérique directe pour observer les trajectoires et contrôles optimaux. Le contrôle optogénétique apparaît comme une nouvelle façon de juger de la capacité des modèles à conductances de reproduire les caractéristiques de la dynamique du potentiel de membrane, observées expérimentalement. Nous définissons ensuite un modèle stochastique en dimension infinie pour prendre en compte le caractère aléatoire des mécanismes des canaux ioniques et la propagation des potentiels d'action. Il s'agit d'un processus de Markov déterministe par morceaux (PDMP) contrôlé, à valeurs dans un espace de Hilbert. Nous définissons une large classe de PDMPs contrôlés en dimension infinie et prouvons le caractère fortement Markovien de ces processus. Nous traitons un problème de contrôle optimal à horizon de temps fini. Nous étudions le processus de décision Markovien (MDP) inclus dans le PDMP et montrons l'équivalence des deux problèmes. Nous donnons des conditions suffisantes pour l'existence de contrôles optimaux pour le MDP, et donc le PDMP. Nous discutons des variantes pour le modèle d'Optogénétique stochastique en dimension infinie. Enfin, nous étudions l'extension du modèle à un espace de Banach réflexif, puis, dans un cas particulier, à un espace de Banach non réflexif. / The aim of this thesis is to propose different mathematical neuron models that take into account Optogenetics, and study their optimal control. We first define a controlled version of finite-dimensional, deterministic, conductance based neuron models. We study a minimal time problem for a single-input affine control system and we study its singular extremals. We implement a direct method to observe the optimal trajectories and controls. The optogenetic control appears as a new way to assess the capability of conductance-based models to reproduce the characteristics of the membrane potential dynamics experimentally observed. We then define an infinite-dimensional stochastic model to take into account the stochastic nature of the ion channel mechanisms and the action potential propagation along the axon. It is a controlled piecewise deterministic Markov process (PDMP), taking values in an Hilbert space. We define a large class of infinite-dimensional controlled PDMPs and we prove that these processes are strongly Markovian. We address a finite time optimal control problem. We study the Markov decision process (MDP) embedded in the PDMP. We show the equivalence of the two control problems. We give sufficient conditions for the existence of an optimal control for the MDP, and thus, for the initial PDMP as well. The theoretical framework is large enough to consider several modifications of the infinite-dimensional stochastic optogenetic model. Finally, we study the extension of the model to a reflexive Banach space, and then, on a particular case, to a nonreflexive Banach space.

Cette thèse est consacrée la contrôlabilité lagrangienne, l'étude du champ de vitesse de l'Équation de Korteweg-de Vries, le problème de stabilisation rapide d'une équation aux dérivées partielles linéaires et aux méthodes numériques permettant d'obtenir la convergence des contrôles numériques vers les contrôles optimaux. Dans la première partie, on montre, l'aide de la solution de N-solitons de l'équation de Korteweg-de Vries, qu'il est possible de faire sortir des particules du fluide l’extérieur d'un domaine déterminé en temps arbitrairement petit. Une meilleure approximation du champ de vitesse associée la solution de N-solitons est également présentée, permettant de retrouver en particulier une propriété typique des trajectoires des particules soumises des ondes solitaires : les particules situées plus haut dans le fluide ont un plus grand déplacement. Dans la deuxième partie, la stabilisation rapide d'une équation de Schrödinger est obtenue grâce une méthode inspirée du backstepping en dimension infinie. Une équation de Schrödinger stable est considérée comme l'image d'une transformation ayant comme domaine de définition les solutions de l'équation de Schrödinger stabilisé. La stabilisation de l'équation de Schrödinger est obtenue en montrant l'inversibilité de la transformation. La nouveauté du travail présentée est l'introduction d'une condition d’unicité sur la transformation. Finalement, un filtre spectral, une formulation mixte et une formulation de Nitsche sont proposées comme technique afin d'obtenir numériquement l’observabilité uniforme de l'équation des ondes semi-discrétisée avec une méthode spectrale de Legendre-Galerkin. Une étude numérique de la convergence des contrôles numériques sans l’admissibilité uniforme de l’opérateur de contrôle est également présentée. / This thesis is devoted to the Lagrangian controllability and the analysis of the particle trajectories for the Korteweg-de Vries equation, to the rapid stabilization problem of the bilinear Schrödinger equation and to the convergence of the numerical controls of the wave equation. In the first part, we prove that the N-solitons solution of the Korteweg-de Vries equation allows one to move the particles outside an arbitrarily long domain in an arbitrarily small time. A higher approximation of the velocity field associated to the N-soliton is also presented, allowing to recover a typical property of solitary waves: the higher the particle is located in the fluid, the greater its displacement. These results are of a nonlinear nature since there exists no linear approximation of solitons. In the second part, inspired by the backstepping method, the rapid stabilization of a linearized Schrödinger equation is obtained. The proof consists to prove the invertibility of a transformation mapping the equation to stabilize to a stable linearized Schrödinger equation. The key ingredient of this proof is the introduction of a uniqueness condition. In the last part, a spectral filter, a mixed method and the Nitsche's method are proposed as a remedy to the lack of uniformness of the discrete observability constant for the Legendre-Galerkin semi-discretization of the wave equation. A numerical study of the convergence of the numerical controls is also presented.