Malgré des décennies d’incontestables progrès dans le domaine des sciences informatiques, un certain nombre de problèmes restent difficiles à traiter en raison, soit de leur complexité numérique (problème d’optimisation, …), soit de contraintes spécifiques telle que la nécessité de traitement en temps réel (réalité virtuelle, augmentée, …). Dans ce contexte, il existe des méthodes de réduction de modèle qui permettent de réduire les temps de calcul de simulations multi-champs et/ou multi-échelles complexes. Le processus de réduction de modèle consiste à paramétrer un métamodèle qui requiert moins de ressources pour être évalué que le modèle complexe duquel il a été obtenu, tout en garantissant une certaine précision. Les méthodes actuelles nécessitent, en général, soit une expertise de l’utilisateur, soit un grand nombre de choix arbitraires de sa part. De plus, elles sont bien souvent adaptées à une application spécifique mais difficilement transposable à d’autres domaines. L’objectif de notre approche est donc d’obtenir, s'il n'est pas le meilleur, un bon métamodèle quel que soit le problème considéré. La stratégie développée s’appuie sur l’utilisation des hypersurfaces NURBS et se démarque des approches existantes par l’absence d’hypothèses simplificatrices sur les paramètres de celles-ci. Pour ce faire, une méta heuristique (de type algorithme génétique), capable de traiter des problèmes d’optimisation dont le nombre de variables n’est pas constant, permet de déterminer automatiquement l’ensemble des paramètres de l’hypersurface sans transférer la complexité des choix à l’utilisateur. / Despite undeniable progress achieved in computer sciences over the last decades, some problems remain intractable either by their numerical complexity (optimisation problems, …) or because they are subject to specific constraints such as real-time processing (virtual and augmented reality, …). In this context, metamodeling techniques can minimise the computational effort to realize complex multi-field and/or multi-scale simulations. The metamodeling process consists of setting up a metamodel that needs less resources to be evaluated than the complex one that is extracted from by guaranteeing, meanwhile, a minimal accuracy. Current methods generally require either the user’s expertise or arbitrary choices. Moreover, they are often tailored for a specific application, but they can be hardly transposed to other fields. Thus, even if it is not the best, our approach aims at obtaining a metamodel that remains a good one for whatever problem at hand. The developed strategy relies on NURBS hypersurfaces and stands out from existing ones by avoiding the use of empiric criteria to set its parameters. To do so, a metaheuristic (a genetic algorithm) able to deal with optimisation problems defined over a variable number of optimisation variables sets automatically all the hypersurface parameters so that the complexity is not transferred to the user.

Un défi majeur pour les programmeurs, en particulier pour les novices, est de comprendre les messages d'erreurs émis par le compilateur. Nous nous intéresserons au problème d'affichage de bon message d'erreur de compilation. Dans certains langages, tels que Typer, la vérification du type des expressions est faite lors de la compilation; ce qui oblige le compilateur à déduire les types de certaines ou de toutes les expressions; mais aussi d'envisager la meilleure manière d'écrire le type (dans le langage source) dans un message d'erreur (ce qui est infaisable pour le moment dans Typer). Cependant l'interprétation du type des expressions faite par le compilateur est toujours différente de ce que l'utilisateur aimerait voir en cas d'erreur de compilation. En effet, lorsque le code source est converti en une représentation interne via une fonction complexe (appelée \Code{elaborate}), il peut être difficile de trouver une correspondance entre le type "t\_source" (type du code source) et le type "t\_interne" (type de la représentation interne du code source) en cas d'erreur. Parfois, "t\_source" peut ne pas être disponible ou même n'avoir jamais existé car "t\_interne" a été créé de toute pièce par inférence de type. Il peut donc être difficile de trouver un "t\_source" correspondant, d'autant plus qu'il doit être clair et compréhensible pour le programmeur. En d'autres termes, il n'existe pas d'algorithme déterministe permettant de trouver une représentation naturelle dans le code source correspondant à la représentation interne d'un type. D'où l'importance d'implémenter un système heuristique tel que les algorithmes génétiques ou les réseaux de neurones qui nous donne cette information, permettant ainsi une meilleure affichage du texte des messages d'erreurs. Nous avons donc décidé de travailler sur l'amélioration des messages d'erreur du compilateur Typer, dans sa phase de traduction du langage (interprétation et représentation des différentes expressions dans le langage source) en proposant une approche basée sur les algorithmes génétiques. \\ / A major challenge for programmers, especially for novices, is to understand the error messages issued by the compiler. We are interested in the problem of displaying correct compiler error messages. In some languages, such as Typer, the type checking of expressions is done at compile time; this forces the compiler to deduce the types of some or all expressions; but also to consider the best way to write the type (in the source language) in an error message (which is unfeasible for the moment in Typer). However, the interpretation of the type of expressions made by the compiler is always different from what the user would like to see in case of a compilation error. Indeed, when the source code is converted into an internal representation via a complex function (called ‘elaborate’), it can be difficult to find a correspondence between the type "t_source" (type of the source code) and the type "t_interne" (type of the internal representation of the source code) in case of error. Sometimes, "t_source" may not be available or even have never existed because "t_interne" was created from scratch by type inference. It can therefore be difficult to find a corresponding "source_t", especially since it must be clear and understandable for the programmer. In other words, there is no deterministic algorithm to find a natural representation in the source code corresponding to the internal representation of a type. Hence the importance of implementing a heuristic system such as genetic algorithms or neural networks that gives us this information; thus allowing a better display of the text of error messages. We therefore decided to work on the improvement of the error messages of the Typer compiler, in its language translation phase (interpretation and representation of the different expressions in the source language) by proposing an approach based on genetic algorithms.

