La conception sur-mesure de matériaux architecturés à l'échelle du milli/centimètre est une stratégie pour développer des matériaux de structure plus performants vis-à-vis de cahiers des charges multifonctionels. Ce travail de thèse s'intéresse en particulier à la conception optimale de panneaux architecturés périodiques, dans le but de combiner des exigences mécaniques de flexion et de cisaillement, ainsi que de conductivité thermique. Le comportement élastique peut être prédit grâce à l'identification sur la cellule périodique des coefficients de la matrice des souplesses équivalente. Ces calculs d'homogénéisation ont été mis en oeuvre par éléments finis pour estimer en particulier les souplesses en flexion et en cisaillement transverse. Après validation expérimentale, cette méthode de calcul constitue un outil d'évaluation des performances mécaniques pour chaque géométrie de cellule périodique (2D ou 3D). À titre d'exemple, et dans un contexte de développement de solutions matériaux architecturés pour l'automobile, la conception de tôles "texturées" est proposée en menant une étude paramétrique à l'aide de cet outil. L'implémentation d'un algorithme d'optimisation topologique couplé à la procédure d'homogénéisation permet d'enrichir les méthodes de conception sur-mesure en élargissant l'espace de recherche des "architectures". Après l'étude modèle du compromis entre flexion et cisaillement, le cas industriel d'un panneau sandwich isolant est traité. Dans ce cas, l'optimisation fournit plusieurs compromis prometteurs entre rigidité en cisaillement et isolation thermique. Ces géométries ont été réalisées et testées, et une nouvelle version améliorée du panneau sandwich a été sélectionnée. / The "material by design" strategy consists in tailoring architectured materials in order to fulfill multi-functional specifications. This PhD study focuses more specifically on designing architectured panels in regards with mechanical compliances (bending and transverse shear), as well as thermal conductivity. Recent advances on periodic homogenization of plates are integrated into a finite elements tool that enables to identify the Reissner-Mindlin effective compliance from the unit cell geometry. The comparison with four-point bending tests illustrates a discussion on the shear loading for homogenization, and its contribution to the global bending stiffness. In a context of architectured steel solutions for automotive, a parametric study is treated on "embossed" steel sheets using this homogenization tool. As a try to enlarge the space of available "architectures", a topological optimization algorithm (using the level-set method) is coupled to the homogenization procedure. The influence of each parameters of the method are studied on the optimization problem of compromising flexural and shear compliances. Finally, the industrial case of an insulation sandwich panel is treated. Few optimized geometries, with a high combination of shear stiffness and thermal insulation, are built, produced and tested. An improved design is highlighted and proposed as next version of this product.

Les technologies d’imagerie médicale permettent de visualiser pathologies et traumatismes. Cependant, même si cette imagerie permet des vues perspectives dynamiques, elle reste du domaine du 3D virtuel puisque sur un écran 2D. Une réplique présente dès lors un avantage certain : elle rend palpable la notion d'échelle et de volume et apparents des détails cachés ou ambigus et ainsi améliore ou facilite le diagnostic et la solution chirurgicale.Le prototypage rapide permet la fabrication d'une réplique à partir d'un fichier CAO issu des données d'imagerie, mais ce procédé n'est pour l'instant appliqué qu'à des cas très spécifiques. Nos travaux montrent qu'il peut l'être avec profit en orthopédie et traumatologie à des cas chirurgicaux certes complexes mais courants, et passer du laboratoire de recherche à l'établissement hospitalier.Une méthodologie est définie visant à passer des données DICOM3 à une réplique en ABS par prototypage rapide par dépôt de fil fondu via une reconstruction 3D numérique à l'aide de logiciels dédiés. Une étude de capabilité, transposable à tout procédé, quantifie la réponse et la fidélité de la machine et les paramètres optimaux. Trois applications (à partir de la tomographie RX) sont présentées à travers trois cas cliniques (ostéotomie, arthroplastie, trochléoplastie).Les exemples montrent que le procédé s'avère pertinent (et économiquement raisonnable) dès qu’il est question de géométrie complexe, de matérialisation du relief et d’appréciation d’un volume osseux. La représentation objective de l’échelle des volumes en constitue le point fort et l'intérêt est indéniable dans nombre de domaines de la chirurgie orthopédique et traumatologique. / The medical imaging technologies allow the visualization of diseases and injuries. However, even if dynamic perspective ones, these views remain a virtual 3D visualization because on a 2D screen. Real replicas have therefore a definite advantage: they can make palpable the notion of scale and volume and apparent hidden or ambiguous details and thus enhance or facilitate the diagnosis and the surgical solution.The rapid prototyping allows to achieve a replica from a CAD file issued from imaging data but this process is now only applied to specific cases. Our work shows that it can be applied with profit for complex but usual orthopaedic and trauma surgery cases. It can be so transfered from the research laboratory to the hospital.A methodology is defined to manufacture an ABS replica through rapid prototyping by fused deposition modelling from DICOM3 data and digital 3D reconstructions using dedicated software. The study of the capability, transferable to any process, quantifies the response and the accuracy of the machine and the optimal parameters. Three applications (from CT-scan) are presented through three clinical cases (osteotomy, arthroplasty and trochleoplasty) . The examples show that the method is appropriate (and economically reasonable) when it comes to complex geometry or assessment of bone volume. The objective representation of the volumes is the strength of the method and the interest is undeniable in many areas of orthopaedic surgery and traumatology.

