Dans un contexte de conception de familles de produits, les industriels sont conduits à concevoir et réaliser une grande diversité de produits pour répondre à des besoins clients di érents et des contraintes spéci ques liées à la chaîne logistique. Cette conception est de type modulaire et permet de générer la nomenclature des produits à partir des modules fabriqués. Conjointement à la dé nition des nomenclatures, le choix des sites de production est également décidé. Souvent, les stratégies adoptées sont extrêmes, et proposent une production pour stock pour anticiper les besoins clients ou une production à la commande pour minimiser les coûts de stockage. L'objectif de cette thèse est d'étudier une stratégie intermédiaire dite d'assemblage à la commande permettant à la fois de réduire les coûts de stockage et les délais de fabrication. La contribution de cette thèse porte sur la proposition d'un modèle servant de support à une approche globale de conception de produits à forte diversité. L'apport essentiel réside plus précis ément d'une part, dans l'intégration des données relatives à la chaîne logistique dans l'opération de conception, et d'autres part dans la proposition d'algorithmes permettant la détermination d'une solution de bonne qualité dans un temps de calcul raisonnable. En outre, les avantages de certaines stratégies telles que la standardisation sont étudiés.

Ce manuscrit de thèse développe certains aspects autour de trois thèmes généraux, sur la représentation arborescente des familles d'ensembles, les décompositions de graphes, et les algorithmes de graphes. Les thèmes abordés vont de la combinatoire théorique à l'algorithmique en bio-informatique, en passant par plusieurs décompositions de graphes et aussi par l'optimisation combinatoire.<br /><br />La première moitié du manuscrit développe deux études. D'abord, afin d'estimer le nombre de familles d'ensembles satisfaisant certains axiomes de clôture, de nouveaux outils et techniques pour obtenir des représentations arborescentes de celles-ci ont été développés. Puis, l'étude se poursuit avec une des applications des propriétés ci-dessus : celle concernant les décompositions de graphes.<br /><br />La deuxième moitié du manuscrit est consacrée aux applications des décompositions de graphes dans l'algorithmique de graphes. Trois problèmes algorithmiques seront à l'étude.<br />Dans chacun des trois, il est montré pourquoi et comment on peut appliquer l'idée de la décomposition de graphes pour résoudre le problème posé de manière efficace.<br />Il est également montré comment appliquer les trois solutions proposées pour résoudre trois autres problèmes d'algorithmique de graphes.

Les systèmes complexes ferroviaires étant de plus en plus contraints par des autorités de décision placées à un haut niveau d'abstraction, il devient problématique d'imposer des critères à une autre échelle que fonctionnelle. Ainsi, dès lors que l'on descend plus bas, nous sommes confrontés à des spécificités des systèmes nationaux qui font perdre la généralité du travail des décisionnaires Européens. Le problème est qu'à chaque niveau d'abstraction, des méthodes d'évaluation du risque existent, mais sans être compatibles entre elles. Par ailleurs, la combinaison des couches et la vision fonctionnelle du système ne prennent pas en compte l'impact des fonctions les unes sur les autres, ni le lien entre le niveau global et les composants afin d'allouer la sécurité.Nous proposons donc une démarche harmonisée d'évaluation du risque, capable de répartir les contraintes définies au niveau fonctionnel abstrait sur les entités qui implémentent les systèmes avec leurs spécificités.Notre contribution est méthodologique. Elle part d'un modèle fonctionnel du système ferroviaire constitué en couches. Le but étant de représenter ce système sans dépendance entre les fonctions, il a fallu les traduire indépendamment des autres en faisant apparaître les entrées/sorties comme des places/transitions d'un réseau de Petri. A chaque couche de la décomposition correspond une classe de réseau de Petri. Ainsi, à la couche structurelle, nous associons les réseaux de Petri Temporels; à la couche fonctionnelle les réseaux de Petri stochastiques et à la couche logique les réseaux de Petri Prédicats Transitions / The railway systems are being more and more forced by decision authorities. As they are placed at a high level of abstraction, it becomes problematic to impose another criterion or scale. In fact, since we come down lower, we are confronted with specificities of the national systems which make lose the majority of the work of the European decision-makers. The issue is that, at every level of abstraction, risk assessment methods exist, but without being compatible. Besides, the combination of layers and the functional vision of the railway system do not take into account the impact of some functions on the others, nor the link between the global level of risk and the components to assign the safety.Thus, we propose a harmonized approach for risk assessment. This approach allows us to distribute the constraints defined at the abstract functional level on the entities which implement both the systems and their specificities.Our contribution is methodological. It leaves a functional model of the layered railway system. The purpose is to represent this system without any dependencies between the functions. For instance, it was necessary to translate them independently by creating entrances/exits as places/transitions of a Petri net. A Petri net class corresponds to each layer. To the structural layer, we associate the time Petri net; to the functional layer, the stochastic Petri nets and to the logical layer, the predicate transitions nets

