Contribution à la modélisation et à la commande modulaires des systèmes de production par une approche UML et réseaux de Petri PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Contribution à la modélisation et à la commande modulaires des systèmes de production par une approche UML et réseaux de Petri PDF full book. Access full book title Contribution à la modélisation et à la commande modulaires des systèmes de production par une approche UML et réseaux de Petri by Nicolae Brinzei. Download full books in PDF and EPUB format.
Author: Nicolae Brinzei Publisher: ISBN: Category : Languages : fr Pages : 198
Book Description
Dans ce mémoire, nous apportons une méthode intégrant le formalisme UML et les réseaux de Petri pour une approche modulaire et distribuée des systèmes de production. Le modèle UML n'accède pas à une étude analytique. Celle-ci est réalisée après transformation du modèle UML en un réseau de Petri. Le formalisme UML conduit vers les réseaux de Petri à objets, auxquels des aspects stochastiques et modulaires sont ajoutés. Nous définissons les réseaux de Petri à objets stochastiques à synchronisations internes. Ces réseaux de Petri permettent d'obtenir un modèle modulaire où chaque entité du système a son propre sous-réseau synchronisé par des messages. Pour déterminer les processus semi-markoviens associés aux sous-réseaux, une évaluation des synchronisations est effectuée. Nous développons une méthode basée sur les objectifs des systèmes de production ; objectifs définis en terme de marquages moyens des places du réseau de Petri. Cette méthode permet de déterminer les taux de franchissement associés aux transitions synchronisées, tout en assurant les performances minimales imposées au système de production. Pour optimiser ces performances, nous intégrons une commande aux taux de franchissement. Nous développons un algorithme de commande optimale en deux étapes. L'évaluation de la stratégie de commande se fait indépendamment pour chaque entité du système et l'amélioration de la stratégie évaluée est réalisée pour le système entier. Nous appliquons finalement cette méthode à un atelier d'assemblage de câbles de commande d'automobiles. Après une phase de modélisation et d'étude du régime permanent, nous déterminons les taux optimaux à obtenir pour un gain maximum de l'atelier.
Author: Nicolae Brinzei Publisher: ISBN: Category : Languages : fr Pages : 198
Book Description
Dans ce mémoire, nous apportons une méthode intégrant le formalisme UML et les réseaux de Petri pour une approche modulaire et distribuée des systèmes de production. Le modèle UML n'accède pas à une étude analytique. Celle-ci est réalisée après transformation du modèle UML en un réseau de Petri. Le formalisme UML conduit vers les réseaux de Petri à objets, auxquels des aspects stochastiques et modulaires sont ajoutés. Nous définissons les réseaux de Petri à objets stochastiques à synchronisations internes. Ces réseaux de Petri permettent d'obtenir un modèle modulaire où chaque entité du système a son propre sous-réseau synchronisé par des messages. Pour déterminer les processus semi-markoviens associés aux sous-réseaux, une évaluation des synchronisations est effectuée. Nous développons une méthode basée sur les objectifs des systèmes de production ; objectifs définis en terme de marquages moyens des places du réseau de Petri. Cette méthode permet de déterminer les taux de franchissement associés aux transitions synchronisées, tout en assurant les performances minimales imposées au système de production. Pour optimiser ces performances, nous intégrons une commande aux taux de franchissement. Nous développons un algorithme de commande optimale en deux étapes. L'évaluation de la stratégie de commande se fait indépendamment pour chaque entité du système et l'amélioration de la stratégie évaluée est réalisée pour le système entier. Nous appliquons finalement cette méthode à un atelier d'assemblage de câbles de commande d'automobiles. Après une phase de modélisation et d'étude du régime permanent, nous déterminons les taux optimaux à obtenir pour un gain maximum de l'atelier.
Book Description
CES TRAVAUX S'INTERESSENT A LA MODELISATION ET A LA SIMULATION DES SYSTEMES DE PRODUCTION DE SERVICES (SPS). POUR CELA, NOUS NOUS SOMMES FIXES PLUSIEURS OBJECTIFS. NOTRE PREMIER OBJECTIF A ETE D'ETUDIER LES TYPES D'ORGANISATIONS QUI LEUR SONT ADAPTEES. NOUS AVONS OPTE POUR UNE APPROCHE PAR PROCESSUS. SUR LA BASE DE CETTE APPROCHE, NOUS AVONS ANALYSE COMMENT AMELIORER LA FIABILITE ET LA PERFORMANCE DES SPS. POUR CELA NOUS AVONS PROPOSE UNE METHODE DE MODELISATION ET DE SIMULATION DES PROCESSUS DES SPS (MOSISER). ELLE EST APPLIQUEE A DEUX VUES D'UN PROCESSUS QUE NOUS DEFINISSONS COMME SUIT : UNE PREMIERE VUE (ACTIVITES) ANALYSE UN PROCESSUS DONNE DANS SA GLOBALITE ET S'INTERESSE AU SEQUENCEMENT DE SES ACTIVITES. UNE SECONDE VUE (OPERATIONS) ANALYSE UN PROCESSUS DONNE DANS LE DETAIL DE SES ACTIVITES ET DE SES OPERATIONS ET S'INTERESSE A L'ORGANISATION DES OPERATIONS ET AU DIMENSIONNEMENT DES RESSOURCES NECESSAIRES POUR LA REALISATION D'UN PROCESSUS DONNE. LA METHODE EST REALISEE EN DEUX PHASES, UNE PHASE DE REPRESENTATION DE PROCESSUS BASEE SUR UN OUTIL DE REPRESENTATION GRAPHIQUE (ORGANIGRAMMES) ET UNE PHASE D'ANALYSE DU PROCESSUS BASEE SUR UN OUTIL DE SIMULATION (RESEAUX DE PETRI) ET SUR LE FORMALISME ORIENTE OBJETS (NOTATION UML). NOUS AVONS PROPOSE UNE METHODE POUR L'INTEGRATION UML/RESEAUX DE PETRI DE TYPE THORN. NOUS AVONS ENSUITE VALIDE LA METHODE EN L'APPLIQUANT A UN TYPE DE SPS PARTICULIER, LES SYSTEMES DE PRODUCTION TECHNIQUES ET RELATIONNELS. DANS CE CADRE, NOUS AVONS DEVELOPPE DES MODELES RESEAUX DE PETRI POUR CHACUNE DES DEUX VUES DE MOSISER, DANS LE CAS OU LES ACTIVITES DU PROCESSUS ETUDIE SONT SOUMISES A DES PERTURBATIONS EXTERNES ET INTERNES. DEUX ALGORITHMES ONT ETE DEVELOPPES POUR DETERMINER L'ORDONNANCEMENT DES ACTIVITES ET DES OPERATIONS LORSQUE DES PREFERENCES LEUR SONT ASSOCIEES.
Author: Pierre-Olivier Lair Publisher: ISBN: Category : Languages : fr Pages : 177
Book Description
Les travaux développés au travers de cette thèse s'inscrivent dans le cadre d'une approche continue de la modélisation, de l'analyse et de la commande des systèmes de production. Cette approche est basée sur une représentation du système à partir du formalisme bond graph en exploitant le concept des réseaux de Petri continus à vitesses variables. La modélisation est développée autour d'une approche modulaire qui vise à représenter les systèmes de production, en associant un sous modèle générique d'éléments bond graphs à chaque type d'entités. L'intérêt de modéliser ces systèmes par des éléments bond graphs standards réside dans le fait que le formalisme utilisé permet, d'une part, de préserver la notion de causalité qui est essentielle pour construire l'approche analytique et, d'autre part, d'obtenir une représentation d'état pour développer la synthèse d'une commande...
Author: TAREK.. EL FOULY Publisher: ISBN: Category : Languages : fr Pages : 134
Book Description
LES TRAVAUX DE CETTE THESE S'INSCRIVENT DANS LE CADRE D'UNE NOUVELLE APPROCHE POUR LA MODELISATION ET LA COMMANDE DES SYSTEMES DE PRODUCTION. CETTE APPROCHE EST BASEE SUR UNE REPRESENTATION MULTI-PHASES DU SYSTEME MODELISE PAR UN RESEAU DE PETRI CONTINU A VITESSES VARIABLES. LA DECOMPOSITION DE L'EVOLUTION DU SYSTEME PAR PHASES PERMET D'OBTENIR DES MODELES LINEAIRES ASSOCIES AUX DIFFERENTES PHASES. L'INTERET PRINCIPAL DE LA MODELISATION MULTIPHASES RESIDE DANS LA FACILITE DE MISE EN UVRE D'UNE COMMANDE PAR PHASE. CETTE COMMANDE CONSISTE A AMENER LE SYSTEME DE PROCHE EN PROCHE VERS L'ETAT DESIRE, PAR LE CONTROLE DES PHASES SUCCESSIVES. LA COMMANDE PROPOSEE DANS LE CAS DES SYSTEMES DE PRODUCTION EST EFFECTUEE EN AGISSANT SUR LES VITESSES DES SOURCES ET DES MACHINES. DEUX TYPES DE COMMANDES SONT ETUDIES. LE PREMIER EFFECTUE LE CONTROLE DU NIVEAU DE PRODUCTION EN S'INTERESSANT UNIQUEMENT A LA MANIERE DONT LE SYSTEME EST ALIMENTE EN ENTREE. LE SECOND PERMET, TOUT A LA FOIS, LE CONTROLE DE L'ENSEMBLE DES EN-COURS ET DU NIVEAU DE PRODUCTION. LES RESULTATS DE MODELISATION ET DE COMMANDE OBTENUS SONT ENSUITE APPLIQUES SUR UN EXEMPLE CONCRET D'UN SYSTEME INDUSTRIEL. IL S'AGIT D'UN ATELIER DE MONTAGE DE FAISCEAUX DE SORTIE DE SILENCIEUX D'UNE LIGNE D'ECHAPPEMENT, POUR VEHICULES AUTOMOBILES. LES RESULTATS OBTENUS PAR SIMULATION SONT PROBANTS ET MONTRENT LA SIMPLICITE DE LA MISE EN UVRE ET L'EFFICACITE DE L'APPROCHE PROPOSEE.
Book Description
LE TRAVAIL PRESENTE DANS CETTE THESE CONCERNE LA DESCRIPTION ET LA MODELISATION DES SYSTEMES DE PRODUCTION EN VUE DE L'EVALUATION DE L'IMPACT DES INCERTITUDES SUR LES STRUCTURES, LES ACTIVITES ET LES FLUX DANS UN SYSTEME DE PRODUCTION. CETTE PROBLEMATIQUE EST COMPLEXE, ELLE A NECESSITE LE DEVELOPPEMENT D'UNE APPROCHE SYSTEMIQUE APPELEE APPROCHE PAR LES STRUCTURES D'ORGANISATION. APRES AVOIR DISCUTE LES PRINCIPALES CARACTERISTIQUES DU SYSTEME DE PRODUCTION, UNE ANALYSE DES PROBLEMES DES STRUCTURES, DES ACTIVITES ET DES FLUX A ETE PRESENTEE. CETTE ANALYSE APPREHENDE EN PARTICULIER LES INCERTITUDES. ENSUITE, DEUX CONCEPTS FONDAMENTAUX ONT ETE DEVELOPPES POUR L'IDENTIFICATION DES ELEMENTS CONSTITUTIFS DES STRUCTURES, DES ACTIVITES ET DES FLUX DE PRODUCTION. DES MODELES DESCRIPTIFS ET DES DEFINITIONS ONT ETE PROPOSES ET COMMENTES. PAR AILLEURS, DEUX OUTILS DE MODELISATION FORMELS ONT ETE DEVELOPPES, ILS PRENNENT EN COMPTE LES INCERTITUDES: LES GRAPHES A RELATIONS FLOUES (GRF) ET LES RESEAUX DE PETRI A COLORATIONS FLOUES (RDPCF). LES GRF PERMETTENT DE REPRESENTER LES STRUCTURES ET DE LES COMPARER PAR APPLICATION DE QUELQUES ALGORITHMES D'ANALYSE. LES RDPCF PERMETTENT DE MODELISER LES ACTIVITES ET DE REPRODUIRE PAR SIMULATION LA DYNAMIQUE DES FLUX. DES MODELES DE SIMULATION D'ACTIVITES COOPERATIVES ONT ETE PROPOSES ET ANALYSES. EN FIN, UN EXEMPLE DU DOMAINE DE LA MAINTENANCE DANS UNE ENTREPRISE A SERVI DE SUPPORT DE VALIDATION DE NOS MODELES ET DE L'EVALUATION DE L'IMPACT DES INCERTITUDES SUR LES STRUCTURES, LES ACTIVITES ET LES FLUX DE PRODUCTION
Book Description
Le travail présenté dans cette thèse est principalement consacré au développement d'une méthodologie pour la modélisation et la commande des systèmes flexibles de production. Elle combine, en simulation, un modèle réseau de Petri (reproduisant la partie physique du système) et une commande hiérarchisée floue. Comme les modèles réseaux de Petri existants ne répondent que partiellement à notre objectif, nous avons proposé un ensemble d'extensions à ces modèles: les réseaux de Petri contrôlés. A travers ces extensions nous avons souhaité repousser au maximum les limites des réseaux de Petri et leur capacité à prendre en compte la complexité des systèmes de production. Le fonctionnement de chacun de ces modèles, traitant un besoin particulier de la modélisation, est illustré au travers d'exemples simples. Les concepts de base dans les réseaux de Petri sont redéfinis et la plupart des résultats théoriques sont prouvés. Pour l'élaboration de la partie contrôle/commande de tels systèmes, nous avons proposé une structure hiérarchisée composée d'un ensemble d'unités de commande locales, de superviseurs et d'un coordinateur. Etant donné la complexité et le grand nombre de paramètres à prendre en compte dans le contrôle des systèmes flexibles, nous avons opté pour une commande floue. Chaque unité de commande locale est un contrôleur flou assurant le contrôle d'un élément particulier du système physique. Ces éléments sont, généralement, des procédés multivariables à plusieurs entrées et plusieurs sorties. Différentes techniques sont développées pour réduire le nombre d'entrée-sortie et de règles utilisées dans les contrôleurs locaux. Pour la validation de notre approche une application industrielle est utilisée: les chaînes de la société Perrier.
Author: Christian Ausfelder Publisher: ISBN: Category : Languages : fr Pages : 218
Book Description
Nous presentons dans ce memoire une methode de conception et une demarche de validation de la commande de coordination des systemes flexibles de production manufacturiere (sfpm) par reseaux de petri a predicat/transition. Nous decrivons, dans le premier chapitre, les differentes fonctions necessaires a une conduite performante des sfpm qui permet d'accroitre leur disponibilite. Cette analyse est exposee en utilisant le formalisme sadt et porte essentiellement sur les liens entre la surveillance et la commande. La flexibilite existant a differents niveaux est identifiee comme caracteristique essentielle d'un sfpm permettant de reagir aux aleas d'un environnement perturbe, sans presumer de son mode d'exploitation. Cette exploitation etant a la charge de la commande de coordination, nous etablissons alors une hierarchie des modeles qui tient compte des differentes formes de flexibilite a des niveaux appropries. Les differents modeles sont generes et connectes selon une demarche descendante. Nous nous interessons davantage a la conception du modele du systeme de transport qui, structure, correspond a un synoptique representant les flux des produits dans le systeme et permet un routage individuel des produits. Le troisieme chapitre est consacre a la validation formelle des proprietes des modeles de la commande issus de la phase de generation. Elle conduit, suivant une demarche ascendante de validation, a la definition des conditions de vivacite de nos modeles. Cette condition s'exprime par une limitation de l'encours dans le sfpm en fonction de son mode operatoire.
Book Description
LE PRESENT TRAVAIL EST UNE CONTRIBUTION A LA MODELISATION HIERARCHISEE EN VUE DE LA CONDUITE DES SYSTEMES FLEXIBLES D'ASSEMBLAGE. LA RECHERCHE D'UNE ARCHITECTURE APPROPRIEE A LA STRUCTURE FLOW-SHOP DES SYSTEMES D'ASSEMBLAGE, LE CHOIX D'UN OUTIL APPROPRIE DE MODELISATION, ET LA PROPOSITION D'UNE BASE GENERIQUE MODELE DES SPECIFICITES INHERENTES AUX SYSTEMES FLEXIBLES D'ASSEMBLAGE ONT ETE ABORDES. LA PREMIERE PARTIE DE CE TRAVAIL RAPPELLE L'ANALYSE FONCTIONNELLE DES SYSTEMES FLEXIBLES D'ASSEMBLAGE, LES METHODES ET LES MOYENS EN VUE DE LA MISE EN UVRE D'UNE CERTAINE FLEXIBILITE DES SYSTEMES D'ASSEMBLAGE. LA DEUXIEME PARTIE EST UNE ETUDE DE L'ETAT DE L'ART RELATIF AUX ARCHITECTURES FONCTIONNELLES ET AUX ARCHITECTURES DE CONDUITE DES SYSTEMES FLEXIBLES DE PRODUCTION D'UNE MANIERE GENERALE, LES SYSTEMES FLEXIBLES D'ASSEMBLAGE EN PARTICULIER. DIFFERENTES APPROCHES DE CONDUITE DETERMINANTES POUR LE CHOIX D'UNE STRUCTURE DE CONDUITE COORDONNEE ET APPROPRIEE AUX SPECIFICITES DE L'ASSEMBLAGE FLEXIBLE SONT PRESENTEES. LA TROISIEME PARTIE PRESENTE LES RESEAUX DE PETRI ORIENTES OBJET EN TANT QU'OUTIL UNIFIE ET CONCIS DE MODELISATION, DE SIMULATION, ET DE CONDUITE DES SYSTEMES FLEXIBLES DE PRODUCTION EN GENERAL. L'APPORT DE LA HIERARCHISATION DE LA TRANSITION DANS LA MODELISATION RELATIVE AUX COMPETENCES DES FONCTIONS DES SYSTEMES FLEXIBLES DE PRODUCTION, DU MOINS CELLES RELATIVES AUX OPERATIONS DES SYSTEMES FLEXIBLES D'ASSEMBLAGE EST SOULIGNE. LA QUATRIEME PARTIE PROPOSE UNE MODELISATION HIERARCHISEE DES SYSTEMES FLEXIBLES D'ASSEMBLAGE. UNE CONDUITE LOCALE MULTI-NIVEAUX DE CES SYSTEMES EST PROPOSEE, AINSI QUE LA SUPERVISION LOCALE DE CETTE FONCTION DE CONDUITE. UN ENSEMBLE DE MODELES GENERIQUES DONT CHACUN SE RAPPORTANT A LA SPECIFICITE D'UNE FONCTION LOCALE, OU POUVANT ETRE UTILISE COMME BASE DE SPECIFICATION D'UNE NOUVELLE FONCTION LOCALE SONT PROPOSES. LA DERNIERE PARTIE DE CE TRAVAIL EXPLOITE LES MODELES DE LA BASE GENERIQUE ELABOREE DANS LA QUATRIEME PARTIE AFIN DE MONTRER L'IMPORTANCE DE LA MODELISATION OUVERTE PROPOSEE. UNE CELLULE FLEXIBLE D'ASSEMBLAGE DONT LE CONTEXTE PHYSIQUE EST BIEN SITUE SERT DE SUPPORT DE VALIDATION. L'OPTIMISATION DE LA MODELISATION A PARTIR DU SAVOIR-FAIRE RESULTANT DE L'ETUDE DE CETTE QUATRIEME PARTIE EST MISE EN EVIDENCE, AINSI QUE LA REUTILISATION DE CE SAVOIR-FAIRE TEL QUEL OU PAR SPECIFICATION
Author: Patrick Finotto Publisher: ISBN: Category : Languages : fr Pages : 182
Book Description
NOUS PRESENTONS, DANS CE MEMOIRE, UNE METHODE DE CONCEPTION ET D'ANALYSE DES SYSTEMES AUTOMATISES DE PRODUCTION. LES RESEAUX DE PETRI DISPOSENT D'UN SYMBOLISME GRAPHIQUE SIMPLE, ET REPOSE SUR DES CONCEPTS MATHEMATIQUES QUI PERMETTENT DE PROUVER LEUR BON FONCTIONNEMENT. MALHEUREUSEMENT, LA GRANDE TAILLE DES RESEAUX OBTENUS COMPLIQUE LA CONCEPTION ET L'ANALYSE DES RESEAUX DE PETRI. NOUS AVONS DONC CHERCHE A DEFINIR UNE METHODE DE CONCEPTION MODULAIRE. LES DIFFERENTS RESEAUX DE PETRI, QUI REPRESENTENT LE COMPORTEMENT DE DIFFERENTES PARTIES DU SYSTEME GLOBAL, SONT SYNCHRONISES PAR DES TRANSITIONS COMMUNES. A CETTE METHODE, NOUS AVONS ASSOCIE UNE METHODOLOGIE DE CONCEPTION ASCENDANTE. NOUS PROPOSONS DE CONSTRUIRE DE FACON INCREMENTALE LE RESEAU DE PETRI DECRIVANT LE SYSTEME GLOBAL. POUR CELA, LE COMPORTEMENT DE CHAQUE SOUS-SYSTEME EST DECRIT DANS UN RESEAU, DE FACON INDEPENDANTE. PUIS CES SOUS-SYSTEMES SONT REGROUPES EN ENSEMBLES PLUS COMPLEXES. A CHAQUE NOUVEL ENSEMBLE, ON ASSOCIE UN RESEAU DE PETRI QUI DECRIT LA COORDINATION ENTRE LES DIFFERENTS SOUS-SYSTEMES REGROUPES. CETTE ETAPE DE REGROUPEMENT EST ENSUITE REPETEE JUSQU'A CE QUE LE SYSTEME GLOBAL AIT ETE COMPLETEMENT DECRIT. D'UNE PART, LA METHODE ASSURE UNE PRESERVATION DES INVARIANTS DE MARQUAGE LORSQUE L'ON AJOUTE UN NOUVEAU NIVEAU DE SYNCHRONISATION. NOUS AVONS EGALEMENT DONNE DES CONDITIONS NECESSAIRES POUR OBTENIR LA VIVACITE ET LA REINITIALISABILITE DU RESEAU GLOBAL, A PARTIR DES PROPRIETES DE CHAQUE SOUS-RESEAU. D'AUTRE PART, DEUX ALGORITHMES ONT ETE PROPOSES POUR CALCULER LES P ET T-SEMI-FLOTS. APPLIQUES SUR DEUX EXEMPLES, ILS APPORTENT UN GAIN EN TERME DE TEMPS DE CALCUL QUI PERMET LE CALCUL DES INVARIANTS A CHAQUE NOUVEAU MODULE CREE. ENFIN, NOUS PROPOSONS PLUSIEURS ALGORITHMES DE CONSTRUCTION DU GRAPHE DE COUVERTURE D'UN SYSTEME, A PARTIR DES GRAPHES DES SOUS-SYSTEMES QU'IL COORDONNE, DANS LE CAS OU IL LES RESEAUX DES SOUS-SYSTEMES COORDONNES SONT BORNES.
Book Description
Nous présentons, dans ce travail, une approche basée sur les réseaux de Petri temporisés (déterministes) pour la modélisation et l'analyse des systèmes de production discrets. L'étude porte d'une part sur les job-shops (ateliers flexibles), d'autre part sur les systèmes d'assemblage multi-niveaux. Le processus de production fonctionne de manière cyclique (il s'agit de fabrications répétitives) avec un nombre limité d'en-cours et pour des ratios de productions fixés. A partir du modèle développé pour les job-shops, qui correspond à un graphe d'évènements temporisé, nous en déduisons les caractèristiques du régime permanent et en particulier les performances (productivité, utilisation des machines...) en fonction de l'état initial et de l'ordre de passage des pièces sur les machines (séquences d'entrée). Nous examinons ensuite comment optimiser les performances en saturant la machine la plus chargée avec un minumum d'en-cours. Cet aspect est particulièrement important dans le cas des ateliers flexibles car cela revient à maximiser la productivité avec le minimum de ressources de transport. Nous montrons que cette condition est toujours réalisable pour un job-shop (quelles que soient les séquences d'entrée dans les machines) et nous proposons des algorithmes heuristiques de recherche d'un ordonnancement optimal. Dans le cas d'un système d'assemblage multi-niveaux, le modèle s'appuie sur les réseaux de Petri généralisés. L'étude des propriétés de fonctionnement périodique de ces réseaux permet de calculer les performances maximales du système de production en fonction du niveau des en-cours (qui représentent dans ce cas les matières premières et les produits semi-finis). Nous abordons également le problème d'optimisation des performances en suivant une démarche similaire à celle des job-shops.
Author: Nicolae Brinzei
Author: Nicolae Brinzei
Author: SELMA.. LIMAM
Author: Pierre-Olivier Lair
Author: TAREK.. EL FOULY
Author: Mohamed-Salah Ouali
Author: Mohamed-Kamel Ghabri
Author: Christian Ausfelder
Author: MOUSSA.. ADAMOU
Author: Patrick Finotto
Author: Hervé Hillion