Deadlock Immunity: Enabling General-Purpose Software to Defend Itself against Deadlocks

Save this PDF as:
 WORD  PNG  TXT  JPG

Dimension: px
Commencer à balayer dès la page:

Download "Deadlock Immunity: Enabling General-Purpose Software to Defend Itself against Deadlocks"

Transcription

1 Deadlock Immunity: Enabling General-Purpose Software to Defend Itself against Deadlocks THÈSE N O 5146 (2011) PRÉSENTÉE le 18 Août 2011 À LA FACULTÉ INFORMATIQUE ET COMMUNICATIONS LABORATOIRE DES SYSTEMES FIABLES PROGRAMME DOCTORAL EN INFORMATIQUE, COMMUNICATIONS ET INFORMATION ÉCOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE POUR L'OBTENTION DU GRADE DE DOCTEUR ÈS SCIENCES PAR Horatiu Jula acceptée sur proposition du jury: Prof. C. Petitpierre, président du jury Prof. G. Candea, directeur de thèse Prof. R. Bianchini, rapporteur Prof. P. Felber, rapporteur Prof. V. Kuncak, rapporteur Suisse 2011

2 Résumé L immunité contre les interblocages est une propriété par laquelle les programmes, après être affectés par un interblocage une première fois, développent une résistance contre les interblocages futurs. Nous donnons la possibilité aux programmes d être immunisés contre les interblocages impliquant des exclusions mutuelles, dessémaphores,desverrousde lecture-écriture, des initialisations de classes, et des synchronisations externes, le tout sans aucune intervention de la part de l utilisateur et sans modifier la sémantique du programme. En d autres termes, nous proposons une immunisation transparente et non-intrusive contre les interblocages. Notre système d immunisation, appelé Dimmunix, est disponible pour les applications Java, les applications C/C++ qui utilisent des threads POSIX, et le système d exploitation Android. Dimmunix pour Java offre une immunité au niveau de l application. Dimmunix pour les threads POSIX offre une immunité à toutes les applications C/C++ qui utilisent la bibliothèque de threads POSIX. Enfin, Dimmunix pour Android offre une immunité à toutes les applications fonctionnant sur le système Android. Nous avons aussi développé Communix, une plateforme d immunité distribuée grâce à laquelle les machines connectées àinternetcoopérentlesunesaveclesautrespours immuniser mutuellement contre les interblocages. Puisque les verrous d exclusion mutuelle sont vraisemblablement les primitivesde synchronisation les plus utilisées, nous nous intéressons principalement aux interblocages impliquant les exclusions mutuelles. Le prototype de DimmunixpourJavaestuneimplémentation complète de Dimmunix. Les autres prototypes ne supportent que les interblocages dus aux verrous d exclusion mutuelle. Nous avons optimisé la gestiondesexclusions mutuellesdans Dimmunixpour Java afin de gérer efficacement les applications qui utilisent iv

3 de manière intensive ces primitives de synchronisation. Nos prototypes de Dimmunix sont efficaces contre les interblocages rapportés dans des applications réelles, telles que Limewire, MySQL JDBC, ActiveMQ, MySQL Server, et SQLite. Le prototype de Dimmunix pour Java fonctionne efficacement sur les applications àsynchronisationintensive,commejbosseteclipse,quisont constituées de millions de lignes de code et de centaines de threads. Nous montrons aussi quelesprototypesde Dimmunix pour Java pour les autres types d interblocages, Dimmunix pour les threads POSIX, Dimmunix pour Android, et Communix sont efficaces. De plus, le prototype de Communix arrive à contenir les attaques par déni de service qui essayent d exploiter la plateforme d immunité collaborative. Mots-clés: interblocages, détection, évitement, immunité, collaborative v

4 Preface Deadlock immunityis a property by which programs, once afflicted by a deadlock, develop resistance against future occurrences of that deadlock. We enable real applications to automatically achieve immunity against deadlock bugs involving mutex locks, semaphores, read-write locks, class initialization, and external synchronization, with no user intervention, and without changing the semantics of the applications. In other words, we provide transparent, non-intrusive immunization against deadlocks. Our deadlock immunity system, called Dimmunix, is available forjavaapplications, C/C++ applications using POSIX Threads, and Android OS. Java Dimmunixprovides application-level immunity, i.e., deadlock immunity to individual Java applications. POSIX Threads Dimmunix provides library-level immunity, i.e., deadlock immunity to all the C/C++ applications using the POSIX Threads library. Android Dimmunixprovidesplatform- level immunity, i.e., deadlock immunity to all the applications running within the Android OS. We also developed, on top of Java Dimmunix, a collaborative deadlock immunity framework called Communix, in which machines connected to the Internet collaborate to immunize each other against deadlocks. Since mutex locks are likely the most widely used synchronization construct, we focus on mutex deadlocks, i.e., deadlocks involving mutexes. The Java Dimmunix prototype is a complete implementation of Dimmunix; the other prototypes handle only mutex deadlocks. We heavily optimized the part of the Java Dimmunix prototype responsible for mutex deadlocks, in order to efficiently handle synchronization-intensive applications. Our prototype implementations are effective against deadlocks reported in real applications, like Limewire, MySQL JDBC, ActiveMQ, MySQL Server, andsqlite.thejava vi

5 Dimmunix prototype for mutex deadlocks runs efficiently on synchronization-intensive applications, like JBoss and Eclipse, with millions of lines of codeandhundredsofthreads. We also show that Java Dimmunix for non-mutex deadlocks, POSIX Threads Dimmunix, Android Dimmunix, and Communix are efficient. Moreover, the Communix prototype manages to contain denial of service attacks that attempt to exploit the collaborative immunization framework. Keywords: deadlocks, detection, avoidance, immunity, collaborative vii

6 Contents Résumé Preface iv vi 1 Introduction 1 2 Related Work Language-level Deadlock Prevention Static Deadlock Detection Static Detection and Dynamic Avoidance of Deadlocks Dynamic Deadlock Avoidance (Recovery) Deadlock Immunity Protection Against Other Bugs Background Synchronization Primitives Mutex Locks Read-Write Locks Semaphores External Locks Condition Variables Ad-Hoc Synchronization Thread Joins Barriers viii