L’objectif de ces travaux de thèse est la conception et le développement d’un système de caractérisation tridimensionnelle de pièces forgées de grande dimension portées à haute température. Les travaux se basent sur de nombreuses thématiques telles que l’acquisition tridimensionnelle, l’extraction, la segmentation et le recalage de primitives 3D. Nous présentons tout d’abord les limites des systèmes de caractérisation de pièces forgées cités dans la littérature. Dans la deuxième partie, nous présentons la réalisation du système de caractérisation de pièces forgées, constitué de deux scanners temps de vol (TOF). Nous présentons également le simulateur de numérisation par scanner TOF qui nous permet de nous affranchir des contraintes industrielles (temps, difficulté de manœuvres) pour positionner les deux scanners. La troisième partie est consacrée à l’extraction des primitives 3D. Nous avons traité deux types de primitives : viroles et sphères avec deux approches différentes : méthode supervisée et méthode automatique. La première approche basée sur une méthode de croissance de région et de contour actif, permet d’extraire des formes extrudées complexes. Des problèmes d’ergonomie du système nous ont conduits à développer une deuxième approche, basée sur l’image de Gauss et l’extraction d’ellipse, qui permet l’extraction automatique de formes cylindriques ovales ou circulaires. Nous présentons également quatre méthodes d’extraction automatique de sphères basées sur des approches heuristiques : RANSAC (RANdom SAmple Consensus), algorithme génétique et algorithme génétique par niche. Dans la quatrième partie, nous étudions les différentes approches de recalage de données 3D traitées : le calibrage basé sur les cibles artificielles et le recalage fin basé sur l’algorithme ICP. Pour conclure, nous présentons la réalisation d’un système complet de caractérisation tridimensionnelle de pièces forgées de grande dimension. Ensuite, nous comparons les performances et les limites de ce système avec les systèmes de caractérisation cités dans la littérature. / The main objective of this Phd project is to conceive a machine vision system for hot cylindrical metallic shells diameters measurement during forging process. The manuscript is structured by developing in the first chapter the state of the art and the limits of hot metallic shells measurement systems suggested in literature. Our implemented system which is based on two conventional Time Of Flight (TOF) laser scanners has been described in the same chapter along, chapter two, with presentation of its respective numerical simulator. Simulation series have been done using the digitizing simulator and were aimed to determine the optimal positions of the two scanners without any industrial constraints (time, difficulty of operations). The third part of the manuscript copes with 3D primitives extraction. Two major types of approaches have been studied according to the primitive’s form (cylinders or spheres) to be extracted: supervised method and automatic method. The first approach, based on a growing region method and active contour, enables to extract complex extruded forms; while problems of ergonomics have been solved using automatic methods that have been carried out along the programme research. The proposed methods consist in automatically extracting: oval or circular cylindrical forms, using Gauss map associated with ellipse extraction techniques : spherical forms, using heuristic approaches such as RANdom SAmple Consensus RANSAC, Genetic Algorithm (GA) and Niche Genetic Algorithm (NGA). Two varieties of 3D data registration approach have been presented and discussed in chapter 4: the registration based on the artificial targets and the fine registration based on algorithm ICP. A complete system for three-dimensional characterization of hot cylindrical metallic shells during forging process has been implemented and then compared with existing systems in order to identify its performances and limits in conclusion.