La topologie modulaire multiniveaux est une structure d'électronique de puissance construite par la mise en série de sous-modules identiques, composés chacun d'une cellule de commutation et d'un condensateur. Un tel système de conversion pouvant comporter un grand nombre de cellules permet d'augmenter le rendement global et la qualité des signaux en sortie. De plus, il permet d'utiliser des composants basse tension présentant un meilleur comportement dynamique et un rapport qualité-prix bien supérieur aux composants moyenne tension. Il permet également, par rapport aux structures conventionnelles, une grande souplesse pour la conception et la fabrication du fait de son aspect modulaire, tout en s'affranchissant d'un transformateur volumineux et onéreux en entrée. Comparé aux autres types de topologies, avantageuses avec un nombre limité de niveaux, le convertisseur modulaire multiniveaux semble être mieux adapté aux applications en moyenne et haute tensions, qui sont tributaires de l'association des composants de puissance. Néanmoins, pour la variation de vitesse, un certain nombre de défis technologiques ont été mis en évidence, compte tenu du fonctionnement particulier de l'onduleur modulaire multiniveaux et des contraintes imposées par l'opération en très basse fréquence. En le fonctionnement normal, la forme d'onde des courants internes, contrairement aux autres types de topologies, n'est pas symétrique en raison de la distribution du courant direct dans chaque bras. Cela entraîne une disparité significative en termes de dissipation thermique parmi les interrupteurs constituant un sous-module. Avec le choix d'une technologie de packaging 3D, la possibilité de refroidir les puces semi-conductrices en double-face offre une meilleure capacité de refroidissement et une nouvelle perspective de conception des modules pour cette application. Un nouveau concept de report de puces est présenté et un prototype de tel module a été réalisé, modélisé et caractérisé. Il permet d'équilibrer globalement la chaleur dissipée par les puces sur les deux faces du module, problème inhérent à l'emploi de structure 3D. Conjugué à la mutualisation d'un interrupteur par deux puces en parallèle, la nouvelle architecture a aussi pour objectif d'équilibrer le refroidissement double-face dans le temps. En effet, pour les opérations en basse fréquence, les interrupteurs fonctionnent en régime instationnaire avec de forte variation de température, il n'est donc plus possible de compenser les effets thermomécaniques de chaque composant l'un par l'autre, comme en régime stationnaire et avec un positionnement planaire des puces. D'autre part, d'un point de vu systémique, la stratégie de commande et le dimensionnement des condensateurs flottants de l'onduleur modulaire multiniveaux sont deux aspects intimement liés. En effet, les condensateurs flottants sont le siège d'ondulations de tension de très forte amplitude. Cela a pour effet de déstabiliser l'onduleur, voire de provoquer la destruction des composants en atteignant des niveaux de tension trop élevés. Ainsi, des contrôleurs judicieusement conçus permettent de réduire les ondulations indésirables, et a fortiori, d'embarquer des capacités moins importantes dans le système, tant que ces dernières sont inversement proportionnelles à l'ondulation de la tension. Afin d'avoir une compréhension approfondie sur les dynamiques régissant le convertisseur modulaire multiniveaux, un modèle dynamique global basé sur la représentation d'état a été établi. Bien que cette représentation soit limitée à l'harmonique 2 des grandeurs caractéristiques, elle permet une fidèle interprétation du mécanisme de conversion sans passer par des modèles énergétiques bien plus complexes à exploiter, et de proposer des lois de commande montrant leur efficacité notamment autour de la fréquence nominale. Cela a été vérifié sur une maquette de puissance réalisée dans le cadre de cette thèse. / Multilevel modular topology converts energy between two direct and alternative endings. This structure is constructed by the series connection of identical sub-modules, composed of a switching cell and a floating capacitor, and with arm inductors. Such a conversion system may reach a large number of levels increases the overall efficiency and quality of the output signals. In addition, it allows the use of low voltage components with better dynamics and cost effectiveness above the high voltage components. It also allows flexibility in the work of design and manufacture due to its modularity, while avoiding a bulky and expensive input transformer, regarding the conventional technology. Compared with other types of topologies, advantageous with a limited number of levels, the modular multilevel converter seems to be more suited for medium and high voltage applications, which are dependent on the association of power components. However, for variable speed drive application, a certain number of technological challenges have been highlighted, given the specific functional characteristics of the modular multilevel inverter and the constraints imposed by the very low frequency operation. On the one hand, for the normal operation of a multilevel modular converter, the waveform of the internal currents, in contrast to other types of topologies, is not symmetrical due to the distribution of the direct current in each phase leg. This may entail a significant disparity in terms of heat dissipation within the switching devices constituting a sub-module. Therefore, the problem of thermal management of active components is emphasized in the use of a modular multilevel converter. With the choice of a 3D packaging technology, interconnection by bumps, the ability to cool the semiconductor chips through the both sides of a module offers better cooling effects and a new perspective to design the power module for the studied structure. The concept of laying chips on both the two substrates of module without facing each other provides overall balanced dissipation in the space and permit to overcome the unbalanced heat distribution induced by bumps. Combined with the sharing of a switch by two chips in parallel, the proposal of the new architecture for 3D power module also aims to balance the double-sided cooling in the time range. Indeed, for the very low frequency operation, the switches operate in unsteady state where each switch has its own thermal behavior, it is no longer possible to compensate the thermo-mechanical constraints over each component with the help of the others, as in steady state and with a planar chips positioning scheme. On the other hand, from a systemic point of view, the control strategy and the dimensioning of floating capacitors of modular multilevel inverter are two interrelated aspects. Because the floating capacitors, having the role of energy sources, are loaded / unloaded through the modulation period, which causes very high voltage ripples across those capacitors with a very low frequency. This will destabilize the inverter and even provoke the destruction of components by approaching too high voltage levels. Thus, wisely designed controllers reduce unwanted ripples and, furthermore, allow embarking much smaller capacity in the system, as they are inversely proportional to the voltage ripple. In order to have a thorough understanding on the dynamics governing the modular multilevel converter, a comprehensive dynamic model based on state-space representation was established. Although this representation is limited to the second harmonic of characteristic variable, it allows a faithful interpretation of the conversion mechanism without using energy models, more complex to operate, and control laws can also be proposed and their effectiveness around the nominal frequency has been underlined. Concerning the very low frequency operations, another solution has been proposed and is ongoing patent pending.

