Le thème central à cette thèse est l'étude des propriétés des classes de graphes définies par sous-structures interdites et leurs applications.La première direction que nous suivons a trait aux beaux ordres. À l'aide de théorèmes de décomposition dans les classes de graphes interdisant une sous-structure, nous identifions celles qui sont bellement-ordonnées. Les ordres et sous-structures considérés sont ceux associés aux notions de contraction et mineur induit. Ensuite, toujours en considérant des classes de graphes définies par sous-structures interdites, nous obtenons des bornes sur des invariants comme le degré, la largeur arborescente, la tree-cut width et un nouvel invariant généralisant la maille.La troisième direction est l'étude des relations entre les invariants combinatoires liés aux problèmes de packing et de couverture de graphes. Dans cette direction, nous établissons de nouvelles relations entre ces invariants pour certaines classes de graphes. Nous présentons également des applications algorithmiques de ces résultats. / The central theme of this thesis is the study of the properties of the classes of graphs defined by forbidden substructures and their applications.The first direction that we follow concerns well-quasi-orders. Using decomposition theorems on graph classes forbidding one substructure, we identify those that are well-quasi-ordered. The orders and substructures that we consider are those related to the notions of contraction and induced minor.Then, still considering classes of graphs defined by forbidden substructures, we obtain bounds on invariants such as degree, treewidth, tree-cut width, and a new invariant generalizing the girth.The third direction is the study of the links between the combinatorial invariants related to problems of packing and covering of graphs. In this direction, we establish new connections between these invariants for some classes of graphs. We also present algorithmic applications of the results.

Les objectifs de cette thèse étaient de caractériser les corrélats neuronaux fonctionnels et structurels de l'abolition de la conscience observés pendant le coma et d'identifier les signatures neuronales précoces de la récupération neurologique à partir de cet état. Pour atteindre ce but, nous avons étudié des patients cérébrolésés, recrutés au stade aigu du coma, à l'aide de l'IRM fonctionnelle au repos et IRM structurale. Nos résultats indiquent une réorganisation topologique globale du cerveau des patients, reflétée par une dédifférenciation et une réduction de la résilience des réseaux fonctionnels au repos d'ordre élevé. Ces anomalies sont accompagnées d'une perte de connexions fronto-pariétales à longue distance. Au niveau régional, nous avons observé un schéma complexe de diminution et d'augmentation de la densité de connexion fonctionnelle entre le cortex postéromédial et le cortex préfrontal médial : régions précédemment décrites pour avoir un rôle critique dans la conscience. De manière intéressante, ces modifications de densité de connexion étaient significativement liées à la récupération des patients trois mois après le coma. Enfin, l'analyse multimodale a permis de démontrer une association significative entre la connectivité fonctionnelle et l'intégrité structurelle cérébrales antéro-postérieure, fournissant des informations importantes sur le lien structure/fonction au décours de ces troubles acquis de la conscience. / The aim of the present thesis was to characterize the functional and structural neural correlates of acute consciousness abolition induced by severe brain injury and identify early neural signatures of long-term neurological recovery. To do so, we studied brain-injured patients, recruited in the acute stage of coma, using resting-state functional and structural MRI. Our findings indicated a global topological brain reorganization in coma patients, reflected in dedifferentiated and less resilient high-order resting-state functional networks, paralleled with a loss of long-range fronto-parietal connections. On a regional level, we found a complex pattern of voxel-wise decrease and increase in functional connection density between the posteromedial cortex and the medial prefrontal cortex, regions previously described to have a critical role in conscious processing. These connection density patterns seemed to permit outcome prediction in patients, assessed three months post-coma. Furthermore, the multi-modal MRI analysis demonstrated a significant association between antero-posterior functional connectivity and structural integrity, providing further insights into the pathological underpinning of conscious processing.