La crise énergétique marquée par une flambée des prix du pétrole et les impératifs d’un développement durable font des énergies renouvelables une alternative qui suscitent aujourd'hui l’intérêt de plusieurs équipes de recherches. Le Sénégal, pays subsaharien, non producteur de pétrole n’est pas épargné par cette crise. Celle-ci se traduit par, une faible couverture du pays (en particulier les zones rurales) par le réseau électrique national. Pour faire face à cela, la nouvelle orientation en matière de politique énergétique met l’accent sur l’utilisation des énergies renouvelables notamment, le solaire et l’éolienne. L'objectif principal de cette thèse est de dégager une méthodologie de conception d’un site isolé de production d’énergie électrique à partir des énergies alternatives. Il s'agit à partir des caractéristiques d’un site (ressources d’énergie disponibles, besoins énergétiques) de :- mettre en place une démarche qui permette le choix d’une architecture du réseau et de dimensionner de façon optimale l’ensemble des constituants du réseau (machines, sources et dispositifs de stockage) en tenant compte de toutes les contraintes- concevoir un dispositif de commande des composantes et de gestion des flux d’énergie Cette thèse comprend trois chapitres :- Chapitre 1 : pose la problématique de l’énergie au Sénégal. L’organisation institutionnelle du sous-secteur de l’électricité, les réalisations et les projets en cours sont présentés. Aussi, une étude sur les architectures de micro-réseaux est faite. - Chapitre 2 : traite des outils et logiciels. Une étude comparative des principaux logiciels d’analyse, de conception et simulation des micro-réseaux est réalisée. L’ensemble des composants de notre système ont été modélisées. Les méthodes d’optimisation et des outils de représentation graphique (Bond Graph, GIC et REM) des systèmes ont été présentés. Une enquête menée et une recherche bibliographique nous ont permis d’évaluer le potentiel énergétique du site et les besoins des populations.- Chapitre 3 : il s’agit de l’application de notre outil sur un site isolé identifié au Sénégal (MBoro/Mer). L’optimisation à travers la fonction objectif coût annualisée du système (ACS) nous a permis de dimensionner de façon optimale notre système. Aussi la commande du système avec la Représentation Energétique Macroscopique (REM) a été conçue.Pour la suite du travail, il faudrait envisager une prise en charge des problèmes de disponibilité du système à travers une surveillance et une supervision du dispositif. Le volet socio-économique aussi est à intégrer dans le futur afin de satisfaire l’évolution des besoins et des habitudes des populations. / The energy crisis characterized by the oil products price rising and the imperatives of sustainable development do that renewable energies are an alternative today witch attract the interest of several research teams. Senegal, sub-Saharan country, not oil producer is not spared by this crisis. The consequence of this is a low coverage of the country (especially rural areas) by the national grid. For solving this, the new orientation of the energy policy focuses on the use of renewable energy particularly solar and wind.The main objective of this thesis is to identify a methodology of design of an isolated site of electrical energy production from alternative energies It is consists on, from site characteristics (energy resources, energy requirements):- to develop an approach that allows the choice of network architecture and sizing optimally all components of the network (machines, sources and storage devices) taking into account all the constraints- to design a device for controlling components and managing the energy flowsThis thesis contains three chapters:- Chapter 1 - poses the problem of energy in Senegal. The institutional organization of the electricity sub-sector and the ongoing projects are presented. Also, a study of micro- architectures networks is made.- Chapter 2 deals with tools and software. A comparative study of the main software of analysis, design and simulation of micro- network is realized. The components of our system have been modeled. Optimization methods and tools for graphical representation (Bond Graph, GIC and EMR) systems were presented. A survey and a literature review allowed us to evaluate the energy potential of the site and the needs of populations.- Chapter 3: This is the application of our tool on an isolated site identified in Senegal (MBoro / Mer). Optimization through the Annualized Cost of the System (ACS) objective function has allowed us to scale our system optimally. As the control system with Energetic Macroscopic Representation (EMR) has been designed.For further work should be considered a treatment of problems of availability of the system through monitoring and supervision of the system. The socio- economic component is also integrated in the future to meet the changing needs and habits of the population.