Les programmes informatiques prennent une place de plus en plus importante dans nos vies. Certains de ces programmes, comme par exemple les systèmes de contrôle de centrales électriques, d'avions ou de systèmes médicaux sont critiques : une panne ou un dysfonctionnement pourraient causer la perte de vies humaines ou des dommages matériels ou environnementaux importants. Les méthodes formelles visent à offrir des moyens de concevoir et vérifier de tels systèmes afin de garantir qu'ils fonctionneront comme prévu. Au fil du temps, ces systèmes deviennent de plus en plus évolués et complexes, ce qui est source de nouveaux défis pour leur vérification. Il devient nécessaire de développer ces systèmes de manière modulaire afin de pouvoir distribuer la tâche d'implémentation à différentes équipes d'ingénieurs. De plus, il est important de pouvoir réutiliser des éléments certifiés et les adapter pour répondre à de nouveaux besoins. Aussi les méthodes formelles doivent évoluer afin de s'adapter à la conception et à la vérification de ces systèmes modulaires de taille toujours croissante. Nous travaillons sur une approche algébrique pour la conception de systèmes corrects par construction. Elle définit un formalisme pour exprimer des spécifications de haut niveau et permet de les raffiner de manière incrémentale en des spécifications plus concrètes tout en préservant leurs propriétés, jusqu'à ce qu'une implémentation soit atteinte. Elle définit également plusieurs opérations permettant de construire des systèmes complexes à partir de composants plus simples en fusionnant différents points de vue d'un même système ou en composant plusieurs sous-systèmes ensemble, ainsi que de décomposer une spécification complexe afin de réutiliser des composants existants et de simplifier la tâche d'implémentation. Le formalisme de spécification que nous utilisons est basé sur des spécifications modales. Intuitivement, une spécification modale est un automate doté de deux types de transitions permettant d'exprimer des comportements optionnels ou obligatoires. Raffiner une spécification modale revient à décider si les parties optionnelles devraient être supprimées ou rendues obligatoires. Cette thèse contient deux principales contributions théoriques basées sur une extension des spécifications modales appelée " spécifications à ensembles d'acceptation ". La première contribution est l'identification d'une sous-classe des spécifications à ensembles d'acceptation, appelée " spécifications à ensembles d'acceptation convexes ", qui permet de définir des opérations bien plus efficaces tout en gardant un haut niveau d'expressivité. La seconde contribution est la définition d'un nouveau formalisme, appelé " spécifications à ensembles d'acceptation marquées ", qui permet d'exprimer des propriétés d'atteignabilité. Ceci peut, par exemple, être utilisé pour s'assurer qu'un système termine ou exprimer une propriété de vivacité dans un système réactif. Les opérations usuelles sont définies sur ce nouveau formalisme et elles garantissent la préservation des propriétés d'atteignabilité. Cette thèse présente également des résultats d'ordre plus pratique. Tous les résultats théoriques sur les spécifications à ensembles d'acceptation convexes ont été prouvés en utilisant l'assistant de preuves Coq. L'outil MAccS a été développé pour implémenter les formalismes et opérations présentés dans cette thèse. Il permet de les tester aisément sur des exemples, ainsi que d'étudier leur efficacité sur des cas concrets. / Software programs are taking a more and more important place in our lives. Some of these programs, like the control systems of power plants, aircraft, or medical devices for instance, are critical: a failure or malfunction could cause loss of human lives, damages to equipments, or environmental harm. Formal methods aim at offering means to design and verify such systems in order to guarantee that they will work as expected. As time passes, these systems grow in scope and size, yielding new challenges. It becomes necessary to develop these systems in a modular fashion to be able to distribute the implementation task to engineering teams. Moreover, being able to reuse some trustworthy parts of the systems and extend them to answer new needs in functionalities is increasingly required. As a consequence, formal methods also have to evolve in order to accommodate both the design and the verification of these larger, modular systems and thus address their scalability challenge. We promote an algebraic approach for the design of correct-by-construction systems. It defines a formalism to express high-level specifications of systems and allows to incrementally refine these specifications into more concrete ones while preserving their properties, until an implementation is reached. It also defines several operations allowing to assemble complex systems from simpler components, by merging several viewpoints of a specific system or composing several subsystems together, as well as decomposing a complex specification in order to reuse existing components and ease the implementation task. The specification formalism we use is based on modal specifications. In essence, a modal specification is an automaton with two kinds of transitions allowing to express mandatory and optional behaviors. Refining a modal specification amounts to deciding whether some optional parts should be removed or made mandatory. This thesis contains two main theoretical contributions, based on an extension of modal specifications called acceptance specifications. The first contribution is the identification of a subclass of acceptance specifications, called convex acceptance specifications, which allows to define much more efficient operations while maintaining a high level of expressiveness. The second contribution is the definition of a new formalism, called marked acceptance specifications, that allows to express some reachability properties. This could be used for example to ensure that a system is terminating or to express a liveness property for a reactive system. Usual operations are defined on this new formalism and guarantee the preservation of the reachability properties as well as independent implementability. This thesis also describes some more practical results. All the theoretical results on convex acceptance specifications have been proved using the Coq proof assistant. The tool MAccS has been developed to implement the formalisms and operations presented in this thesis. It allows to test them easily on some examples, as well as run some experimentations and benchmarks.