L'ordre faible sur un groupe de Coxeter W est un ordre partiel sur les éléments de W, intervenant dans de nombreux domaines de la combinatoire algébrique. Dans cette thèse, on propose un nouveau modèle général pour l'étude de cet ordre ainsi que d'autres ensembles ordonnés affiliés, et on explore diverses conséquences aussi bien algébriques que combinatoires de cette construction. On commence, dans le chapitre 3, par étudier une version restreinte de ce modèle. Plus précisément, on explique comment on peut associer un ensemble ordonné (aussi appelé « poset » à tout graphe orienté, simple, acyclique et muni d'une valutation sur ses sommets (aussi appelé « graphe valué »). On montre ensuite que ces posets sont en général des semi-treillis inférieurs, des treillis quand le graphe est fini, et on donne une formule explicite pour les valeurs de leurs fonctions de Möbius. On prouve ensuite que l'ordre faible sur les groupes de Coxeter de type A, B et A, le « flag weak order », ainsi que le treillis des idéaux supérieurs et inférieurs de tout poset fini peuvent être décrit avec notre modèle. Cette description amène naturellement à associer une série quasi-symétrique à chaque élément de An et An et on montre que cette série est en fait la série de Stanley associée. On présente dans le chapitre 4 les résultats centraux de la thèse, en effet on y introduit la généralisation de la construction faite au chapitre précédent au cas de tout graphe valué, c'est-à-dire sans condition s'acyclicité et de simplicité. On s'affranchit également de certaines contraintes imposées par la définition du chapitre 3, ce qui nous permet d'associer à tout graphe valué un treillis complet, et non plus un semi-treillis. En particulier, les semi-treillis du chapitre 3 se retrouvent naturellement plongés dans un treillis complet. Ceci nous amène à nous intéresser à des conjectures de Dyer portant sur l'étude d'une extension de l'ordre faible sur tout groupe de Coxeter (entre autres, il est conjecturé que ces extensions sont des treillis complets). On construit alors, à l'aide de notre formalisme, des extensions de l'ordre faible ayant beaucoup des propriétés conjecturalement attachées aux extensions de Dyer, et contenant ces dernières comme sous-poset. On conjecture que l'une de ces extensions coïncide avec celle de Dyer, et on fournit des outils pour le tester. Finalement, on étudie diverses conséquences de notre théorie : la construction d'extensions des semi-treillis cambriens (fin du chapitre 4), la construction d'un nouveau modèle combinatoire pour le treillis de Tamari et m-Tamari (chapitre 5), et enfin on propose une application à la combinatoire des tableaux (chapitre 6) / Weak order on a Coxeter group W is a partial order on W appearing in many areas of algebraic combinatorics. In this thesis, we propose a new general model for the study of the weak order and other related partially ordered sets (also called “posets”) and we explore various algebraic and combinatorial consequences of this construction. We begin with studying a restricted version of this model in Chapter 3. More precisely, we explain how one can associate a poset to any simple acyclic digraph together with a valuation on its vertices (also called “valued digraph”). We then prove that these posets are complete meet semi-lattices in general, complete lattices when the underlying digraph is finite, and we give an explicit formula to compute the value of their Möbius functions. Then, we show that the weak order on Coxeter groups of type A, B and A, the flag weak order, and the up-set (resp. down-set) lattices of any finite poset can be described within this theory. This description naturally leads to associate a quasi-symmetric function to any element of An And An, and we demonstrate that this function is in fact the corresponding Stanley symmetric function. In Chapter 4 we introduce the main results of this thesis. Indeed, we introduce in this chapter the generalization of the construction made in Chapter 3 to the case of any valued digraph, that is without the simplicity and acyclicity condition. Furthermore, this new definition allows us to get rid of some constraints of the definition of Chapter 3, allowing us to associate a complete lattice to each valued digraph. In particular, the meet semi-lattices of Chapter 3 are naturally extended into complete lattices. This leads us to the study of some conjectures of Dyer about the properties of an extension of the weak order having a lot of the properties conjecturally attached to Dyer’s extensions, and we prove that each one of our extensions contains Dyer’s extension as a sub-poset. We make the conjecture that one of this extension coincide with the one of Dyer, and we provide tools in order to test this conjecture. Finally, we study various consequences of out theory : we provide extensions of Cambrian semi-lattices into complete lattices (end of Chapter 4), we construct a new combinatorial model for Tamari and m-Tamari lattices (Chapter 5), and we finish with an application to tableaux combinatorics (Chapter 6)