7 3.1.9 Message Passing Terminology Deadlocks Mutex Deadlocks Read-Write Deadlocks Semaphore Deadlocks Hybrid Deadlocks Initialization Deadlocks External Deadlocks Blocked Notifications Wait-Notify Deadlocks Self-Deadlocks Non-Deadlock Hangs Dimmunix Overview Observing andlearning DeadlockFingerprints Overview Detection of Mutex, Read-Write, and Semaphore Deadlocks Deadlock Detection and Signature Generation An Example Correctness Argument Detection of Initialization Deadlocks Detection of External Deadlocks Avoiding KnownDeadlocks atruntime Overview Avoidance of Deadlocks Involving Mutexes, Read-Write Locks, and/or Semaphores Deadlock Avoidance An Example Correctness Argument Avoidance of Initialization Deadlocks ix

8 5.4 Avoidance of External Deadlocks Discussion Unavoidable Deadlocks Blocked Notifications: At the Frontier Between Starvation and Deadlock Detection of Blocked Notifications Avoidance of Blocked Notifications Limitations False Positives and False Negatives Impact on Functionality Platform-wide vs. Application-level Immunity CollaborativeImmunity Concept and Design Design Communix Framework Signature Distribution Signature Validation Signature Generalization Optimizations Selective Program Instrumentation Inlining Call Stack Matching and Position Retrieval Reducing the Number of False Positives Detecting False Positives Calibrating the Signature Matching Precision Exploiting Escape Branches to Reduce Yielding Time Prototype Implementations Dimmunix for Java: Application-level Instrumentation Dimmunix for POSIX Threads: Library-level Interception Dimmunix for Android OS: Platform-level Interception x

9 9.4 Communix for Java: Collaborative Immunity Evaluation Java Dimmunix Mutex Deadlocks Effectiveness Against Real Deadlocks Real Applications Microbenchmarks False Positives Optimizations Java Dimmunix Non-Mutex Deadlocks POSIX Threads Dimmunix Android Dimmunix Communix Performance Impact of Denial of Service Attacks Time to Achieve Full Protection Conclusion 156 Bibliography 157 xi

COMPILING SCALA FOR THE JAVA VIRTUAL MACHINE

COMPILING SCALA FOR THE JAVA VIRTUAL MACHINE COMPILING SCALA FOR THE JAVA VIRTUAL MACHINE THÈSE N O 3302 (2005) PRÉSENTÉE À LA FACULTÉ INFORMATIQUE ET COMMUNICATIONS Institut d'informatique fondamentale SECTION D'INFORMATIQUE ÉCOLE POLYTECHNIQUE

Plus en détail

Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming

Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming THÈSE N O 5007 (2011) PRÉSENTÉE le 20 mai 2011 À LA FACULTÉ INFORMATIQUE ET COMMUNICATIONS LABORATOIRE DE MÉTHODES DE PROGRAMMATION

Plus en détail

REMOTE DATA ACQUISITION OF EMBEDDED SYSTEMS USING INTERNET TECHNOLOGIES: A ROLE-BASED GENERIC SYSTEM SPECIFICATION

REMOTE DATA ACQUISITION OF EMBEDDED SYSTEMS USING INTERNET TECHNOLOGIES: A ROLE-BASED GENERIC SYSTEM SPECIFICATION REMOTE DATA ACQUISITION OF EMBEDDED SYSTEMS USING INTERNET TECHNOLOGIES: A ROLE-BASED GENERIC SYSTEM SPECIFICATION THÈSE N O 2388 (2001) PRÉSENTÉE AU DÉPARTEMENT D'INFORMATIQUE ÉCOLE POLYTECHNIQUE FÉDÉRALE

Plus en détail

4. Outils pour la synchronisation F. Boyer, Laboratoire Lig Fabienne.Boyer@imag.fr

4. Outils pour la synchronisation F. Boyer, Laboratoire Lig Fabienne.Boyer@imag.fr 4. Outils pour la synchronisation F. Boyer, Laboratoire Lig Fabienne.Boyer@imag.fr Le problème Insuffisance des solutions de base (verrous) Les solutions de plus haut niveau Les Sémaphores Les Moniteurs

Plus en détail

THÈSE. présentée à TÉLÉCOM PARISTECH. pour obtenir le grade de. DOCTEUR de TÉLÉCOM PARISTECH. Mention Informatique et Réseaux. par.

THÈSE. présentée à TÉLÉCOM PARISTECH. pour obtenir le grade de. DOCTEUR de TÉLÉCOM PARISTECH. Mention Informatique et Réseaux. par. École Doctorale d Informatique, Télécommunications et Électronique de Paris THÈSE présentée à TÉLÉCOM PARISTECH pour obtenir le grade de DOCTEUR de TÉLÉCOM PARISTECH Mention Informatique et Réseaux par

Plus en détail

Optimizing Network Performance in Virtual Machines

Optimizing Network Performance in Virtual Machines Optimizing Network Performance in Virtual Machines THÈSE N O 4267 (2009) PRÉSENTÉE le 27 janvier 2009 À LA FACULTE INFORMATIQUE ET COMMUNICATIONS Laboratoire de systèmes d'exploitation SECTION D'INFORMATIQUE

Plus en détail

Product Platform Development: A Functional Approach Considering Customer Preferences

Product Platform Development: A Functional Approach Considering Customer Preferences Product Platform Development: A Functional Approach Considering Customer Preferences THÈSE N O 4536 (2009) PRÉSENTÉE le 4 décembre 2009 À LA FACULTé SCIENCES ET TECHNIQUES DE L'INGÉNIEUR LABORATOIRE DES

Plus en détail

Guide d exploitation User s manual. Adaptateur USB, USB Adapter

Guide d exploitation User s manual. Adaptateur USB, USB Adapter Guide d exploitation User s manual Adaptateur USB, USB Adapter 88 970 110 15000336 Bluetooth Adaptateur USB Bluetooth Page 2 Configuration matérielle 2 Configuration logicielle 3 Remarques 8 USB Bluetooth

Plus en détail

Programmation Multithread

Programmation Multithread Programmation Multithread Partie 3 Professeur : Bruno De Kelper Département Génie Électrique Synchronisation Les Threads partagent les ressources Besoin de synchroniser pour: - Garder la cohérence des

Plus en détail

Probabilistic design of wastewater treatment plants

Probabilistic design of wastewater treatment plants Probabilistic design of wastewater treatment plants Thèse Mansour Talebizadehsardari Doctorat en génie des eaux Philosophiae doctor (Ph.D.) Québec, Canada Mansour Talebizadehsardari, 2015 RÉSUMÉ Dans cette