La problématique de l'imagerie radar pose comme objectif de caractériser la cible observée. Dans le contexte de la télédétection appliquée aux milieux forestiers, il s'agit d'extraire les paramètres physiques constitutifs de la végétation.Ce manuscrit traite donc de la problématique de l'inversion de données électromagnétiques pour les basses fréquences radar, de la bande VHF à la bande P. Dans ces bandes de fréquences la canopée (feuilles et petites branches) n'interagit quasiment pas avec l'onde radar et la forêt peut donc, en première approximation, être représentée par des cylindres verticaux (troncs) et inclinés (branches primaires).Dans ce contexte, les méthodes d'inversion numériques s'appuient sur des modèles qui calculent, à de multiples reprises, les champs rayonnés par ce type de diffuseurs. Il faut alors choisir un modèle physique dont le compromis rapidité/précision penche en faveur de la rapidité, donc un modèle "approché". La précision du modèle choisi est ensuite étudié puis validé par comparaison à un modèle dont le compromis rapidité/précision est inversé, donc un modèle "exact". Parmi les nombreuses méthodes d'inversion, celle de l'algorithme génétique (AG) a été choisie. Cet algorithme bien connu est ici analysé puis amélioré pour répondre aux exigences du problème électromagnétique posé. Il est ensuite validé sur des données simulées et mesurées. Cette validation est aussi l'occasion d'étudier l'impact du jeu de données utilisé sur la rapidité et la précision de l'inversion, en fonction des configurations d'antenne (fréquences, positions, polarisations). / The objective of radar imaging is to characterize the observed target. In the case of forest remote sensing, the objective is to extract the component of the vegetation physical parameters.This manuscript addresses the problem of the inversion of electromagnetic data for low frequency wave, VHF band to the P band. In these frequency bands, the canopy (leaves and small branches) does not almost interact with the radar wave and the forest can thus, in first approximation, be represented by vertical cylinders (trunks) and tilted (primary branches).In this context, the numerical electromagnetic methods of inversion lean on models which calculate, many times, the scattered fields radiated by such broadcasters. It is then necessary to choose a physical model which compromise speed/accuracy tilts in favor of the speed, thus a "approached" model. The exactness of the chosen model is then studied and then validated by comparison to a model which the compromise speed/accuracy is inverted, thus a "exact" model. Among the many numerical methods of inversion, that of the genetic algorithm (AG) was chosen. This algorithm, well known, is analyzed here then improved to meet the requirements of the composed electromagnetic problem. It is then validated on simulated and measured data. This validation is also an opportunity to study the impact of the set of data used on the speed and the precision of the inversion, according to the configurations of antenna (frequencies, positions, polarizations).

L'hydrogène est l'un des vecteurs énergétiques les plus prometteurs dans la recherche d'un mix énergétique plus durable. Plusieurs études et feuilles de route ont été réalisées sur le potentiel d'une économie « hydrogène » et ont identifié que même si de nombreuses technologies requisessont déjà disponibles aujourd'hui, le déploiement d'infrastructures hydrogène constitue la tâche la plus difficile de son développement, dont la mesure où on doit atteindre des coûts compétitifs et avoir l'acceptation du marché. La conception de la chaîne logistique de l’hydrogène (HSC), enparticulier à des fins de mobilité, implique une série de décisions importantes à différents niveaux (sources d'énergie, production, transport et stockage) et peut être considérée comme un problème multi-échelle et multi-période avec plusieurs parties prenantes. L'objectif de ce travail est de proposer un cadre méthodologique pour aborder le problème de conception de la HSC de manière complémentaire au travail proposé dans le travail de doctorat de (Sofia de Leon Almaraz, 2014) dans lequel une formulation multi-objectif a été mise en œuvre via la méthodologie - contrainte pour obtenir le front de Pareto, en optimisant trois objectifs en même temps : le coût journalier total, le potentiel de réchauffement global et un indice de risque de sécurité. Une analyse de sensibilité basée sur un plan d'expérience en utilisant les méthodes de plan factoriel et surface de réponse a été réalisée pour identifier les principaux paramètres (facteurs) et leur interaction affectant le critère économique, soit le coût journalier total (TDC) (réponse), englobant les coûts capitaux et opérationnels. Cette analyse de sensibilité souligne que la demande est de loin le paramètre le plus important qui conditionne fortement le critère TDC, de sorte que davantage d'efforts sont nécessaires pour modéliser l'incertitude de la demande de façon homogène. Dans la formulation initiale de la conception de la HSC, la taille du problème liée au nombre de variables binaires conduit souvent à des difficultés pour résoudre le problème. Dans ce travail, le potentiel des algorithmes génétiques (GA) via une variante de NSGA-II est exploré pour faire face à la formulation multi-objectif, afin de produire automatiquement le front de Pareto. La formulation du modèle a ensuite été étendue pour tenir compte de l'incertitude de la demande, ce qui donne plus de robustesse à l'approche proposée. Deux études de cas soutiennent cette analyse : d'abord au niveau régional, les résultats de la conception de la HSC pour l'ancienne région Midi-Pyrénées obtenus avec les deux modèles sont comparés. Les solutions obtenues par GA présentent le même ordre de grandeur que celles obtenues avec MILP (Programmation Linéaire en Nombres Entiers) dans le problème mono-critère, mais de meilleures solutions de compromis sont produites dans la formulation multi-objectif et des résultats plus flexibles sont obtenues avec la modélisation de l’incertitude de demande. Puis l’écosystème aéroportuaire, Tarbes-Lourdes, a été étudié : l'infrastructure aéroportuaire est une étude de cas intéressante, car un aéroport est une source d'émissions qui affectent le climat à cause des émissions générées par les activités faites à l'intérieur et à l'extérieur du périmètre de l'aéroport, liées à l’opération et utilisation de l’aéroport. Enfin, une analyse post-optimale sur une solution de compromis de la HSC est réalisée sur la base d'une évaluation sociale, via deux analyses coûts-bénéfices (CBA) d'un point de vue social (SCBA) et gouvernemental (subventions et taxes), montrant que l'incorporation d'externalités aide à financer une proportion importante des coûts. L'approche SCBA pour le déploiement de l'hydrogène intègre les avantages sociétaux induits à travers la réduction des émissions de gaz à effet de serre, la réduction de la pollution atmosphérique mais aussi les coûts sociaux par l'augmentation de la consommation de platine.