Les machines du domaine du calcul haute performance (HPC) gagnent régulièrement en com- plexité. De nos jours, chaque nœud de calcul peut être constitué de plusieurs puces ou de plusieurs cœurs se partageant divers caches mémoire de façon hiérarchique. Que se soit pour comprendre les performances ob- tenues par une application sur ces architectures ou pour développer de nouveaux algorithmes et valider leur performance, une phase d'expérimentation est souvent nécessaire. Dans cette thèse, nous nous intéressons à deux formes d'analyse expérimentale : l'exécution sur machines réelles et la simulation d'algorithmes sur des jeux de données aléatoires. Dans un cas comme dans l'autre, le contrôle des paramètres de l'environnement (matériel ou données en entrée) permet une meilleure analyse des performances de l'application étudiée. Ainsi, nous proposons deux méthodes pour contrôler l'utilisation par une application des ressources ma- térielles d'une machine : l'une pour le temps processeur alloué et l'autre pour la quantité de cache mémoire disponible. Ces deux méthodes nous permettent notamment d'étudier les changements de comportement d'une application en fonction de la quantité de ressources allouées. Basées sur une modification du compor- tement du système d'exploitation, nous avons implémenté ces méthodes pour un système Linux et démontré leur utilité dans l'analyse de plusieurs applications parallèles. Du point de vue de la simulation, nous avons étudié le problème de la génération aléatoire de graphes orientés acycliques (DAG) pour la simulation d'algorithmes d'ordonnancement. Bien qu'un grand nombre d'algorithmes de génération existent dans ce domaine, la plupart des publications repose sur des implémen- tations ad-hoc et peu validées de ces derniers. Pour pallier ce problème, nous proposons un environnement de génération comprenant la majorité des méthodes rencontrées dans la littérature. Pour valider cet envi- ronnement, nous avons réalisé de grande campagnes d'analyses à l'aide de Grid'5000, notamment du point de vue des propriétés statistiques connues de certaines méthodes. Nous montrons aussi que la performance d'un algorithme est fortement influencée par la méthode de génération des entrées choisie, au point de ren- contrer des phénomènes d'inversion : un changement d'algorithme de génération inverse le résultat d'une comparaison entre deux ordonnanceurs. / High performance computing systems are increasingly complex. Nowadays, each compute node can contain several sockets or several cores and share multiple memory caches in a hierarchical way. To understand an application's performance on such systems or to develop new algorithms and validate their behavior, an experimental study is often required. In this thesis, we consider two types of experimental analysis : execution on real systems and simulation using randomly generated inputs. In both cases, a scientist can improve the quality of its performance analysis by controlling the environment (hardware or input data) used. Therefore, we discuss two methods to control hardware resources allocation inside a system : one for the processing time given to an application, the other for the amount of cache memory available to it. Both methods allow us to study how an application's behavior change according to the amount of resources allocated. Based on modifications of the operating system, we implemented these methods for Linux and demonstrated their use for the analysis of several parallel applications. Regarding simulation, we studied the issue of the random generation of directed acyclic graphs for scheduler simulations. While numerous algorithms can be found for such problem, most papers in this field rely on ad-hoc implementations and provide little validation of their generator. To tackle this issue, we propose a complete environment providing most of the classical generation methods. We validated this environment using big analysis campaigns on Grid'5000, verifying known statistical properties of most algorithms. We also demonstrated that the performance of a scheduler can be impacted by the generation method used, identifying a reversing phenomenon : changing the generating algorithm can reverse the comparison between two schedulers.