No description available.

Les batteries lithium-ion sont considérées de nos jours comme la solution optimale pour les systèmes de stockage d'énergie, et cela est dû principalement à leurs hautes densités d'énergie et de puissance. Leurs performances, durées de vie, et fiabilités sont liées et dépendent des conditions d'utilisations telles que la température et les courants demandés par l'application. Et afin d'avoir un suivi de l'évolution du vieillissement de la batterie, la détermination de son état de santé (State-Of-Health -SOH-) est une fonction majeure à considérer. Ce mémoire expose les méthodologies ou techniques développées pour la gestion de la durée de vie de la batterie lithium-ion, et plus particulièrement pour la détermination de son état de santé, en se basant sur ses propres paramètres principaux qui sont la capacité et la résistance ohmique. Cette démarche permet de basculer d'un SOH statique (basé sur un modèle prédéfini de vieillissement tenant compte du calendaire et du cyclage en fonction des caractéristiques telles que la température et le courant de la batterie suivies en temps réel) vers un SOH dynamique ou auto-adaptatif, puisqu'il est basé sur un modèle du composant électrochimique dont les paramètres précédents sont évaluées en temps réel en fonction des conditions d?utilisation. Le premier chapitre revient sur les généralités concernant la technologie lithium-ion : caractéristiques, performances, constitution de l'élément de stockage, choix et nature des électrodes... Le principe de fonctionnement avec les équations générales des phénomènes électrochimiques sont aussi développés. Le second chapitre est un état de l'art des méthodologies de prédiction de la durée de vie avec les différentes classifications des modèles et des techniques de prédiction. Puis lors du troisième chapitre, nous aborderons nos méthodologies développées et les techniques utilisées, telles que le calcul statistique, la logique floue et les lois de vieillissement pour la détermination d'un état de santé dynamique de la batterie, qui en plus de la prise en compte de l'état de santé statique, c'est-à-dire basé seulement sur le vieillissement calendaire et en cyclage, considérera aussi l'évolution de la capacité et de la résistance ohmique de la batterie, en fonction du temps et des conditions d'utilisation, permettant ainsi de considérer les phénomènes improbables. Enfin dans le dernier chapitre, nous exposerons les résultats obtenus lors des tests de validations sur banc de puissance et de prototypage rapide sur des éléments réels / Lithium-ion batteries are considered nowadays as the optimal issue for the energy storage systems, it is mainly due to their high energy and power density. Their performances, lifetime, and reliability are related and depend on the operating conditions such as the temperature and requested current by the application. And in order to track the evolution of the ageing of the battery, the determination of its State-Of-Health -SOH- is a major function to consider. This thesis presents both methodologies and techniques developed for the management of the lifetime of lithium-ion battery, and more particularly the assessment of its state-of-health, based on its own main parameters which are the capacity and the ohmic resistance. This approach allows to switch from a static SOH (based on a predefined ageing model, which take into account the calendar and cycling ageing of the battery, according to some characteristics such as the temperature and the courant of the battery tracked in real time) to a dynamic SOH (self-adaptive) using an online assessment of the previous parameters according to the operating conditions. The first chapter is an overview about the lithium-ion technology: characteristics, performances, cell design, choice and nature of the electrodes... The operating principle with the general equations are also developed. The second chapter is a state of the art of the lifetime prediction methodologies with the different kinds of classification of models and prediction techniques. Then in the third chapter, we will discuss our methodologies and the developed techniques, such as the use of statistics, fuzzy logic and rules of ageing to assess a dynamic state of health of the battery, which not only does take into account the static SOH (calendar and cycling ageing), but also considers the evolution of the ohmic resistance and the capacity of the battery, depending on the time and the operating conditions. This allows taking into consideration unlikely phenomena. Finally, in the last chapter, we will expose obtained results from validation tests. These tests were done under a power electrical testbench and a rapid prototyping testbench with real cells