Cette recherche porte sur l’exploration et la qualification des dispositifs évolutionnaires appliquées à la conception architecturale. Ici, ce sont les qualités environnementales et plus particulièrement les qualités solaires passives de l’enveloppe de l’édifice qui guideront le processus évolutionnaire. Nous nous attachons plus particulièrement aux phases initiales de la conception, et nous cherchons à spécifier un outil d’assistance favorisant et stimulant une conception créative. Après avoir établi et structuré une connaissance sur les processus de conception, sur la créativité, sur les qualités thermiques et sur les méthodes évolutionnaires, nous proposons un outil prototypal, fondé sur un algorithme génétique et implanté dans un logiciel de type modeleur. Celui-ci a été expérimenté dans le milieu pédagogique, et nous a conduit à caractériser les modalités de création et de conceptualisation de la forme architecturale dans le cadre d’une instrumentation évolutionnaire.Ainsi nous notons le basculement cognitif d’une pensée implicite vers une pensée explicite comme caractéristique fondamentalement de l’instrumentation générative. De plus nous insistons sur l’importance de l’indétermination signifiante comme composante essentielle de la création. Enfin nous proposons la notion de « trans-forme » comme élément caractéristique d’une pensée du processus et de la multiplicité. Cette « meta-forme » serait issue de la description des conditions de mise en forme à travers la paramétrisation des comportements aux limites et des modalités d’émergence / This research tackles the exploration and the qualification of evolutionary mechanisms applied to the architectural design. Here, it is the environmental qualities and more particularly the passive solar qualities of the envelope of the building that will guide the evolutionary process. We become attached more particularly to the initial phases of the conception, and we try to specify a aided digital tool of facilitating and stimulating a creative design. Having established and structured the knowledge on the processes of conception, on the creativity, on the thermal qualities and on the evolutionary methods, we propose a prototypal tool, based on an genetic algorithm and implanted in a modeller software. This one was experimented in the educational environment, and led to us to characterize the modalities of creation and conceptualization of the architectural shape within the framework of an evolutionary instrumentation.So we note the cognitive fall of an implicit thought towards an explicit thought as a main characteristic of the generative tools. Furthermore we insist on the importance of the significant indecision as essential constituent of the creation. Finally we propose the notion of "transform" as characteristic element of a thought of the process and the multiplicity. This "meta-shape" would arise from the description of the conditions of shaping through the parameterisation of the behaviours at the limits and from modalities of emergence