La connectivité marine est le transfert de larves et/ou d'individus entre des habitats marins éloignés. Grâce à la connectivité, les populations marines éloignées peuvent faire face à la pression de l'habitat en s'appuyant sur le transfert qui vient des populations éloignées de la même espèce. Le transfert entre les populations éloignées dans l'océan est possible par le transport dû aux courants. Cependant, il est pas encore clair si le champ des courants détermine totalement la persistance des espèces marines ou si la démographie locale joue un rôle. Les mesures in situ de la connectivité sont extrêmement difficiles. Par conséquence, notre connaissance de la connectivité est déduite des simulations numériques de dispersion. Le but de cette thèse est de préciser si la persistance de la connaissance du champ des courants et d’étudier l'effet des paramétrisations numériques dans l'estimation de la connectivité. Premièrement, je compare la théorie des graphes et le modèle de métapopulation pour déterminer si les courants ont un rôle prédominant. Cela permet d'identifier quelles mesures de la théories des graphes identifient de manière fiable les sites reproductifs importants pour la persistance en s'appuyant sur la connaissance des seuls courants. Deuxièmement, j’étudie les avantages et les lacunes de différents schémas de fermeture de turbulence. Ceci permet de préciser quel schéma reproduit mieux l'activité de turbulence dans des modèles numériques. Troisièmement, j'étudie les mécanismes générateurs de turbulence aux limites du fond. Ceci permet de connaître le coefficient de traînée effectif dû aux flux sur la topographie brute et de mieux estimer les flux turbulents. / Marine connectivity is the transfer of larvae and/or individuals between distant marine habitats. Thanks to connectivity, distant marine population can face habitat pressure by relying on the transfer from distant populations of the same species. The transfer between distant populations in the ocean is made possible by the transport due to the currents. However, it is still not clear if the current field totally determines the persistence of the marine species or if the local demography plays a role. Crucially, in situ measurements of connectivity are extremely difficult. Therefore, our knowledge about connectivity is inferred from numerical dispersal simulations. The aim of this thesis is to clarify if we can deduce the persistence from the knowledge of the current field and to investigate the effect of numerical turbulence parameterizations in estimating connectivity. Firstly, I compare graph theory and metapopulation model to determine if currents have a predominant role. This allows to identify which graph theory measures reliably identifies reproductive sites important for persistence by relying on the knowledge of currents only. Secondly, I investigate the advantages and shortcomings of different turbulence closure models. This allows to clarify which TCS better reproduces turbulence activity in numerical models. Thirdly, I investigate generating mechanisms of bottom boundary turbulence. This allows to know the effective drag coefficient due to flow over rough topography and better estimate turbulent fluxes.