Dû à la complexité des algorithmes de traitement d’images récents et dans le but d'accélérer la procédure de la conception des MPSoCs, méthodologies de prototypage rapide sont nécessaires pour fournir différents choix pour le programmeur de générer des programmes parallèles efficaces. Ce manuscrit présente les travaux menés pour proposer une méthodologie de prototypage rapide permettant la conception des architectures MPSOC ainsi que la génération automatique de système matériel / logiciel dédié un circuit reprogrammable (FPGA). Pour faciliter la programmation parallèle, l'approche MPSoC proposée est basée sur l’utilisation de Framework « CubeGen » qui permet la génération des différentes solutions envisageables pour réaliser des prototypes dans le domaine du traitement d’image. Ce document décrit une méthode basée sur le concept des squelettes générés en fonction des caractéristiques d'application afin d'exploiter tous les types de parallélisme des algorithmes réels. Un ensemble d’expérimentations utilisant des algorithmes courants permet d’évaluer les performances du flot de conception proposé équivalente à une architecture basé des processeurs hardcore et les solutions traditionnels basé sur cibles ASIC. / Due to the complexity of image processing algorithms and the restrictions imposed by MPSoC designs to reach their full potentials, automatic design methodologies are needed to provide guidance for the programmer to generate efficient parallel programs. In this dissertation, we present a MPSoC-based design methodology solution supporting automatic design space exploration, automatic performance evaluation, as well as automatic hardware/software system generation. To facilitate the parallel programming, the presented MPSoC approach is based on a CubeGen framework that permits the expression of different scenarios for architecture and algorithmic design exploring to reach the desired level of performance, resulting in short time development. The generated design could be implemented in a FPGA technology with an expected improvement in application performance and power consumption. Starting from the application, we have evolved our effective methodology to provide several parameterizable algorithmic skeletons in the face of varying application characteristics to exploit all types of parallelism of the real algorithms. Implementing such applications on our parallel embedded system shows that our advanced methods achieve increased efficiency with respect to the computational and communication requirements. The experimental results demonstrate that the designed multiprocessing architecture can be programmed efficiently and also can have an equivalent performance to a more powerful designs based hard-core processors and better than traditional ASIC solutions which are too slow and too expensive.

Depuis une dizaine d'années, l'avènement des techniques multi-antennes (ou MIMO) pour les communications sans fil, mobiles ou fixes, a révolutionné les possibilités offertes pour de nombreux domaines d'application des télécommunications. La disposition de plusieurs antennes de part et d'autre du lien augmente considérablement la capacité des systèmes sans fil. Cependant, les al- gorithmes numériques à mettre en œuvre pour réaliser ces systèmes sont autrement complexes et constituent un challenge quant à la définition d'architectures matérielles performantes. L'objectif du travail présent repose précisément sur la définition optimale de solutions architecturales, dans un contexte CDMA, pour contrer cette problématique. Le premier aspect de ce travail porte sur une étude approfondie des algorithmes spatio- temporels et des méthodes de conception en vue d'une implantation matérielle efficace. De nom- breux schémas de détection sont proposés dans la littérature et sont applicables suivant trois critères qui sont : la qualité de service, le débit binaire et la complexité algorithmique. Cette dernière constitue une contrainte forte pour une mise en application à faible coût de terminaux mobiles intégrant ces applications. Aussi, il est nécessaire de disposer d'outils performants pour simuler, évaluer et affiner (prototypage rapide) ces nouveaux systèmes, candidats probables pour les télécommunications de quatrième génération. Le second aspect concerne la réalisation d'un transcepteur multi-antennes sans codage de ca- nal, intégrant la technologie d'accès multiple par répartition de codes dans le cas d'un canal large bande. Un système mono-antenne WCDMA, généralisable à un nombre quelconque d'antennes, a été intégré et simulé au sein de la plate-forme de prototypage rapide Lyrtech. L'architecture développée intègre les principaux modules du traitement en bande de base, à savoir le filtrage de Nyquist, la détection des multiples trajets suivie de l'étape de détection. Le prototype MIMO- WCDMA développé est caractérisé par sa flexibilité suivant le nombre de voies entrantes, le for- mat d'entrée des échantillons, les caractéristiques du canal sans fil et la technologie ciblée (ASIC, FPGA). Le troisième aspect se veut plus prospectif en détaillant de nouveaux mécanismes pour réduire le coût matériel des systèmes multi-antennes. Le principe d'allocation adaptative de la virgule fixe est présenté dans le but d'adapter le codage des données suivant les caractéristiques du canal sans fil et de minimiser en conséquence la complexité du circuit. D'autre part, le concept d'ar- chitectures adaptatives est proposé afin de minimiser l'énergie consommée au sein d'un système embarqué suivant le contexte d'application.