Il est possible de mener une étude sur les « Parterres » considérés comme des « lieux communs » de la fabrique des Jardins de plaine de la Renaissance, au sens rhétorique, fédérateur et prospectif du terme. Comme les tropes d'un discours, ils sont répartis sur la « plate forme » du jardin afin d'agir sur les émotions, dans les catégories rhétoriques et poétiques de l'amplificatio, l'inventio, la dispositio, l'elocutio, l'imitatio et la copia. Ces ornements sont des moyens d'expression au service d'un vaste projet d'harmonisation décorative de la demeure aristocratique et de son environnement à toutes les échelles matérielles et imbriquées ; cette coordination formelle doit satisfaire la double exigence de concinnitas et de varietas comme principes de plaisir et de bienséance. Afin d'expliciter la conception des jardins intégrés à ce « grand dessein », les artistes font intervenir une représentation cognitive par analogie (paradeigma) impliquant le revêtement décoratif des sols, soit la ressemblance de la composition du jardin avec celle d'un « tapis de Turquie » orné de « Moresques ». La diffusion de ces formes est assurée par des suites de modèles imprimées dont nous faisons la bibliographie critique. Nous abordons aussi leur mise en œuvre au jardin qui est obtenue par la compartimentation de la matière première végétale déclinée dans les catégories changeantes et mélangées du « Verger », de « Préau », du « Potager », du « Jardin de Simples », et du « Bouquetier » / It is possible to undertake a study on the "Paterres" (Flower beds) regarded as 'common places" of the invention of the plain Gardens of the Renaissance, in the rhetorical, inclusive and forward sense of term. Like the Tropes of a speech, they are divided on the "plate forme" of the garden to act on emotions in poetic and rhetorical categories of amplificatio, inventio, dispositio, elocutio, imitatio and copia. These ornaments are a means of expression in the service of a larger project of decorative harmonization of a place and its environment at all scales and imbricated material, which must satisfy the dual requirement of concinnitas and varietas as principles of pleasure ad propriety. In order to clarify the design of gardens included in this "grand design", artists involve a cognitive representation by analogy (paradeigma) involving decorative coating of soil or the resemblance of the composition of the garden with a "Turkey carpet" decorated with "Moresques". The diffusion of these forms is provided by sequences of models of which we create a critical bibliography. Their implementation in the garden is achieved by compartmentalization of vegetable raw materials declined in changing and mixed categories of "Orchad", "Medow", "Potager", "Jardin de simples" and "Bouquetier"