Plus en détail

Get Instant Access to ebook Cest Maintenant PDF at Our Huge Library CEST MAINTENANT PDF. ==> Download: CEST MAINTENANT PDF

Get Instant Access to ebook Cest Maintenant PDF at Our Huge Library CEST MAINTENANT PDF. ==> Download: CEST MAINTENANT PDF CEST MAINTENANT PDF ==> Download: CEST MAINTENANT PDF CEST MAINTENANT PDF - Are you searching for Cest Maintenant Books? Now, you will be happy that at this time Cest Maintenant PDF is available at our

Plus en détail

Présentation de la Boîte à Outiles du IOMC pour la Prise de Décisions sur la Gestion de produits Chimiques

Présentation de la Boîte à Outiles du IOMC pour la Prise de Décisions sur la Gestion de produits Chimiques Le projet est Présentation de la Boîte à Outiles du IOMC pour la Prise de Décisions sur la Gestion de produits Chimiques Mars 2015 Programme inter-organisations pour la gestion rationnelle des produits

Plus en détail

Bluetooth. Adaptateur USB USB Adapter. Guide d exploitation User manual VW3 A8115 09/2009. www.schneider-electric.com

Bluetooth. Adaptateur USB USB Adapter. Guide d exploitation User manual VW3 A8115 09/2009. www.schneider-electric.com Bluetooth Adaptateur USB USB Adapter Guide d exploitation User manual VW3 A8115 09/2009 1629225 www.schneider-electric.com Bluetooth Adaptateur USB bluetooth Page 3 FRANÇAIS USB Bluetooth adapter Page

Plus en détail

GREDOR Gestion des Réseaux Electriques de Distribution Ouverts aux Renouvelables

GREDOR Gestion des Réseaux Electriques de Distribution Ouverts aux Renouvelables GREDOR Gestion des Réseaux Electriques de Distribution Ouverts aux Renouvelables Can operational planning decrease distribution costs? - La gestion prévisionnelle pour diminuer les coûts de distribution?

Plus en détail

J2SE Threads, 1ère partie Principe Cycle de vie Création Synchronisation

J2SE Threads, 1ère partie Principe Cycle de vie Création Synchronisation J2SE Threads, 1ère partie Principe Cycle de vie Création Synchronisation Cycle Ingénierie 2e année SIGL Dernière mise à jour : 19/10/2006 Christophe Porteneuve Threads Principes Cycle de vie Création java.lang.thread

Plus en détail

MOFAE Multi-objective Optimization Approach to Framework API Evolution

MOFAE Multi-objective Optimization Approach to Framework API Evolution MOFAE Multi-objective Optimization Approach to Framework API Evolution Wei Wu 1,2, Yann-Gaël Guéhéneuc 1, Giuliano Antoniol 2 Ptidej Team 1, SOCCER Lab 2 DGIGL, École Polytechnique de Montréal, Canada

Plus en détail

Exercices de programmation concurrente (PCO) semestre printemps 2014-2015. Exclusion mutuelle, synchronisation, coordination

Exercices de programmation concurrente (PCO) semestre printemps 2014-2015. Exclusion mutuelle, synchronisation, coordination Prof. Yann Thoma Exercices de programmation concurrente (PCO) semestre printemps 2014-2015 Exclusion mutuelle, synchronisation, coordination Question 1: Exclusion mutuelle Soit les deux tâches T 0 et T

Plus en détail

Exemple PLS avec SAS

Exemple PLS avec SAS Exemple PLS avec SAS This example, from Umetrics (1995), demonstrates different ways to examine a PLS model. The data come from the field of drug discovery. New drugs are developed from chemicals that

Plus en détail

Programmation Multi-Threading en Java

Programmation Multi-Threading en Java Programmation Multi-Threading en Java Christophe Gravier, Frédérique Laforest, Julien Subercaze Télécom Saint-Étienne Université Jean Monnet {prénom.nom}@univ-st-etienne.fr FI2_INFO4 2012 2013 1 / 35 Plan

Plus en détail

Système M1. Chapitre 3 : Gérer la communication et la synchronisation inter-tâches. J.-F. Pradat-Peyre & E Hyon

Système M1. Chapitre 3 : Gérer la communication et la synchronisation inter-tâches. J.-F. Pradat-Peyre & E Hyon Chapitre 3 : Gérer la communication et la synchronisation inter-tâches 1 Plan du cours Introduction aux problèmes de synchronisation Exemple de problèmes Section critique et verrous Exclusion Mutuelle

Plus en détail

Modelling the IEEE 802.11 Protocol

Modelling the IEEE 802.11 Protocol Modelling the IEEE 802.11 Protocol in Wireless Multi-Hop Networks THÈSE N O 3950 (2007) PRÉSENTÉE le 23 novembre 2007 À LA FACULTÉ INFORMATIQUE ET COMMUNICATIONS Laboratoire pour les communications informatiques

Plus en détail

physicien diplômé EPFZ originaire de France présentée acceptée sur proposition Thèse no. 7178

physicien diplômé EPFZ originaire de France présentée acceptée sur proposition Thèse no. 7178 Thèse no. 7178 PROBLEMES D'OPTIMISATION DANS LES SYSTEMES DE CHAUFFAGE A DISTANCE présentée à l'ecole POLYTECHNIQUE FEDERALE DE ZURICH pour l'obtention du titre de Docteur es sciences naturelles par Alain

Plus en détail

Instructions Mozilla Thunderbird Page 1

Instructions Mozilla Thunderbird Page 1 Instructions Mozilla Thunderbird Page 1 Instructions Mozilla Thunderbird Ce manuel est écrit pour les utilisateurs qui font déjà configurer un compte de courrier électronique dans Mozilla Thunderbird et

Plus en détail

Managing Electricity Sourcing in Europe's Energy Intensive Industry - A Methodology to Develop an Electricity Sourcing Strategy

Managing Electricity Sourcing in Europe's Energy Intensive Industry - A Methodology to Develop an Electricity Sourcing Strategy Managing Electricity Sourcing in Europe's Energy Intensive Industry - A Methodology to Develop an Electricity Sourcing Strategy THÈSE N O 5124 (2011) PRÉSENTÉE le 22 septembre 2011 À LA FACULTÉ MANAGEMENT