Cette thèse se concentre sur la problématique suivante : comment assister un utilisateur novice pour l'aider à obtenir un dessin de son graphe qui soit adapté à ses besoins ? En effet, les méthodes de dessins actuelles, très nombreuses, nécessitent une grande expertise pour obtenir un dessin de bonne qualité. Or, par manque d'expertise, les utilisateurs novices ne peuvent pour l'instant pas produire des dessins d'une telle qualité à partir de leurs données. La solution proposée consiste à mettre en place un système interactif proposant à l'utilisateur différents dessins pour un même graphe afin qu'il obtienne un résultat qui réponde correctement à ses besoins. Ce système se base sur un algorithme de force modifié utilisé par un système d'algorithme génétique hautement modulable. L'objectif de la modification apportée à l'algorithme de dessin étant de pouvoir générer plusieurs dessins intéressants pour un même graphe. / The main objective of this thesis is to deal with assisting a novice user in drawinga graph which conforms to his/her needs. Currently, a lot of different methods for graph drawing exist, but they need an high level of expertise to be efficiently used. However, novice users don't have this kind of expertise, and thus they usually use the most common drawing methods. We design a solution to deal with this problem using an interactive system which generate several different drawings for a graph and then let the user choose which best conform to his/her constraints. This system is based on a modified force-directed algorithm controlled by a highly parameterisable genetic algorithm. The aim of the modification applied to the force-directed algorithm is to generate several different and interesting drawings of the same graph, by setting the parameters for each vertex (instead of global graph values).

Le travail présenté dans cet ouvrage concerne le développement d'une méthodologie d'optimisation des lois de contrôle/commande des stations d'épuration des eaux usées urbaines. Ce travail est basé sur l'utilisation des modèles des procédés de traitement afin de réaliser la simulation de leur fonctionnement. Ces simulations sont utilisées par un algorithme d'optimisation multi-objectifs, NSGA-II. Cet algorithme d'optimisation permet la recherche des solutions optimales en fonction des différents objectifs considérés (qualité de l'effluent, consommation énergétique, etc.). Il permet également la visualisation claire des compromis entre diverses lois de contrôle ainsi que la détermination de leurs domaines d'application respectifs. Dans une première partie de cet ouvrage, la méthodologie est développée autour de quatre axes principaux : la conception d'une méthode de simulation fiable et robuste, le choix des jeux de données d'entrée à utiliser en simulation, le choix des objectifs et contraintes à considérer et enfin l'évaluation des performances et de la robustesse à long terme des lois de contrôles. L'application de cette méthodologie sur le cas d'école du BSM1 est réalisée dans cette première partie. Dans une seconde partie, la méthodologie développée est appliquée sur le cas réel de l'usine de dépollution de Cambrai. Cette application a nécessité le développement de nouveaux aspects que sont la génération de données d'entrée dynamiques à partir des données d'auto-surveillance de la station d'épuration et la simulation des lois de contrôles basées sur une mesure du potentiel redox. Cette application a permis de visualiser les compromis entre la loi de contrôle actuellement utilisée sur site et une nouvelle loi envisagée. Il a ainsi été possible d'évaluer le gain de performances à attendre de ce changement.

Le bon déroulement d'un processus de gestion des connaissances passe par l'utilisation de méthodes efficaces de visualisation qui permettent une compréhension aisée des différents modèles de connaissances utilisés. Les retours d'expériences avec le système de gestion des connaissances Atanor, qui est orienté vers le déploiement des connaissances dans un contexte opérationnel portant sur des systèmes complexes, ont montré que le modèle d'arbres actuellement utilisé pour la visualisation des modèles de connaissances n'est pas intuitif. Des redondances de sommets trop nombreuses peuvent entraîner des difficultés de lecture et cacher des caractéristiques importantes. Pour résoudre ces problèmes nous proposons le modèle Graph'Atanor qui est basé sur des graphes en niveaux.<br>Le passage au modèle de graphes pose le problème de sa représentation visuelle. Les tracés doivent rester lisibles et compréhensibles par les utilisateurs. Ceci se traduit notamment par le respect de critères esthétiques qui permettent de modéliser un problème d'optimisation combinatoire consistant à trouver un ordre optimal des sommets dans chaque niveau. Pour résoudre ce problème, nous avons développé un algorithme génétique qui possède deux particularités : deux opérateurs de croisements spécifiques et une hybridation par une recherche locale. Les expérimentations montrent que pour des graphes de taille standard, l'algorithme génétique donne de meilleurs résultats que les autres méthodes que nous connaissons. La comparaison des modèles de représentation des connaissances sur un exemple industriel montre qu'en plus de faciliter la lecture, Graph'Atanor permet de facilement suivre la trace des utilisateurs et de mettre en avant les sommets critiques.