Les opérateurs de réseau sont confrontés à de grands défis en termes de coût et de complexité pour intégrer les nouvelles technologies de communication (e.g., 4G, 5G, fibre optique) et pour répondre aux demandes croissantes des nouveaux services réseau adaptés aux nouveaux cas d’utilisation. La "softwarization" des opérations réseau à l'aide des paradigmes SDN (Software Defined Networking) et NFV (Network Function Virtualization) est en mesure de simplifier le contrôle et la gestion des réseaux et de fournir des services réseau de manière efficace. Les réseaux programmables SDN permettent de dissocier le plan de contrôle du plan de données et de centraliser le plan de contrôle pour simplifier la gestion du réseau et obtenir une vision globale. Cependant, ceci amène des problèmes de passage à l'échelle difficiles à résoudre. Par ailleurs, en dissociant la partie matérielle de la partie logicielle des routeurs, NFV permet d'implanter de manière flexible et à moindre coût toutes sortes de fonctions réseau. La contrepartie est une dégradation des performances due à l'implantation en logiciel des fonctions réseau qui sont déportées des routeurs. Pour aborder les problèmes de passage à l'échelle et de performance des paradigmes SDN/NFV, nous proposons dans la première partie de la thèse, une architecture modulaire de gestion et de contrôle du réseau, dans laquelle le contrôleur SDN délègue une partie de ses responsabilités à des fonctions réseau spécifiques qui sont instanciées à des emplacements stratégiques de l'infrastructure réseau. Nous avons choisi un exemple d'application de streaming vidéo en direct (comme Facebook Live ou Periscope) utilisant un service de multicast IP car il illustre bien les problèmes de passage à l'échelle des réseaux programmables. Notre solution exploite les avantages du paradigme NFV pour résoudre le problème de scalabilité du plan de contrôle centralisé SDN en délégant le traitement du trafic de contrôle propre au service multicast à des fonctions réseau spécifiques (appelées MNF) implantées en logiciel et exécutées dans un environnement NFV localisé à la périphérie du réseau. Notre approche fournit une gestion flexible des groupes multicast qui passe à l'échelle. De plus, elle permet de bénéficier de la vision globale du contrôle centralisé apportée par SDN pour déployer de nouvelles politiques d'ingénierie du trafic comme L2BM (Lazy Load Balance Multicast) dans les réseaux de fournisseurs d’accès à Internet (FAI) programmables. L'évaluation de cette approche est délicate à mettre en œuvre car la communauté de recherche ne dispose pas facilement d'infrastructure SDN à grande échelle réaliste. Pour évaluer notre solution, nous avons élaboré l'outil DiG qui permet d'exploiter l'énorme quantité de ressources disponibles dans une grille de calcul, pour émuler facilement de tels environnements. DiG prend en compte les contraintes physiques (mémoire, CPU, capacité des liens) pour fournir un environnement d'évaluation réaliste et paramétrable avec des conditions contrôlées. La solution que nous proposons délègue le contrôle et la gestion du réseau concernant le service de multicast aux fonctions spécifiques MNF exécutées dans un environnement NFV. Idéalement, pour davantage d'efficacité, toutes ces fonctions spécifiques devraient être implantées directement au sein des routeurs avec du hardware programmable mais cela nécessite que ces nouveaux routeurs puissent exécuter de manière indépendante plusieurs fonctions réseau à la fois. Le langage de programmation P4 est une technologie prometteuse pour programmer le traitement des paquets de données dans les routeurs programmables (hardware et logiciels). / Network operators are facing great challenges in terms of cost and complexity in order to incorporate new communication technologies (e.g., 4G, 5G, fiber) and to keep up with increasing demands of new network services to address emerging use cases. Softwarizing the network operations using SoftwareDefined Networking (SDN) and Network Function Virtualization (NFV) paradigms can simplify control and management of networks and provide network services in a cost effective way. SDN decouples control and data traffic processing in the network and centralizes the control traffic processing to simplify the network management, but may face scalability issues due to the same reasons. NFV decouples hardware and software of network appliances for cost effective operations of network services, but faces performance degradation issues due to data traffic processing in software. In order to address scalability and performance issues in SDN/NFV, we propose in the first part of the thesis, a modular network control and management architecture, in which the SDN controller delegates part of its responsibilities to specific network functions instantiated in network devices at strategic locations in the infrastructure. We have chosen to focus on a modern application using an IP multicast service for live video streaming applications (e.g., Facebook Live or Periscope) that illustrates well the SDN scalability problems. Our solution exploits benefits of the NFV paradigm to address the scalability issue of centralized SDN control plane by offloading processing of multicast service specific control traffic to Multicast Network Functions (MNFs) implemented in software and executed in NFV environment at the edge of the network. Our approach provides smart, flexible and scalable group management and leverages centralized control of SDN for Lazy Load Balance Multicast (L2BM) traffic engineering policy in software defined ISP networks. Evaluation of this approach is tricky, as real world SDN testbeds are costly and not easily available for the research community. So, we designed a tool that leverages the huge amount of resources available in the grid, to easily emulate such scenarios. Our tool, called DiG, takes into account the physical resources (memory, CPU, link capacity) constraints to provide a realistic evaluation environment with controlled conditions. Our NFV-based approach requires multiple application specific functions (e.g., MNFs) to control and manage the network devices and process the related data traffic in an independent way. Ideally, these specific functions should be implemented directly on hardware programmable routers. In this case, new routers must be able to execute multiple independently developed programs. Packet-level programming language P4, one of the promising SDN-enabling technologies, allows applications to program their data traffic processing on P4 compatible network devices. In the second part of the thesis, we propose a novel approach to deploy and execute multiple independently developed and compiled applications programs on the same network device. This solution, called P4Bricks, allows multiple applications to control and manage their data traffic, independently. P4Bricks merges programmable blocks (parsers/deparsers and packet processing pipelines) of P4 programs according to processing semantics (parallel or sequential) provided at the time of deployment.