Plus en détail

Introduction à la programmation concurrente

Introduction à la programmation concurrente à la programmation concurrente Moniteurs Yann Thoma Reconfigurable and Embedded Digital Systems Institute Haute Ecole d Ingénierie et de Gestion du Canton de Vaud Mai 2012 Yann Thoma (HES-SO / HEIG-VD

Plus en détail

NOTICE D UTILISATION Option USB 2-Ports USB FRANCAIS

NOTICE D UTILISATION Option USB 2-Ports USB FRANCAIS NOTICE D UTILISATION Option USB 2-Ports USB FRANCAIS Introduction Ce supplément vous informe de l utilisation de la fonction USB qui a été installée sur votre table de mixage. Disponible avec 2 ports USB

Plus en détail

SEG 2506 Construction de logiciels

SEG 2506 Construction de logiciels SEG 2506 Construction de logiciels Devoir 04: Programmation avec concurrence présenté à: prof. G. Bochmann, Ph.D. par: Alexandre Bradley 4548582 abrad087@uottawa.ca et Kevin Mottashed 4490866 kmott071@uottawa.ca

Plus en détail

Photoactivatable Probes for Protein Labeling

Photoactivatable Probes for Protein Labeling Photoactivatable Probes for Protein Labeling THÈSE N O 4660 (2010) PRÉSENTÉE LE 26 MARS 2010 À LA FACULTÉ SCIENCES DE BASE LABORATOIRE D'INGÉNIERIE DES PROTÉINES PROGRAMME DOCTORAL EN CHIMIE ET GÉNIE CHIMIQUE

Plus en détail

CDI SA Utilisation du service PMM Usage of PMM service

CDI SA Utilisation du service PMM Usage of PMM service CDI SA Utilisation du service PMM Usage of PMM service 1 09.11.2015 Table des matières 1 Solution PMM... 3 2 Réception et utilisation du message quotidien... 3 3 Portail de gestion de votre profil PMM...

Plus en détail

ARIA Technologies SA. Témoignage d une PME 8 avril 2015. Armand ALBERGEL. Témoignage d une PME ARIA Technologies - Climate-KIC 1

ARIA Technologies SA. Témoignage d une PME 8 avril 2015. Armand ALBERGEL. Témoignage d une PME ARIA Technologies - Climate-KIC 1 ARIA Technologies SA Armand ALBERGEL Témoignage d une PME 8 avril 2015 Témoignage d une PME ARIA Technologies - 1 SOMMAIRE Notre expérience de la Qui est ARIA? ARIA et la C-KIC Point de vue sur 5 thèmes

Plus en détail

towards reliable communication and agreement in mobile ad-hoc networks: algorithms, simulation and testbed

towards reliable communication and agreement in mobile ad-hoc networks: algorithms, simulation and testbed towards reliable communication and agreement in mobile ad-hoc networks: algorithms, simulation and testbed THÈSE N O 3639 (2006) PRÉSENTÉE le 27 octobre 2006 à la faculté informatique et communcations

Plus en détail

Urbanisation de Système d'information

Urbanisation de Système d'information Urbanisation de Système d'information L'approche Togaf 2008 The Open Group 1 TOGAF : The Open Group Framework Architecture «The Open Group Architecture Framework, également connu sous l'acronyme Togaf,

Plus en détail

Une version à jour de java DOIT être téléchargée, car MAC OS ne prend pas en charge la version de Java fournie par défaut.

Une version à jour de java DOIT être téléchargée, car MAC OS ne prend pas en charge la version de Java fournie par défaut. ENGLISH VERSION NEAR BOTTOM OF PAGE Aperçu de MFT Mac OS Les exigences applicables à un utilisateur de MAC avec le système MFT sont décrites ci-dessous. Par défaut, MFT sélectionne un téléchargeur standard

Plus en détail

Stuxnet et Duqu : une histoire de codes malveillants mutants

Stuxnet et Duqu : une histoire de codes malveillants mutants Stuxnet et Duqu : une histoire de codes malveillants mutants Jean-Yves Marion LORIA Université de Lorraine Jean-Yves.Marion@loria.fr Laboratoire de Haute Sécurité (LHS) 1 Stuxnet Ingénierie Sociale Communication

Plus en détail

Testing : A Roadmap. Mary Jean Harrold. Présentation de Olivier Tissot

Testing : A Roadmap. Mary Jean Harrold. Présentation de Olivier Tissot Testing : A Roadmap Mary Jean Harrold Présentation de Olivier Tissot Testing : A Roadmap I. L auteur II. Introduction sur les test : les enjeux, la problématique III. Les tests : roadmap IV. Conclusion

Plus en détail

SENEGAL DIAGNOSTICS DE LA GOUVERNANCE TRANSPORTS ET TRAVAUX PUBLICS

SENEGAL DIAGNOSTICS DE LA GOUVERNANCE TRANSPORTS ET TRAVAUX PUBLICS SENEGAL DIAGNOSTICS DE LA GOUVERNANCE TRANSPORTS ET TRAVAUX PUBLICS FOCUS GROUPE: Sociétés Privées qui Utilisent Services de Transport Terrestre et/ou PAD Groupe A Routes et Port Les questions de Sections

Plus en détail

Développement d une application web pour objets connectés MOHAMED SOUFIANE SOCIETE BEREXI 2015

Développement d une application web pour objets connectés MOHAMED SOUFIANE SOCIETE BEREXI 2015 1 Développement d une application web pour objets connectés MOHAMED SOUFIANE SOCIETE BEREXI 2015 Sommaire 2 1. Présentation de l entreprise et de l environnement de travail 2. Problématique et sujet de

Plus en détail

Communications et synchronisations. Système L3, 2014-2015 1/21

Communications et synchronisations. Système L3, 2014-2015 1/21 Communications et synchronisations Système L3, 2014-2015 1/21 Le problème des philosophes (Dijkstra 1965) Cinq philosophes sont assis autour d une table ronde Chaque philosophe a devant lui un plat de

Plus en détail

MPLS, GMPLS et NGN. Sécurité MPLS. Jacques BAUDRON ixtel octobre 2009 jacques.baudron@ixtel.fr. Ingénierie Conseils Services Télécommunications

MPLS, GMPLS et NGN. Sécurité MPLS. Jacques BAUDRON ixtel octobre 2009 jacques.baudron@ixtel.fr. Ingénierie Conseils Services Télécommunications MPLS, GMPLS et NGN Sécurité MPLS Jacques BAUDRON ixtel octobre 2009 jacques.baudron@ixtel.fr 1 Contents Treats Requirements VPN Attacks & defence 3 8 14 19 2 3 Threats Threats Denial of service Resources

Plus en détail

Promotion of bio-methane and its market development through local and regional partnerships. A project under the Intelligent Energy Europe programme

Promotion of bio-methane and its market development through local and regional partnerships. A project under the Intelligent Energy Europe programme Promotion of bio-methane and its market development through local and regional partnerships A project under the Intelligent Energy Europe programme Contract Number: IEE/10/130 Deliverable Reference: W.P.2.1.3

Plus en détail

Licences, logiciels libre et CeCILL

Licences, logiciels libre et CeCILL Licences, logiciels libre et V. Louvet GDS Mathrice, octobre 2004, Lille V. Louvet Licences, logiciels libre et Sommaire Licences et Logiciels Libres Les différents types de licences Contamination du soft

Plus en détail

Création d un HAL pour processeur Cell Annexes

Création d un HAL pour processeur Cell Annexes Création d un HAL pour processeur Cell Annexes Filip Novotny 20 mai 2009 Table des matières Encadré par Paul Amblard 1 Annexe 1 : Notions d assembleur PowerPC64 2 2 Annexe 2 : Spécifications du HAL 3 2.1

Plus en détail

Agro-environmental Monitoring: a Tool for Evaluation and Support of Decision-making in Swiss Agricultural Policy

Agro-environmental Monitoring: a Tool for Evaluation and Support of Decision-making in Swiss Agricultural Policy Département fédéral de l économie DFE Office fédéral de l agriculture OFAG Agro-environmental Monitoring: a Tool for Evaluation and Support of Decision-making in Swiss Agricultural Policy, Federal Office

Plus en détail

DG-ADAJ: Une plateforme Desktop Grid

DG-ADAJ: Une plateforme Desktop Grid DG-ADAJ: Une plateforme pour Desktop Grid Olejnik Richard, Bernard Toursel Université des Sciences et Technologies de Lille Laboratoire d Informatique Fondamentale de Lille (LIFL UMR CNRS 8022) Bât M3

Plus en détail

Forthcoming Database

Forthcoming Database DISS.ETH NO. 15802 Forthcoming Database A Framework Approach for Data Visualization Applications A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for the degree of Doctor of

Plus en détail

THE EVOLUTION OF CONTENT CONSUMPTION ON MOBILE AND TABLETS

THE EVOLUTION OF CONTENT CONSUMPTION ON MOBILE AND TABLETS THE EVOLUTION OF CONTENT CONSUMPTION ON MOBILE AND TABLETS OPPA investigated in March 2013 its members, in order to design a clear picture of the traffic on all devices, browsers and apps. One year later

Plus en détail

Un ACTIF InConToURnABLE PoUR DEs PARTEnARIATs significatifs. social. An ASSeT To meaningful PARTneRSHIPS

Un ACTIF InConToURnABLE PoUR DEs PARTEnARIATs significatifs. social. An ASSeT To meaningful PARTneRSHIPS Le capital Un ACTIF InConToURnABLE PoUR DEs PARTEnARIATs significatifs social capital An ASSeT To meaningful PARTneRSHIPS Présentation des participants participants presentation Fondation Dufresne et Gauthier

Plus en détail

Mode dʼemploi User guide

Mode dʼemploi User guide Mode dʼemploi User guide Urban Connexion Kit for Microsoft Surface Référence Urban Factory ICR32UF Introduction: Vous venez d acheter un kit de connexion Urban Factory pour Microsoft Surface, et nous vous

Plus en détail

Introduction à la programmation concurrente

Introduction à la programmation concurrente Introduction à la programmation concurrente Moniteurs Yann Thoma Reconfigurable and Embedded Digital Systems Institute Haute Ecole d Ingénierie et de Gestion du Canton de Vaud This work is licensed under

Plus en détail

UE 13 Contrôle de gestion. Responsables : Henri Bouquin, Professeur Stéphanie Thiéry-Dubuisson, Maître de Conférences

UE 13 Contrôle de gestion. Responsables : Henri Bouquin, Professeur Stéphanie Thiéry-Dubuisson, Maître de Conférences UE 13 Contrôle de gestion Responsables : Henri Bouquin, Professeur Stéphanie Thiéry-Dubuisson, Maître de Conférences www.crefige.dauphine.fr polycopié de TD Ouvrage de référence : Henri BOUQUIN, Comptabilité

Plus en détail

Introduction à la programmation concurrente

Introduction à la programmation concurrente Introduction à la programmation concurrente Exclusion mutuelle par attente active Yann Thoma Reconfigurable and Embedded Digital Systems Institute Haute Ecole d Ingénierie et de Gestion du Canton de Vaud

Plus en détail

VTP. LAN Switching and Wireless Chapitre 4

VTP. LAN Switching and Wireless Chapitre 4 VTP LAN Switching and Wireless Chapitre 4 ITE I Chapter 6 2006 Cisco Systems, Inc. All rights reserved. Cisco Public 1 Pourquoi VTP? Le défi de la gestion VLAN La complexité de gestion des VLANs et des

Plus en détail

Examen de mi-session. Mid-Term Exam. EEE435 Operating Systems. GEF435 Systèmes d exploitation. 21 October 2014, 13:40-14:30 hrs

Examen de mi-session. Mid-Term Exam. EEE435 Operating Systems. GEF435 Systèmes d exploitation. 21 October 2014, 13:40-14:30 hrs Mid-Term Exam EEE435 Operating Systems 21 October 2014, 13:40-14:30 hrs Examen de mi-session GEF435 Systèmes d exploitation 21 octobre 2014, 13h40 14h30 Examiner: Dr Alain Beaulieu Examinateur: Capt A.

Plus en détail

Guide d'installation et Présentation de l'application Collecteur de données du «ColloidGen II» http://www.colloidgen.com

Guide d'installation et Présentation de l'application Collecteur de données du «ColloidGen II» http://www.colloidgen.com Guide d'installation et Présentation de l'application Collecteur de données du «ColloidGen II» http://www.colloidgen.com Installation and Overview Guide of Collector data Application for the "ColloidGen

Plus en détail

M2-GamaGora. Programmation Multi-Thread - partie 1. J.C. Iehl. November 13, 2008

M2-GamaGora. Programmation Multi-Thread - partie 1. J.C. Iehl. November 13, 2008 Programmation Multi-Thread - partie 1 November 13, 2008 pourquoi ça ne marche pas? et alors? introduction aux threads threads : pourquoi ça ne marche pas? et alors? un nouveau point d entrée (une fonction

Plus en détail

Autres termes clés (Other key terms)

Autres termes clés (Other key terms) Autres termes clés (Other key terms) Norme Contrôle qualité des cabinets réalisant des missions d audit ou d examen d états financiers et d autres missions d assurance et de services connexes ( Quality

Plus en détail

An Ontology-Based Approach for Closed-Loop Product Lifecycle Management

An Ontology-Based Approach for Closed-Loop Product Lifecycle Management An Ontology-Based Approach for Closed-Loop Product Lifecycle Management THÈSE N O 4823 (2010) PRÉSENTÉE LE 15 OCTOBRE 2010 À LA FACULTÉ SCIENCES ET TECHNIQUES DE L'INGÉNIEUR LABORATOIRE DES OUTILS INFORMATIQUES

Plus en détail

Sandra Flür-Baumberger. Informations importantes sur les systèmes ADVIA Centaur et ADVIA Centaur XP. Chère cliente, cher client

Sandra Flür-Baumberger. Informations importantes sur les systèmes ADVIA Centaur et ADVIA Centaur XP. Chère cliente, cher client Siemens Medical Solutions Diagnostics AG Freilagerstrasse 38, CH-8047 Zurich Nom Département Sandra Flür-Baumberger Recommandée Téléphone +41 (0)585 581 156 Téléfax +41 (0)585 581 161 Mobile Email sandra.fluer-baumberger@siemens.com

Plus en détail

Rational Team Concert

Rational Team Concert Une gestion de projet agile avec Rational Team Concert Samira Bataouche Consultante, IBM Rational France 1 SCRUM en Bref Events Artifacts Development Team Source: Scrum Handbook 06 Décembre 2012 Agilité?

Plus en détail

CEST POUR MIEUX PLACER MES PDF

CEST POUR MIEUX PLACER MES PDF CEST POUR MIEUX PLACER MES PDF ==> Download: CEST POUR MIEUX PLACER MES PDF CEST POUR MIEUX PLACER MES PDF - Are you searching for Cest Pour Mieux Placer Mes Books? Now, you will be happy that at this

Plus en détail

Autres termes clés (Other key terms)

Autres termes clés (Other key terms) Carve-out method Autres termes clés (Other key terms) Norme Rapports d assurance sur les contrôles d une société de services extérieurs (, Assurance Reports on Controls at a Third Party Service Organization)

Plus en détail

Sun Java System Application Server Platform Edition 8.2 J2EE Tutorial

Sun Java System Application Server Platform Edition 8.2 J2EE Tutorial Sun Java System Application Server Platform Edition 8.2 J2EE Tutorial Sun Microsystems, Inc. 4150 Network Circle Santa Clara, CA 95054 U.S.A. Part No: 819 4709 Copyright 2005 Sun Microsystems, Inc. 4150

Plus en détail

The 3A Interaction Model and Relation-Based Recommender System: Adopting Social Media Paradigms in Designing Personal Learning Environments

The 3A Interaction Model and Relation-Based Recommender System: Adopting Social Media Paradigms in Designing Personal Learning Environments The 3A Interaction Model and Relation-Based Recommender System: Adopting Social Media Paradigms in Designing Personal Learning Environments THÈSE N O 4829 (2010) PRÉSENTÉE LE 15 OCTOBRE 2010 À LA FACULTÉ

Plus en détail

Utilisation de la brique LEGO EV3 avec Automgen. Using EV3 brick with Automgen (C)2014 IRAI. Lego EV3, Automgen

Utilisation de la brique LEGO EV3 avec Automgen. Using EV3 brick with Automgen (C)2014 IRAI. Lego EV3, Automgen Utilisation de la brique LEGO EV3 avec Automgen Using EV3 brick with Automgen (C)2014 IRAI 1 Ce manuel décrit l'utilisation de la brique LEGO Ev3 avec Automgen. This manual describes the use of EV3 LEGO

Plus en détail

BIG DATA APPLIQUÉES À LA SÉCURITÉ. Emmanuel MACÉ Akamai Technologies

BIG DATA APPLIQUÉES À LA SÉCURITÉ. Emmanuel MACÉ Akamai Technologies BIG DATA APPLIQUÉES À LA SÉCURITÉ Emmanuel MACÉ Akamai Technologies DÉFINITIONS Grow revenue opportunities with fast, personalized web experiences and manage complexity from peak demand, mobile devices

Plus en détail

Un exemple de transfert industriel INRIA-Expway d un logiciel sous GPL

Un exemple de transfert industriel INRIA-Expway d un logiciel sous GPL Un exemple de transfert industriel INRIA-Expway d un logiciel sous GPL Claude Seyrat - Expway Vincent Roca - INRIA, Planète GRA-SAM Séminaire INTECH : protection du logiciel INRIA Rhône-Alpes - Planète

Plus en détail

Sun ONE Application Server Platform Summary

Sun ONE Application Server Platform Summary Sun ONE Application Server Platform Summary Version 7, Update 3 Part Number 817-5602-10 February 2004 This document provides the specifics on supported platform components for the Sun Open Net Environment

Plus en détail

Meggitt Sensing Systems. This document and the information in it is proprietary and is the property of Meggitt Sensing Systems. It may not be copied

Meggitt Sensing Systems. This document and the information in it is proprietary and is the property of Meggitt Sensing Systems. It may not be copied Meggitt Sensing Systems. This document and the information in it is proprietary and is the property of Meggitt Sensing Systems. It may not be copied or disclosed to a third party or used for any purpose

Plus en détail

Audio and Web Conferencing services. Orange Business Services. Web Conferencing

Audio and Web Conferencing services. Orange Business Services. Web Conferencing Audio and Web Conferencing services Orange Business Services Web Conferencing web conferencing completely integrated audio and web services conference availability 24hrs/7days up to 100 participants complete

Plus en détail

R3D Synopsys. RedLine Security SA. file: R3D (RedLine Security).avi. 17, rue des Pierres-du-Niton Geneva, Switzerland

R3D Synopsys. RedLine Security SA. file: R3D (RedLine Security).avi. 17, rue des Pierres-du-Niton Geneva, Switzerland RedLine Security SA 17, rue des Pierres-du-Niton Geneva, Switzerland +41 (79) 418 1197 eran.banon@redline-security.com www.redline-security.com R3D Synopsys file: R3D (RedLine Security).avi English Version

Plus en détail

3. Novembre 2009: Lausanne, Hôtel Mövenpick Abstract Workshop

3. Novembre 2009: Lausanne, Hôtel Mövenpick Abstract Workshop Couplage CCM-SM Couplage CCM-SM un système simple et effi cace. Détermination de la masse de chaque spot sûr plaques CCM. Jürg Leuenberger, CAMAG Tout simplement génial: CHROMELEON 7 et son E-Workflows

Plus en détail

Stratégie de Convergence de VisualAge Pacbase

Stratégie de Convergence de VisualAge Pacbase IBM Software Group Stratégie de Convergence de VisualAge Pacbase Philippe Bauquel, VisualAge Pacbase Product Line Manager, IBM Rational SWG, Enterprise Tools & Compilers 2008 IBM Corporation Genèse du

Plus en détail

Principe d'alimentation par convertisseurs multiniveaux à stockage intégré - Application aux accélérateurs de particules

Principe d'alimentation par convertisseurs multiniveaux à stockage intégré - Application aux accélérateurs de particules Principe d'alimentation par convertisseurs multiniveaux à stockage intégré - Application aux accélérateurs de particules THÈSE N O 4034 (2008) PRÉSENTÉE le 30 mai 2008 À LA FACULTÉ DES SCIENCES ET TECHNIQUES

Plus en détail

Étalonnage de la sûreté de fonctionnement de systèmes d'exploitation

Étalonnage de la sûreté de fonctionnement de systèmes d'exploitation Étalonnage de la sûreté de fonctionnement de systèmes d'exploitation Karama KANOUN LAAS-CNRS Club SEE Systèmes Informatiques de Confiance Atelier du 20 octobre 2005 Logiciels sur étagère (libres ou commerciaux)

Plus en détail

Communications et synchronisations

Communications et synchronisations Communications et synchronisations Polytech Paris-Sud Cycle ingénieur de la filière étudiant Louis Mandel Université Paris-Sud 11 Louis.Mandel@lri.fr année 2012/2013 Le problème des philosophes (Dijkstra

Plus en détail

In your project, reliable, professional for a helping hand ; BMCI

In your project, reliable, professional for a helping hand ; BMCI PRESENTATION OF COMPANY INTRODUCTION In your project, reliable, professional for a helping hand ; BMCI COMPANY PROFILE BMCI, offers its customers services, sheet metal dies are widely used in industry

Plus en détail

«Comment être adaptés localement et intégrés globalement?»

«Comment être adaptés localement et intégrés globalement?» D) CONCLUSION Ce mémoire de fin d études a eu pour objectif de répondre à la question de recherche, «Peut-on transférer la culture organisationnelle d une société mère aux filiales situées à l étranger

Plus en détail

Le format P.D.F. (Portable Document Format) Mode d emploi et quelques exemples

Le format P.D.F. (Portable Document Format) Mode d emploi et quelques exemples Le format P.D.F. (Portable Document Format) Mode d emploi et quelques exemples 1 Le P.D.F., un format de visualisation Un format de lecture gratuit et universel Lire un document PDF A l aide de différents

Plus en détail

Transport in quantum cascade lasers

Transport in quantum cascade lasers Diss. ETH No. 20036 Transport in quantum cascade lasers A dissertation submitted to ETH ZURICH for the degree of Doctor of Sciences presented by ROMAIN LÉON TERAZZI Diplôme de Physicien, Université de

Plus en détail

MANUEL MARKETING ET SURVIE PDF

MANUEL MARKETING ET SURVIE PDF MANUEL MARKETING ET SURVIE PDF ==> Download: MANUEL MARKETING ET SURVIE PDF MANUEL MARKETING ET SURVIE PDF - Are you searching for Manuel Marketing Et Survie Books? Now, you will be happy that at this

Plus en détail

LibQUAL Canada 2010: Participants Survey / Sondage auprès des participants

LibQUAL Canada 2010: Participants Survey / Sondage auprès des participants LibQUAL Canada 2010: Participants Survey / Sondage auprès des participants The goal of this survey is to assess your library's experience with LibQUAL+ in 2010: (1) whether 2010 participants would be interested

Plus en détail

Quantifier l impact météorologique & climatique sur la santé dans les pays en voie de développement

Quantifier l impact météorologique & climatique sur la santé dans les pays en voie de développement Quantifying Weather & Climate Impacts on health in developing countries Quantifier l impact météorologique & climatique sur la santé dans les pays en voie de développement Photos: QWeCI photo archives

Plus en détail

To know before to be connected... 2 FTP2SMS... 3 1.1 XML format to send... 3 1.2 File level 1 ( ftp2sms.mt)... 4 1.3 Ack response XML ( ftp2sms.

To know before to be connected... 2 FTP2SMS... 3 1.1 XML format to send... 3 1.2 File level 1 ( ftp2sms.mt)... 4 1.3 Ack response XML ( ftp2sms. FTP2SMS FTP2SMS Content To know before to be connected... 2 FTP2SMS... 3 1.1 XML format to send... 3 1.2 File level 1 ( ftp2sms.mt)... 4 1.3 Ack response XML ( ftp2sms.dc)... 5 1 TO KNOW BEFORE TO BE CONNECTED

Plus en détail

Academic Project. B3 - Architecture. Resit Project. Version 1.0 Last update: 24/05/2013 Use: Students Author: Samuel CUELLA

Academic Project. B3 - Architecture. Resit Project. Version 1.0 Last update: 24/05/2013 Use: Students Author: Samuel CUELLA SUPINFO Academic Dept. Resit Project Academic Project 2012-2013 Version 1.0 Last update: 24/05/2013 Use: Students Author: Samuel CUELLA Conditions d utilisations : SUPINFO International University vous

Plus en détail

Infrastructure BIOBANQUES

Infrastructure BIOBANQUES Infrastructure BIOBANQUES Procédure de sélection de projets 2014 Bases de données cliniques et analytiques dans le cadre de réseaux thématiques de biobanques Clinical and analytical databases as part of

Plus en détail

SUBVENTION POUR LA PARTICIPATION À UN COLLOQUE SUPPORT FOR PARTICIPATION IN A CONFERENCE

SUBVENTION POUR LA PARTICIPATION À UN COLLOQUE SUPPORT FOR PARTICIPATION IN A CONFERENCE SUBVENTION POUR LA PARTICIPATION À UN COLLOQUE SUPPORT FOR PARTICIPATION IN A CONFERENCE 1. M DU (OU DE LA) CHERCHEUR(E): NAME OF RESEARCHER: 3. TITRE DU COLLOQUE: TITLE OF CONFERENCE: 2. VEUILLEZ COCHER

Plus en détail

MapReduce. Malo Jaffré, Pablo Rauzy. 16 avril 2010 ENS. Malo Jaffré, Pablo Rauzy (ENS) MapReduce 16 avril 2010 1 / 15

MapReduce. Malo Jaffré, Pablo Rauzy. 16 avril 2010 ENS. Malo Jaffré, Pablo Rauzy (ENS) MapReduce 16 avril 2010 1 / 15 MapReduce Malo Jaffré, Pablo Rauzy ENS 16 avril 2010 Malo Jaffré, Pablo Rauzy (ENS) MapReduce 16 avril 2010 1 / 15 Qu est ce que c est? Conceptuellement Données MapReduce est un framework de calcul distribué

Plus en détail

2016 Trade Team Registration Inscription des groupes sportifs 2016

2016 Trade Team Registration Inscription des groupes sportifs 2016 Team Équipe: Level Niveau: Insurance/ Les assurances **Select one/ Selectionnez Cycling Discipline: Web site Site internet: Our Team has 3 rd party liability insurance and has provided proof of insurance

Plus en détail

Modèle logique. Logical Model. Logical Model Modèle logique 10/03/2017

Modèle logique. Logical Model. Logical Model Modèle logique 10/03/2017 Modèle logique Logical Model Logical Model Modèle logique A logical data model or logical schema is a data model of a specific problem domain expressed independently of a particular database management

Plus en détail

Québec WHO Collaborating Centre (CC) for Safety Promotion and Injury Prevention

Québec WHO Collaborating Centre (CC) for Safety Promotion and Injury Prevention Québec WHO Collaborating Centre (CC) for Safety Promotion and Injury Prevention mission The Collaborating Centre seeks to contribute at the international level to research, development and the dissemination

Plus en détail

Environnements de développement (intégrés)

Environnements de développement (intégrés) Environnements de développement (intégrés) JDT (débogage), outils d analyse statique Patrick Labatut labatut@di.ens.fr http://www.di.ens.fr/~labatut/ Département d informatique École normale supérieure

Plus en détail

Les IDEs. Integrated Development Environment. NetBeans (Oracle) Eclipse (IBM) etc.

Les IDEs. Integrated Development Environment. NetBeans (Oracle) Eclipse (IBM) etc. Les IDEs Integrated Development Environment NetBeans (Oracle) Eclipse (IBM) etc. Quand ne pas utiliser un IDE? Lorsqu'on apprend le langage Pourquoi? Tous les mécanismes de base du langage peuvent être

Plus en détail

Université Paris 13 Année 2014-2015 M2 Introduction à la théorie spectrale

Université Paris 13 Année 2014-2015 M2 Introduction à la théorie spectrale Université Paris 13 Année 014-015 M Introduction à la théorie spectrale Examen Les exercices sont indépendants 1. Spectre des opérateurs annihilation-création. On considère sur R les opérateurs différentiels

Plus en détail

Township of Russell: Recreation Master Plan Canton de Russell: Plan directeur de loisirs

Township of Russell: Recreation Master Plan Canton de Russell: Plan directeur de loisirs Township of Russell: Recreation Master Plan Canton de Russell: Plan directeur de loisirs Project Introduction and Stakeholder Consultation Introduction du projet et consultations publiques Agenda/Aperçu

Plus en détail

Synchro et Threads Java TM

Synchro et Threads Java TM Synchro et Threads Java TM NICOD JEAN-MARC Master 2 Informatique Université de Franche-Comté UFR des Sciences et Techniques septembre 2008 NICOD JEAN-MARC Synchro et Threads avec Java TM 1 / 32 Sommaire

Plus en détail

High Quality P2P Service Provisioning via Decentralized Trust Management

High Quality P2P Service Provisioning via Decentralized Trust Management High Quality P2P Service Provisioning via Decentralized Trust Management THÈSE N O 4711 (2010) PRÉSENTÉE LE 31 MAI 2010 À LA FACULTÉ INFORMATIQUE ET COMMUNICATIONS LABORATOIRE DE SYSTÈMES D'INFORMATION

Plus en détail

Learn & Lunch 23/11/2011. Simon Opresnik / Georges Denneulin

Learn & Lunch 23/11/2011. Simon Opresnik / Georges Denneulin Learn & Lunch 23/11/2011 Simon Opresnik / Georges Denneulin NiceLabel Euro Plus Bureaux en UE (HQ), Amérique du nord & APAC Couverture globale Plus de 18 ans d expériences Fournisseur OEM de logiciel et

Plus en détail

User Guide Manuel de l utilisateur

User Guide Manuel de l utilisateur LAP CHILL MAT TM DISSIPATEUR DE CHALEUR CHILL MAT MC User Guide Manuel de l utilisateur Targus Lap Chill Mat TM Introduction Thank you for your purchase of the Targus Lap Chill Mat. The Lap Chill Mat features

Plus en détail

Care instructions to keep your Vlisco product looking enduringly beautiful

Care instructions to keep your Vlisco product looking enduringly beautiful Care instructions to keep your Vlisco product looking enduringly beautiful Instructions d entretien pour préserver durablement la beauté de votre produit Vlisco These care instructions can also be found

Plus en détail

Réussir en Afrique. Travaillons main dans la main à la réussite de vos investissements en Afrique.

Réussir en Afrique. Travaillons main dans la main à la réussite de vos investissements en Afrique. Réussir en Afrique Travaillons main dans la main à la réussite de vos investissements en Afrique. 1 2 Le Cabinet CBI, dirigé par Ousmane H. Guedi vous accompagne dans votre conquête du marché africain,

Plus en détail