De nombreux domaines comme le jeu vidéo, l’architecture, l’ingénierie ou l’archéologie font désormais appel à la modélisation géométrique. Les objets à représenter sont de natures diverses, et leurs opérations de manipulation sont spécifiques. Ainsi, les modeleurs sont nombreux car tous spécialisés à leur domaine d’application. Or ils sont à la fois chers à développer, souvent peu robustes, et difficilement extensibles. Nous avons proposé dans la thèse l’approche alternative suivante :– fournir un langage dédié à la modélisation qui permet de définir les opérations quelque soit le domaine d’application ; dans ce langage, les objets sont représentés avec le modèle topologique des cartes généralisées, dont nous avons étendu la définition aux plongements ; les opérations sont elles définies par des règles de transformation de graphes, issues de la théorie des catégorie ;– garantir les opérations définies dans le langage à l’aide de conditions de cohérence ; une opération dont la définition vérifie ces conditions ne produit pas d’anomalie ;– développer un noyau de modeleur générique qui interprète ce langage ; les opérations définies sont directement appliquées dans le modeleur, sans implantation dans un langage de programmation ; l’outil assure également la vérification automatique des conditions du langage pour prévenir un utilisateur lorsqu’il propose une opération incohérente.Le langage et le modeleur développés se sont révélés performants à la fois en termes de temps de développement et en termes de temps machine. L’implantation d’une nouvelle opération par une règle ne prend que quelques minutes à l’aide des conditions du langage, au contraire de l’approche classi / Geometric modeling is now involved in many fields such as: video games, architecture, engineering and archaeology. The represented objects are very different from one field to another, and so are their modeling operations. Furthermore, many specific types of modeling software are designed for high programing costs, but with a relatively low rate of effectiveness.The following is an alternative approach:– we have conceived a dedicated language for geometric modeling that will allow us to define any operation of any field; objects in this language are defined with the topological model of generalized maps, this definition has been extended to the embedding informations; here the operations are defined as graph transformation rules which originate from the category theory;– we have ensured operation definitions with consistency conditions; these operations that satisfy those conditions do not generate anomalies; – we have designed generic modeling software to serve as an interpreter of this language; the operation definitions are directly applied without the need for more programing; the software also automatically checks the language conditions and warns the user if he designs a non-consistent operation.The provided language and software prove to be efficient, and all for a low programing cost. Designing a new operation takes only minutes thanks to the language conditions, as opposed to hours of programming and debugging with the past approach.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal. / Plusieurs modèles de maintenance exigent que les changements soient faits et documentés dans les spécifications des besoins et soient par la suite propagés vers le code source à travers les modè­les d'analyse et de conception. Ces modèles supposent donc un haut niveau de traçabilité comme facteur clé de maintenabilité. Cette traçabilité ne peut être obtenue sans une approche transforma­tionnelle au développement des logiciels. Cette thèse a pour objectif de fournir une approche transformationnelle pour supporter l' ingénie­rie des besoins à l'aide des scénarios et pour appliquer les patrons de conception au moyen d'algorithmes et de processus. Le langage unifié de modélisation (Unified Modeling Language, UML) a été adopté comme notation de modélisation. Dans le support de l'ingénierie des besoins, nous proposons, premièrement, un algorithme incrémental pour la synthèse des spécifications dynamiques à partir des scénarios. Cet algorithme prend comme entrée un ensemble de diagrammes de collaboration d'UML et produit en sortie les diagrammes d'états-transitions d'UML de tous les objets collaborant dans les scénarios d'entrée. En outre cet algorithme permet la vérification de la cohérence et de la complétude des scénarios. Deuxièmement, un autre algorithme est conçu pour la génération d'un prototype de l'interface usager (IU) à partir de la spécification des scénarios. Les scénarios sont acquis sous forme de dia­grammes de collaboration enrichis par des informations de l'IU. Ce prototype de l'IU peut être exécuté par un constructeur d'IU ce qui permet non seulement la validation des scénarios avec les utilisateurs mais aussi sa personnalisation et son raffinement éventuel. L'application automatique des patrons de conception est réalisée par une nouvelle approche pour le raffinement successif des modèles (en format UML) statiques et dynamiques de conception. Ces raffinements successifs sont basés sur des schémas de raffinement. Un schéma de raffinement est composé de deux compartiments. Le premier compartiment décrit le modèle abstrait de con­ception, et le deuxième compartiment montre le modèle détaillé correspondant après l'application d'un patron de conception. Nous proposons aussi un catalogue de schémas de micro-raffinement qui permettent non seulement de décrire un schéma de raffinement mais aussi de prouver sa vali­dité. / Several maintenance models suggest that changes be done and docurnented in the requirernents specification and subsequently propagated through the analysis and design models to the source code. These models require all a high level of traceability. Such traceability can only be obtained by a transformational approach to software development. The objective of this thesis is to provide a transformational approach for supporting requirernents engineering based on scenarios and for applying design patterns by rneans of algorithms and pro­cesses. The Unified Modeling Language (UML) was adopted as the notational framework. For supporting requirements engineering, we propose first an incrernental algorithm for synthesiz­ing behavioral specifications frorn scenarios. This algorithrn generates from a given set of UML collaboration diagrams the UML statechart diagrams of all the abjects involved. Moreover, this algorithm allows for the verification of consistency and cornpleteness of the input scenarios. Secondly, another algorithm is designed to generate a user interface (UI) prototype from scenar­ios. Scenarios are acquired in the form of UML collaboration diagrams, which are enriched with UI information. This UI prototype can be executed in a UI builder environment for the validation of the scenarios by the users, for customization, and for further refinernent. The automatic application of design patterns is achieved by a new approach to the stepwise refine­ment of static and dynamic design models represented as UML diagrams. Refinement is based on refinement schemas which are cornposed of two compartments. The first compartrnent describes the abstract design model, whereas the second compartment shows the corresponding detailed rnodel after application of one design pattern. We also propose a catalogue of smaller transforma­tions called micro-refinement schernas. These micro-refinernent schernas are proven to be correct and can be used to compose correct refinernent schemas.