La RNase P est une endoribonucléase responsable de la maturation de l’extrémité 5’ des ARNt prématures. Holoenzyme très conservée, elle est constituée d’une composante ARN formant le noyau catalytique et d’une composante protéique dont le nombre de sous-unités est variable : une protéine chez les bactéries, 5 chez les archées et d’au moins 9 chez les eucaryotes. Les eucaryotes possèdent également une autre endoribonucléase, la RNase MRP dont la composition est proche de la RNase P tant au niveau ribonucléique que protéique mais avec une spécificité de substrat propre. Dans cette étude, nous proposons une méthode originale et spécifique pour purifier la RNase P et la RNase MRP de S. cerevisiae. Grâce à la microscopie électronique et au traitement d’images, nous avons déterminé la première structure de ces deux holoenzymes à une résolution d’environ 1.5 nm. Ces structures révèlent une architecture modulaire commune où les protéines stabilisent la composante ARN et contribuent à l’édification de cavités et de conduits. Les spécificités structurales sont localisées en des positions stratégiques pour l’identification et la coordination du substrat. / Ribonuclease P (RNase P) is an endoribonuclease that cleaves the 5'-leader sequence of pre-tRNAs. RNase P is conserved between all taxonomic kingdoms and consists of a catalytic RNA subunit and protein components of variable size, from one protein in bacteria to 5 proteins in archae and at least 9 proteins in eukaryotic cells. In addition to RNase P, eukaryotes possess the RNase MRP which has a related RNA core and shares 8 proteins subunits with RNase P but with its own substrate specificity. Here, we propose an original method to purify specifically RNase P and RNase MRP from S. cerevisiae. Using electron microscopy and image processing, we solved the first structure of these two holoenzymes at a resolution of about 1.5 nm. We showed that eukaryotic RNase P and RNase MRP have a modular architecture, where proteins stabilize the RNA fold and contribute to cavities, channels and chambers between the modules.Structural features are located at strategic positions for substrate recognition by shape and coordination of the cleaved-off sequence.