En France, la nécessaire rationalisation des moyens alloués aux hôpitaux a abouti à une concentration des ressources et une augmentation de la complexité des plateaux techniques. Leur pilotage et leur répartition territoriale s’avèrent d’autant plus difficile, soulevant ainsi la problématique de l’optimisation des systèmes de soins. L’utilisation des données massives produites pas ces systèmes pourrait constituer une nouvelle approche en matière d’analyse et d’aide à la décision. Méthode : A partir d’une réflexion sur la notion de performance, différentes approches d’optimisation préexistantes sont d’abord mis en évidence. Le bloc opératoire a été choisi en tant que terrain expérimental. Suit une analyse sur une fusion d’établissements en tant qu’exemple d’une approche d’optimisation par massification.Ces deux étapes permettent de défendre une approche alternative qui associe l’usage de données massives, la science des réseaux et la visualisation des données sous forme cartographique. Deux sets de séjours en chirurgie orthopédique sur la région ex-Midi-Pyrénées sont utilisés. L’enchainement des séjours de soins est considéré en tant en réseau de données. L’ensemble est projeté dans un environnement visuel développé en JavaScript et permettant une fouille dynamique du graphe. Résultats : La possibilité de visualiser des parcours de santé sous forme de graphes NŒUDS-LIENS est démontrée. Les graphes apportent une perception supplémentaire sur les enchainements de séjours et les redondances des parcours. Le caractère dynamique des graphes permet en outre leur fouille. L’approche visuelle subjective est complétée par une série de mesures objectives issues de la science des réseaux. Les plateaux techniques de soins produisent des données massives utiles à leur analyse et potentiellement à leur optimisation. La visualisation graphique de ces données associées à un cadre d’analyse tel que la science des réseaux donne des premiers indicateurs positifs avec notamment la mise en évidence de motifs redondants. La poursuite d’expérimentations à plus large échelle est requise pour valider, renforcer et diffuser ces observations et cette méthode. / In France, the streamlining of means assigned hospitals result in concentration of resources ana growing complexily of heallhcare facilities. Piloting and planning (them turn out to be all the more difficult, thus leading of optimjzation problems. The use of massive data produced by these systems in association with network science an alternative approach for analyzing and improving decision-making support jn healthcare. Method : Various preexisting optimisation are first highblighted based on observations in operating theaters chosen as experirnentai sites. An analysis of merger of two hospitlas also follows as an example of an optimization method by massification. These two steps make it possible to defend an alternative approach that combines the use of big data science of networks data visualization techniques. Two sets of patient data in orthopedic surgery in the ex-Midi-Pyrénées region in France are used to create a network of all sequences of care. The whole is displayed in a visual environment developed in JavaScript allowing a dynamic mining of the graph. Results: Visualizing healthcare sequences in the form of nodes and links graphs has been sel out. The graphs provide an additional perception of' the redundancies of he healthcare pathways. The dynamic character of the graphs also allows their direct rnining. The initial visual approach is supplernented by a series of objcctive measures from the science of networks. Conciusion: Healthcare facilities produce massive data valuable for their analysis and optimization. Data visualizalion together with a framework such as network science gives prelimiaary encouraging indicators uncovering redondant healthcare pathway patterns. Furthev experimentations with various and larger sets of data is required to validate and strengthen these observations and methods.

Cette thèse porte sur l'extraction de descripteurs hiérarchiques et multi-échelles d'images, en vue de leur interprétation, caractérisation et segmentation. Elle se décompose en deux parties.La première partie expose des éléments théoriques et méthodologiques sur l'obtention de classifications hiérarchiques des nœuds d'un graphe valué aux arêtes. Ces méthodes sont ensuite appliquées à des graphes représentant des images pour obtenir différentes méthodes de segmentation hiérarchique d'images. De plus, nous introduisons différentes façons de combiner des segmentations hiérarchiques. Nous proposons enfin une méthodologie pour structurer et étudier l'espace des hiérarchies que nous avons construites en utilisant la distance de Gromov-Hausdorff entre elles.La seconde partie explore plusieurs applications de ces descriptions hiérarchiques d'images. Nous exposons une méthode pour apprendre à extraire de ces hiérarchies une bonne segmentation de façon automatique, étant donnés un type d'images et un score de bonne segmentation. Nous proposons également des descripteurs d'images obtenus par mesure des distances inter-hiérarchies, et exposons leur efficacité sur des données réelles et simulées. Enfin, nous étendons les potentielles applications de ces hiérarchies en introduisant une technique permettant de prendre en compte toute information spatiale a priori durant leur construction. / This thesis deals with the extraction of hierarchical and multiscale descriptors on images, in order to interpret, characterize and segment them. It breaks down into two parts.The first part outlines a theoretical and methodological approach for obtaining hierarchical clusterings of the nodes of an edge-weighted graph. In addition, we introduce different approaches to combine hierarchical segmentations. These methods are then applied to graphs representing images and derive different hierarchical segmentation techniques. Finally, we propose a methodology for structuring and studying the space of hierarchies by using the Gromov-Hausdorff distance as a metric.The second part explores several applications of these hierarchical descriptions for images. We expose a method to learn how to automatically extract a segmentation of an image, given a type of images and a score of evaluation for a segmentation. We also propose image descriptors obtained by measuring inter-hierarchical distances, and expose their efficiency on real and simulated data. Finally, we extend the potential applications of these hierarchies by introducing a technique to take into account any spatial prior information during their construction.

Le concept de radio logicielle (SDR) est une solution pertinente pour concevoir des équipements multi-standards. Une façon de réaliser de tels équipements est d'identifier les fonctions et opérateurs communs entre les standards. Cette approche s’appelle la paramétrisation et est divisée en deux catégories : l'approche pragmatique qui est une version pratique pour créer et développer des opérateurs communs à partir d’opérateurs existants, et l'approche théorique dont l’objectif est de réaliser une exploration graphique d’un équipement multi-standards selon différents niveaux de granularité, accompagnée d’un problème d'optimisation. C’est cette dernière approche qui a constitué le sujet de base de cette thèse. Ainsi, une fonction de coût doit être optimisée afin de sélectionner les opérateurs communs entre les différentes normes, ce qui permet de proposer une configuration optimale à partir de laquelle sont déduits les opérateurs communs. Dans notre travail, nous avons dans un premier temps modélisé théoriquement la structure graphique d’un système multi-standards par un hypergraphe orienté. En outre, nous avons fourni une expression mathématique alternative de la fonction de coût suggérée, en utilisant des définitions propres à la théorie des graphes. Ensuite, nous avons montré que le problème d'optimisation associé était un problème NP sous une certaine contrainte, ce qui a entraîné une preuve d'exclusion de certaines configurations dont les coûts ne peuvent être minimaux. Ceci a constitué la deuxième contribution de cette thèse. Enfin, nous avons proposé un nouvel algorithme permettant de résoudre le problème d'optimisation donné, et dont l'intérêt est de donner une solution optimale du problème au lieu d’une solution approchée fournie par les méthodes heuristiques classiques. Un programme associé à cet algorithme a été développé en langage C, puis appliqué à plusieurs exemples de cas génériques afin d’en étudier les performances. / The Software-Defined Radio (SDR) concept is emerging as a potential and efficient solution for designing flexible future-proof multi-standard systems. A way of realizing a multi-standard terminal is to identify the appropriate common functions and operators inside and between the standards. This is what's called the parametrization approach, which can be divided into two categories: the pragmatic approach which is a practical version to create and develop common operators, and the theoretical approach which represents a graphical exploration of the SDR multi-standard system at different levels of granularity accompanied with an optimization problem. It’s in this last approach where our thesis subject dwells. In this context, a suggested cost function (in previous work) has to be optimized in order to select the convenient common operators between the different standards, enabling to construct an optimal design. In our work, we theoretically model a previously proposed graph structure of an SDR multi-standard system as a directed hypergraph as well as provide an alternative mathematical formal expression of the suggested cost function, using various graph theoretical definitions and notations. Afterwards, we prove that the associated optimization problem is an NP-problem under a certain constraint, which entails a proof of exclusion of some particular design options when searching for a minimum cost design. This was the second contribution in this thesis before we finally present a new algorithm (which exploits various modelization aspects of directed hypergraphs) that can solve the optimization problem, whose interest is in it giving an exact-optimal solution to our problem instead of a near-optimal one provided by heuristics. A program code for this algorithm was developed in C-language, and then it was applied on several generic case examples in order to explore its performance skills.

Le développement d’infrastructures linéaires de transport conduit, à toutes les échelles, à une artificialisation du territoire et au morcellement du milieu naturel. La fragmentation du paysage est un processus spatial qui s’accompagne d’une diminution progressive de la connectivité entre les différents éléments nécessaires au bon déroulement des processus écologiques. Ainsi, le maintien d’un bon niveau de connectivité entre les habitats naturels, s’il est compatible avec les activités humaines, est devenu un enjeu majeur pour la préservation de la biodiversité. En mobilisant des méthodes empruntées à la théorie des graphes et à l’écologie du paysage, la thèse cherche à démontrer l’intérêt de la modélisation des réseaux écologiques par les graphes paysagers, dans l’analyse des impacts des infrastructures à l’échelle régionale.Cette démarche, fondée sur la modélisation, a permis de démontrer l’influence du réseau écologique du chevreuil dans la localisation des collisions entre les individus de cette espèce et les véhicules empruntant le réseau de la DIR est en Franche-Comté. Le travail a également permis de proposer un cadre méthodologique pour localiser l’impact potentiel de la branche est de la LGV Rhin-Rhône sur la distribution d’une espèce, et estimer la distance de perturbation de cette infrastructure. Enfin, deux démarches sont proposées pour évaluer quantitativement et hiérarchiser des aménagements afin d’éviter ou d’atténuer ces impacts. Les résultats montrent la pertinence de l’intégration des réseaux écologiques dans les études d’impacts des infrastructures de transport. / The development of linear infrastructures leads to the fragmentation and the artificialisation of the landscape across scales. Landscape fragmentation is a spatial process that is accompanied by a progressive decrease of the connectivity between the elements needed to conduct ecological processes. Thus, maintaining a good level of connectivity between natural habitats, compatible with human activities, has become a major issue for the preservation of biodiversity.By mobilizing methods from graph theory and landscape ecology, the thesis seeks to demonstrate the value of landscape graphs to model ecological networks and analyze impacts of transportation infrastructures at regional scale.The modeling approach, demonstrated the influence of roe deer ecological network in locating its collision hotspots related to traffic flow of the DIR est road network in Franche-Comté. Work has also allowed us to propose a methodological framework for (1) locating the potential impact of the eastern branch of the HSR Rhin-Rhône on a species distribution, and (2) estimate the distance of disturbance of this infrastructure. Finally, two approaches are proposed to quantify and prioritize improvements to prevent or mitigate these impacts. The results show the relevance of the ecological networks in the environmental impact assessment of transportation infrastructures.

Comme dans de nombreux autres domaines, la construction des applications en Informatique Ambiantes (IAm) se fait par réutilisation d’entités logicielles disponibles. Pour des raisons de conductivités, de pannes, de charge de batterie mais aussi de nombreuses autres, la disponibilité de ces entités est imprévisible ce qui implique que l’auto-adaptation dynamique des applications est une nécessité. Cela passe par la spécification en parallèle des adaptations par des experts de divers domaines. Ce parallélisme de construction, peut amener des problèmes d’interférences lors de la composition dynamique de plusieurs adaptations. Dans cette thèse, par l’utilisation de graphes, nous contribuons à la définition d’un cadre formel pour la détection et la résolution de ces interférences. L’assemblage des entités logicielles repose sur des connecteurs d’assemblage qui sont utilisés dans la spécification des adaptations. Des règles de réécriture de graphe permettront de résoudre les interférences détectées, cette résolution étant guidée par la connaissance de connecteurs définis. De plus, pour pouvoir étendre dynamiquement et automatiquement notre mécanisme de gestion des interférences, nous proposons la modélisation comportementale de ces connecteurs. Ceci permet de ne pas reposer sur une connaissance à priori des connecteurs et autorise par la même d’étendre dynamiquement l’ensemble des connecteurs disponibles pour la spécification des adaptations. / Like many other fields, application construction in ubiquitous computing is done by reuse of available software entities. For reasons of conductivity, breakdown, battery charge, but also many others reasons, the availability of these entities is unpredictable. As consequence, the self-adaptation of applications becomes necessary. This requires the specification of parallel adaptations by experts from various fields. This parallel specification can cause interference problems when several adaptations are composed. In this thesis, using graph formalism, we contribute to the definition of a formal approach for the detection and the resolution of interferences. The specification of adaptation uses connectors in order to assemble software entities. Graph rewriting rules are defined to solve the detected interferences. This resolution is guided by the knowledge of defined connectors. In addition, in order to extend dynamically and automatically our interference management mechanism, we propose behavioral modeling of these connectors. This allows us extending our mechanism without an a priori knowledge of connectors and allows afterwards to extend the set of available connectors used for adaptations' specifications.