Le point de départ de cette thèse a pour origine les difficultés constatées dans la communauté EIAH pour concevoir des applications éducatives exploitant des informations géographiques. A terme, il s'agit de proposer une nouvelle plateforme susceptible de rendre possible et opérationnel la conception d'applications Web géographiques portées par des utilisateurs non-informaticiens de façon autonome. La proposition scientifique est basée sur un processus de conception piloté par les contenus et par les interactions. Il est opérationnalisé dans une plateforme nommée WINDMash offrant aux concepteurs un environnement visuel de spécification et d'évaluation des interactions. Nous proposons un modèle unifié sous-jacent de description des applications Web géographiques comportant trois facettes qui permettent de représenter les contenus géographiques manipulés, de les afficher sur une interface graphique et de décrire le comportement de l’application (scénario d’interaction) à l'aide d'un langage visuel dont le formalisme graphique est inspiré du diagramme de séquence UML. En utilisant des techniques d'Ingénierie Dirigée par les Modèles, la plateforme WINDMash permet de générer automatiquement le code de l'application finale sur la base des instances de trois facettes du modèle unifié. La plateforme WINDMash utilise pour cela l’API WIND (Web INteraction Design) que nous avons programmée. Les concepteurs peuvent ainsi prototyper rapidement des applications Web géographiques correspondant à leurs besoins. / The starting point of this thesis is to deal with the difficulties encountered in the TEL community for designing educational applications exploiting geographic information. Ultimately, it is to provide a new framework allowing for the operational design of geographic Web applications for experts in the domain (and particularly for teachers). The scientific proposal is based on a design process driven by contents and interaction. It is operationalized on a framework called WINDMash offering designers a visual environment for simply specifying and immediately evaluating interactions. The unified model for describing geographic Web applications has three parts: one for representing geographic contents, one for displaying them on a graphical user interface (GUI) and one for describing the behaviour of the application using a visual language whose graphical formalism is based on the UML diagram sequence. Using Model-Driven Engineering (MDE) techniques, the WINDMash framework can automatically generate the code of the final application based on the instances of three parts of the unified model. The WINDMash framework used for this the WIND API (Web INteraction Design) that we programmed. Designers can thus rapidly prototype geographic Web applications corresponding to their needs.