Le système de transport d’électricité doit évoluer pour satisfaire les besoins du marché de l’électricité et de l’insertion de la production renouvelable. Les systèmes de transport dits HVDC se développent. Les interfaces d’électroniques de puissance vont jouer un rôle majeur et doivent faire preuve d’une extrême fiabilité, d’une grande efficacité et rester économiquement abordables.La technologie MMC (Convertisseur Modulaire Multi-niveaux) connaît un essor par rapport à des technologies classiques, comme le convertisseur trois-niveaux. Sa topologie étant complexe, deux niveaux de contrôle peuvent être définis. Le premier niveau porte sur le contrôle des interrupteurs pour équilibrer les tensions des sous-modules. Le second niveau contrôle les courants, la puissance et l’énergie dans le système.Cette thèse est axée sur ce deuxième niveau de contrôle. Une approche hiérarchisée et formelle, basée sur l’inversion du modèle pour le contrôle de l’énergie du MMC est présentée. Pour ce contrôle, différentes méthodes ont été proposées et comparées. Cela implique de développer une modélisation, mettre en place un contrôle. Différents modèles et contrôles ont été développés.Le MMC est généralement intégré dans une liaison HVDC où deux stations AC/DC ont un contrôle différent. Un soin particulier doit être apporté à la station dédiée au contrôle de la tension. En effet, la gestion de l’énergie dans le MCC est un point critique pour la stabilité de la tension.Enfin, les différents types de contrôle évoqués ont été étudiés dans le cas d’une liaison HVDC. Il a été montré que les échanges entre le bus DC et les MMC jouent un rôle important pour la régulation de la tension du bus DC / In future, the capability of the electric power transmission continues to grow due to renewable energy production and the needs of electrical market. Consequently, many HVDC transmission systems are developed. Definitely the power electronic interfaces will play a key role to provide high reliability, good efficiency and cost effectiveness for this AC/DC conversion.Recently, the Modular Multilevel Converter (MMC) has taken the advantage over the more classical converter as three-level VSC. Since MMC topology is complex, two different control levels may be distinguished: the control of the switches mainly orientated on the balance of hundreds of voltage on the elementary submodules, the higher level control whose aim is to control the currents, power and energy in the system.This thesis is oriented mainly on the latter. It discusses a hierarchical and formal approach for the MMC to control the energy in all the storage elements. At first it is shown that an energy control is required mandatory. Secondly, it supposes to develop an energetic model which is inverted to design the energy control. Then different solutions of control have been developed and discussed.In the majority of applications, MMC is integrated in an HVDC point to point link where the two AC/DC substations have different roles. A specific attention has to be paid on the station which controls the voltage since the way to manage the energy in the MMC has a critical role in the DC voltage stability.Finally, all these types of control have been tested and discussed on an HVDC. It is shown that the exchange between the DC bus and the MMC placed on both sides play a key role in the DC bus voltage regulation.

Des résultats récents ont montré les premières preuves d’un effet multivalent puissant des iminosucres sur l’inhibition des glycosidases, avec des gains d’affinité allant jusqu’à 10000. Afin de comprendre les différentes caractéristiques de cet « effet de cluster » et d’en poursuivre l’optimisation, de nouvelles charpentes doivent être conçues. Le premier axe de recherche a donc consisté en la mise au point d’un ensemble de techniques d’ingénierie « click » pour la synthèse de systèmes multivalents, avec le développement d’une stratégie Sweet LEGO®. Cette approche permettrait un accès simple à une grande variété de néocyclodextrines préfonctionnalisées. Le second axe a consisté en une étude de relation structure-activité autour de charpentes moléculaires polyalcynes utilisées pour préparer de nouveaux clusters par chimie « click ». Une partie des clusters a été préparée en utilisant de nouvelles charpentes cyclopeptoïdes. Ils ont permis de poursuivre l’optimisation de l’effet multivalent des iminosucres sur l’inhibition de glycosidases. En particulier, un composé portant 30 ligands a montré le meilleur effet multivalent connu sur une enzyme modèle. / Recent reports have demonstrated the first pieces of evidence of a strong multivalent effect in glycosidase inhibition by iminosugars, with affinity enhancements close to 10000. In order to understand the different parameters of this “cluster effect” and to continue its optimization, new scaffolds must be designed. The first research topic was thus to develop a set of « Click » Chemistry engineering techniques for the synthesis of multivalent systems, with the development of a Sweet LEGO® strategy. In the end, it would allow an easy access to a broad range of prefunctionalized neocyclodextrins. The second research topic consisted in a structure-activity relationship study by varying the molecular polyalkyne scaffold used for the preparation of new clusters by way of « Click » Chemistry. They allowed to investigate the specific features of the iminosugar cluster effect in the inhibition of glycosidases. In particular, a compound of unprecedented valency bearing 30 iminosugar units demonstrated an unprecedented dramatic affinity enhancement for the inhibition of a model enzyme (Jack bean alpha-mannosidase).