La diversité des standards actuels en compression d'images vise à la fois à proposer des schémas de codage efficaces et des fonctions de service adaptées à chaque type d'utilisation. Les travaux de cette thèse s'inscrivant dans ce contexte d'une telle compression, leur objectif majeur consiste en l'élaboration d'une méthode unifiée pour un codage avec et sans perte des images fixes et en séquences, intégrant des fonctionnalités avancées du type : scalabilité et représentation en régions hiérarchique, robustesse<br />aux erreurs. <br /><br />La méthode LAR (Locally Adaptive Resolution) de base a été élaborée à des fins de compression avec pertes à bas-débits. Par l'exploitation des propriétés intrinsèques du LAR, la définition d'une représentation en régions auto-extractibles apporte une solution de codage efficace à la fois en termes de débit et en termes de qualité d'images reconstruites. Le codage à débit localement variable est facilité par l'introduction de la notion de région d'intérêt ou encore de VOP (Video Object Plane).<br /><br />L'obtention d'un schéma de compression sans perte s'est effectuée conjointement à l'intégration de la notion de scalabilité, par l'intermédiaire de méthodes pyramidales. Associés à une phase de prédiction, trois codeurs différents répondant à ces exigences ont vu le jour : le LAR-APP, l'Interleaved S+P et le RWHT+P. Le LAR-APP (Approche Pyramidale Prédictive) se fonde sur l'exploitation d'un contexte de prédiction enrichi obtenu par un parcours original des niveaux de la pyramide construite. L'entropie des erreurs d'estimation résultantes (estimation réalisée dans le domaine spatial) s'avère ainsi réduite. Par la définition d'une solution opérant dans le domaine transformé, il nous a été possible d'améliorer plus encore les performances<br />entropiques du codeur scalable sans perte. L'Interleaved S+P se construit ainsi par l'entrelacement de deux pyramides de coefficients transformés. Quant à la méthode RWHT+P, elle s'appuie sur une forme nouvelle de la transformée Walsh-Hadamard bidimensionnelle. Les performances en termes d'entropie brute se révèlent bien supérieures à celles de l'état-de-l'art : des résultats tout à fait remarquables sont obtenus notamment sur les<br />images médicales.<br /><br />Par ailleurs, dans un contexte de télémédecine, par l'association des méthodes pyramidales du LAR et de la transformée Mojette, un codage conjoint source-canal efficace, destiné à la transmission sécurisée des images médicales compressées sur des réseaux bas-débits, a été défini. Cette technique offre une protection différenciée intégrant la nature hiérarchique des flux issus des méthodes multirésolution du LAR pour une qualité de service exécutée de bout-en-bout.<br /><br />Un autre travail de recherche abordé dans ce mémoire vise à l'implantation automatique des codeurs LAR sur des architectures parallèles hétérogènes multi-composants. Par le biais de la description des algorithmes sous le logiciel SynDEx, il nous a été possible en particulier de réaliser le prototypage de<br />l'Interleaved S+P sur des plate-formes multi-DSP et multi-PC.<br /><br />Enfin, l'extension du LAR à la vidéo fait ici l'objet d'un travail essentiellement prospectif. Trois techniques différentes sont proposées, s'appuyant sur un élément commun : l'exploitation de la représentation en régions précédemment évoquée.