Une nouvelle méthode de simulation : Stratification Directionnelle Adaptative GdR MASCOT-NUM du 18/03/2009 J. Garnier, M. Munoz Zuniga [ miguel-externe.munoz-zuniga@edf.fr.

Slides:



Advertisements
Présentations similaires
L’échantillonnage & Ses Fluctuations
Advertisements

Base de sondage et Plan de sondage Pres. 5
III. IDENTIFICATION PARAMETRIQUE DES SYSTEMES LINEAIRES
Gestion de portefeuille
STATISTIQUE INFERENTIELLE L ’ESTIMATION
Champs de Markov en Vision par Ordinateur
RECONNAISSANCE DE FORMES
Nouvelles méthodes en filtrage particulaire Application au recalage de navigation inertielle par mesures radio-altimétriques K. DAHIA Doctorant.
Inférence statistique
Echantillonnage Professeur Francis GUILLEMIN > Ecole de santé publique - Faculté de Médecine.
Les TESTS STATISTIQUES
Les TESTS STATISTIQUES
Échantillonnage-Estimation
Dr DEVILLE Emmanuelle J D V 12/07/2006
Les tests d’hypothèses
"Recherche de scénarios redoutés à partir d'un modèle réseau de Petri"
Optimisation globale non déterministe
Chapitre VII :Commande par retour d’état
Application à la méthode des
Programmes du cycle terminal
To Tune or not to Tune? To Tune or not to Tune? A Lightweight Physical Design Alerter Costa Jean-Denis Le Yaouanc Aurélie Mécanismes de SGBD 2007.
Résolution des Équations Différentielles
Concepts avancés en mathématiques et informatique appliquées
Groupe 1: Classes de même intervalle
Plan d’expérience dynamique pour la maximisation
DEA Perception et Traitement de l’Information
Comprendre la variation dans les données: Notions de base
Corrélation et régression linéaire simple
Projet d’ingénerie Naissance Design Exécution Exploitation.
Toutes les variables étaient mesurées au niveau intervalle et sans erreur Toutes les variables étaient mesurées au niveau intervalle et sans erreur ->
Université dOttawa - Bio Biostatistiques appliquées © Antoine Morin et Scott Findlay :47 1 Concepts fondamentaux: statistiques et distributions.
Le comportement des coûts Chapitre 3
Design dun système de vision embarqué. Application:
Chapitre 1 Introduction
Approches non intrusives des éléments finis stochastiques
D. Duret / Présentation Cappi Z
Programmation linéaire en nombres entiers : les méthodes de troncature
Régression linéaire multiple : hypothèses & interprétation. Partie 2.
ASI 3 Méthodes numériques pour l’ingénieur
Programmation linéaire en nombres entiers
Calcul parallèle => partitionner les données en sous-groupes associés aux processeurs. P0 P2 P1.
1 Alain Casali Christian Ernst Extraction de Règles de Corrélation Décisionnelles 29 Janvier 2009.
Probabilités et Statistiques Année 2009/2010
Probabilités et Statistiques Année 2010/2011
Chapitre 3: Variables aléatoires réelles continues
8. Multiplication.
Probabilités et Statistiques
Probabilités et Statistiques Année 2009/2010
Concepts fondamentaux: statistiques et distributions
PROGRAMMATION SCIENTIFIQUE EN C PRO Résolution de système d’équations non- linéaires (racines d’équations) u Méthode de la bissection u Analyse.
Méthode des moindres carrés (1)
Rappel de statistiques
Post-optimisation, analyse de sensibilité et paramétrage
Interpolation et Approximation
Résolution des équations différentielles
C. Goeury – Y. Audouin – N. Goutal
La grande combinaison: problèmes et solutions Pourquoi les combinaisons ? Comment combiner ? Les problèmes techniques ? Les solutions possibles Prospectives.
François Couchot, CPE-Lyon, 17 mai Masse des Neutrinos et CMB Extraits de la thèse d’Alexandre Bourrachot (sept. 2004) Problématique de la vraisemblance.
Recuit simulé Une métaheuristique venue de la métallurgie.
PROGRAMMATION SCIENTIFIQUE EN C
Sciences Mécaniques Appliquées
1_Introduction Toute mesure est entachée d’erreur. Il est impossible d’effectuer des mesures rigoureusement exactes. Pour rendre compte du degré d’approximation.
ECHANTILLONAGE ET ESTIMATION
Académie européenne des patients sur l'innovation thérapeutique Rôle et notions élémentaires des statistiques dans les essais cliniques.
Introduction aux statistiques Intervalles de confiance
UED SIM – Département OLCI Année Arts & Métiers ParisTech CER ANGERS Probabilités et statistiques Cours n° 2.
MECANIQUE DES MILLIEUX CONTINUS ET THERMODYDAMIQUE SIMULATIONS.
Bienvenue au cours MAT-350 Probabilités et statistiques.
Simulation numérique d’un procédé de mise en forme par faible contact d’une virole acier J. Raujol-Veillé, F. Toussaint, L. Tabourot, M. Vautrot, P. Balland.
De la Terre à la carte: Projections et Géoréférencement
Transcription de la présentation:

Une nouvelle méthode de simulation : Stratification Directionnelle Adaptative GdR MASCOT-NUM du 18/03/2009 J. Garnier, M. Munoz Zuniga [ miguel-externe.munoz-zuniga@edf.fr ] E. Remy, E. de Rocquigny, A. Arnaud 17 avril 2017 Groupe EDF

Table des matières (1/2) 1. Tenants et Aboutissants 2. Contexte 1.1 Objectifs du travail de thèse 1.2 Axes de présentation 2. Contexte 2.1 Exemples de structures complexes à défaillance catastrophique 2.2 Cas de la centrale nucléaire 2.3 La cuve : un composant essentiel sous fortes contraintes 2.4 Problème type cuve 3. Les bases 3.1 Méthodes MC accélérées : bref aperçu 3.2 Stratification 3.3 Passage à l’espace gaussien 3.4 Simulation Directionnelle (SD) 17 avril 2017 Miguel Munoz Zuniga

Table des matières (2/2) 4. Stratification directionnelle adaptative 4.1 Illustration Graphique 4.2 Optimisation du nombre de tirages par strate 4.3 Tirages directionnelles 2-adaptatifs 4.4 Résultats Numériques 5. Applications numériques 6. Perspectives 17 avril 2017 Miguel Munoz Zuniga

Tenants et Aboutissants 17 avril 2017 Groupe EDF

Objectifs du travail de thèse Concevoir et développer mathématiquement une méthode de simulations stochastiques : Robuste Rapide Adaptée à l’estimation de faibles probabilités Utilisable sur des « modèles complexes » Dans le but : D’estimer efficacement, la probabilité de défaillance de composants « fiables mais sensibles » d’unités de production d’électricité (la cuve d’une centrale nucléaire) De réutiliser cette méthode sur d’autres composants ou problématiques Table des matières 17 avril 2017 Miguel Munoz Zuniga 17 avril 2017 Groupe EDF

Contexte 1) Composant complexe à défaillance catastrophique 2) Cuve de la centrale nucléaire 3) Présentation du problème 4) Présentation de notre réponse 17 avril 2017 Groupe EDF

2.1 Exemples de composants complexes à défaillance catastrophique Existence de multiples composants complexes à défaillance aux conséquences catastrophiques : jumbo-jet, barrage, plate-forme marine, centrale nucléaire... Table des matières 17 avril 2017 Miguel Munoz Zuniga 17 avril 2017 Groupe EDF

2.2 Cas de la centrale nucléaire Table des matières 17 avril 2017 Miguel Munoz Zuniga 17 avril 2017 Groupe EDF

2.3 La cuve : un composant essentiel sous fortes contraintes Situation normale : Contrainte de pression : 155 bar Irradiation de la cuve Situation extrême : Micro-défaut de fabrication Choc thermique : injection de liquide de refroidissement à environ 10°C dans un liquide à environ 300°C Quelles est la probabilité de défaillance dans ce cas extrême ? Quelles sont les caractéristiques de ce genre de problèmes ? Table des matières 17 avril 2017 Miguel Munoz Zuniga 17 avril 2017 Groupe EDF

500 à 1000 appels à la fonction maximum 2.4 Problèmes de type « cuve » : variables en jeu dans l'événement menant à la défaillance Proba. de défaillance = S X2 R-S<0 G(X1,X2)<0 Pour la cuve : le modèle physique est complexe la défaillance est un événement rare G est monotone par rapport à certaines variables R X1 500 à 1000 appels à la fonction maximum - Estimation contrôlée de faibles probabilités sur des modèles physiques complexes - Table des matières 17 avril 2017 Miguel Munoz Zuniga

2.5 Axes de la présentation Présentation d’une nouvelle méthode de simulation présentant : Les avantages de la méthode de simulation directionnelle et de la méthode de stratification Les avantages d’une méthode adaptative à 2 étapes non-séquentielle permettant un parallélisation partielle Des résultats avec contrôle sur l’erreur d’estimation Table des matières 17 avril 2017 Miguel Munoz Zuniga 17 avril 2017 Groupe EDF

Les Bases 1) Méthodes FORM-SORM 2) Méthode de Monte Carlo standard 3) Méthodes de Monte Carlo accélérées 4) Méthode de Stratification 5) Méthode de Simulation Directionnelle 17 avril 2017 Groupe EDF

3.1 Méthodes FORM-SORM Méthodes analytiques : FORM-SORM Passage espace Gaussien (transformation de Rosenblatt) Recherche design point Approximation Analyse : Temps de calcul raisonnable Efficacité dépend de la géométrie de la surface de défaillance Pas de contrôle de l’erreur Problème lié à la recherche du design point (convergence de l’algorithme non garantie) Problème lié à l’existence de plusieurs design points - Estimation contrôlée de faibles probabilités sur des modèles physiques complexes - Table des matières 13 17 avril 2017 Miguel Munoz Zuniga

3.2 Méthode de Monte Carlo standard Intervalle de confiance 1) La loi forte des grands nombres Analyse : Pas d’hypothèse de régularité Contrôle de l’estimation Temps de calcul proportionnel au nombre de tirages Si besoin de tirages pour avoir un coefficient de variation de 10% (k suffisamment grand) 2) Théorème centrale limite - Estimation contrôlée de faibles probabilités sur des modèles physiques complexes - Table des matières 14 17 avril 2017 Miguel Munoz Zuniga

3.3 Méthodes de MC accélérées : bref aperçu Tirage sur maillage . . . . . . . . . Monte Carlo standard . . . Hypercube Latin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Stratification Simulation Directionnelle Table des matières 17 avril 2017 Miguel Munoz Zuniga

3.4 Méthode de Stratification Estimateur Problème Déterminer le nombre de simulations par strate optimum pour que la variance de l’estimateur soit minimum Solution Nombre de tirages total Table des matières 17 avril 2017 Miguel Munoz Zuniga

3.5 Passage à l’espace gaussien Densité gaussienne centrée réduite n-dimensionnelle Transformation de Rosenblatt Espace gaussien invariant par rotation G g Transformation Table des matières 17 avril 2017 Miguel Munoz Zuniga

3.6 Méthode de Simulation Directionnelle : la méthode classique (1/2) On se place dans l’espace gaussien, puis on utilise un autre point de vue pour estimer Loi Normale à déterminer : Loi du Chi 2 Uniforme Sphère unité A Loi Normale Table des matières 17 avril 2017 Miguel Munoz Zuniga

3.6 Méthode de Simulation Directionnelle : la méthode classique (2/2) Ce qui donne le nouvel estimateur : Sous réserve de savoir calculer ce terme Graphiquement Réduction : Réduction de variance par rapport à Monte Carlo standard Estimateur de la variance de l’estimateur Conclusion : Mais des erreurs sont commises lors de la recherche des zéros Etude menée de l’impact sur les estimateurs (Cf. Annexe) Table des matières 17 avril 2017 Miguel Munoz Zuniga

Stratification Directionnelle Adaptative 1) Illustration graphique du principe 2) Expression du problème et optimisation 3) Présentation générale de 2-SDA 4) Étude des estimateurs proposés 5) Choix des estimateurs pertinents 6) Généralisation : L-SDA 17 avril 2017 Groupe EDF

Étape 1 : Stratification Directionnelle 4.1 Illustration graphique Nombre de quadrants : Nombre de tirages : Étape 1 : Stratification Directionnelle (par quadrant) Étape 2 : Stratification Directionnelle Adaptative Table des matières 17 avril 2017 Miguel Munoz Zuniga

4.2 Stratification dans l'espace directionnel (1/2) Application : Il faut être capable de calculer ce terme Table des matières 22 17 avril 2017 Miguel Munoz Zuniga

4.2 Optimisation du nombre de tirages par strate (2/2) On se donne a priori m réels tels que et on réalise tirages dans le quadrant i Problème Déterminer le nombre de simulations par strate optimum pour que la variance de l’estimateur soit minimum Résolution Variance minimum associée Finalement : Résultat sur la stratification + sur la simulation directionnelle Table des matières 17 avril 2017 Miguel Munoz Zuniga

4.3 Stratification directionnelle 2- adaptative On commence par choisir et le pourcentage de tirages par quadrant a priori (2) On réalise un premier jeu de simulations dans chaque quadrant avec les premiers tirages par quadrant (3) On estime la proportion de tirages optimum par strate avec les premiers tirages (4) On estime la probabilité de défaillance par stratification directionnelle classique avec les estimés Ici se pose la question du recyclage ou non recyclage des premières simulations : plusieurs estimateurs sont proposés Table des matières 17 avril 2017 Miguel Munoz Zuniga

4.4 Étude des estimateurs proposés (1/3) Avec Recyclage : Sans Recyclage : Table des matières 25 17 avril 2017 Miguel Munoz Zuniga

4.4 Étude des estimateurs proposés (2/3) Avec Recyclage : Estimateur biaisé Variance conditionnelle aux premiers tirages Variance minimale obtenue pour une allocation optimale Résultat asymptotique : Résultat asymptotique : 26 17 avril 2017 Miguel Munoz Zuniga

4.4 Étude des estimateurs proposés (3/3) Sans Recyclage : Estimateur non biaisé Variance conditionnelle Variance conditionnelle Résultat asymptotique Table des matières 27 17 avril 2017 Miguel Munoz Zuniga

4.5 Choix des estimateurs pertinents Conclusion : L’estimateur avec recyclage est biaisé avec un biais difficile à corriger L’ordre de grandeur du nombre de simulations réalisable étant faible on ne peut considérer ce biais négligeable Il paraît donc plus raisonnable d’utiliser dans notre cadre l’estimateur sans recyclage Nous perdrons certes un facteur sur la variance, mais celui-ci pourra être négligeable au vu de la précision recherchée On peut proposer des intervalles de confiance via une estimation empirique de la variance Table des matières 28 17 avril 2017 Miguel Munoz Zuniga

4.6 Stratification directionnelle L-adaptative et ∞-adaptative (1/5) Apprentissage « continu » : … On fixe le nombre d’étapes d’adaptation et on effectue une étude asymptotique en n (nombre total de simulations) On effectue une étude asymptotique en n et en nombre d’étapes d’adaptation Table des matières 29 17 avril 2017 Miguel Munoz Zuniga

4.6 Stratification directionnelle L-adaptative (2/5) … On commence par choisir (et le pourcentage de tirages par quadrant a priori) (2) On réalise un jeu de simulation dans chaque quadrant avec les tirages par quadrant (3) On estime la proportion de tirages optimum par strate avec les tirages (recyclage possible) et on réitère (4) On estime la probabilité de défaillance par stratification directionnelle classique avec les estimés Table des matières 17 avril 2017 Miguel Munoz Zuniga

4.6 Stratification directionnelle L-adaptative (3/5) Nombre de tirages réalisé à l’étape k : Nombre de tirages dans la strate i jusqu’à l’étape k : … Résultat asymptotique : Estimateur : Table des matières 17 avril 2017 Miguel Munoz Zuniga

4.6 Stratification directionnelle ∞-adaptative (4/5) Nombre de tirages dans la strate i jusqu’à l’étape k : Nombre de tirages jusqu’à l’étape k : Résultat asymptotique : Estimateur : Table des matières 17 avril 2017 Miguel Munoz Zuniga

4.6 Stratification directionnelle L-adaptative et ∞-adaptative (5/5) Conclusion : Le cadre L-adaptatif pour L>2 est trop coûteux en appels à la fonction de défaillance De plus, le fait que les strates soient fixes ne permet pas de tirer totalement profit d’une multi-adaptation Avec notre choix de strates fixes, nous constatons que L-SDA pour L>2 n’apporte pas de nette amélioration sur l’estimation Table des matières 33 17 avril 2017 Miguel Munoz Zuniga

2-SDA : Applications 1) Exemple académique 2) Application au modèle « Crue » 3) Application au modèle « Cuve » 34 17 avril 2017 Groupe EDF

5.1 Résultats numériques sur une surface de défaillance hyperplane + p=2 pf=10-7 n=1000 nombre simulations=1000 Table des matières 17 avril 2017 Miguel Munoz Zuniga

Rq  pour la suite : AG = Appels à G 5.2 Modèle « Crue » Modèle : Nous allons comparer les résultats obtenus par les méthodes suivantes : Monte-Carlo Standard Réduction de la dimension par rapport soit à Q soit à Ks Simulation Directionnelle 2-SDA Tirage d’importance : tirages gaussiens autour du point de conception (FORM) Rq  pour la suite : AG = Appels à G 17 avril 2017 Miguel Munoz Zuniga

5.2 Modèle « Crue » : illustration du caractère asymptotique (1/2) On réalise c=1000 calculs de notre estimateur avec n=1000 directions simulées (200-800). On peut ainsi avoir une bonne idée de la vrai variance de notre estimateur et la comparer à la variance asymptotique optimum que nous avons déterminée pour une allocation optimum des tirages directionnelles par strate K = nbre étapes de dichotomie = 4 Nbre AG = 6600 En moyenne 6.6 AG par direction Sigma-Real = 6.1*10-4 Sigma-Opt = 4.7*10-4 Erreur = Estimateur- proba défaillance Table des matières 17 avril 2017 Miguel Munoz Zuniga 37 17 avril 2017 Miguel Munoz Zuniga

5.2 Modèle « Crue » : illustration du caractère asymptotique (2/2) K = 5 Nbre AG = 40000 En moyenne 8 AG par direction Sigma-Real = 2.46*10-4 Sigma-Opt = 2.28*10-4 Table des matières 17 avril 2017 Miguel Munoz Zuniga

5.2 2-SDA : résultats numériques « Crue » Méthode Nbre appels à G Probabilité de défaillance estimée Coefficient de variation (en %) Monte-Carlo Standard 10 000 0.85*10-2 10.8 100 000 1.14*10-2 2.94 1 000 000 1.16*10-2 0.922 SD 10 000 (2800) 1.13*10-2 5.89 100 000 (27300) 1.20*10-2 1.87 1 000 000 (274000) 1.18*10-2 0.590 Réduction de la dimension par rapport à Ks 4 1.27 1.17*10-2 0.409 Réduction de la dimension par rapport à Q 3.66 1.19*10-2 1.17 0.376 2-SDA 10 000 (600-1900) 2.80 100 000 (1000-13500) 0.88 1 000 000 (50000-200000) 0.281 Tirage d’importance (autour du pt de conception) 1.73 0.56 0.181 Worst Best Rq 2 : On a environ N.A.G = 6.8*N.S, donc en moyenne 6.8 appels par direction pour SDA Rq 3 : Ici on pourrait coupler réduction de la dimension avec SDA Table des matières 17 avril 2017 Miguel Munoz Zuniga

5.2 2-SDA : résultats numériques « Crue » Attention pas encore en asymptotique Modèle Méthode Nbre Appels à G I.C à 95% (80%) L.I.C à 95% Crue 2-SDA (s.r) 494(32-48) [5.50*10-3 ; 1.41*10-2] 8.00* 10-3 Min : 288 [1.61*10-3 ; 2.40*10-2] Min: 1.50* 10-3 Max : 773 [4.97*10-3 ; 2.16*10-2] Max :1.57* 10-2 Ordre de grandeur de la probabilité estimée correcte vis-à-vis du faible nombre de simulations - résultat équivalent à un calcul FORM-SORM en terme d’ordre de grandeur Mais forte variabilité due au faible nombre de tirages : l’intervalle de confiance n’est pas totalement à 95%. Table des matières 17 avril 2017 Miguel Munoz Zuniga

5.3 2-SDA : résultats numériques « Cuve » Modèle Méthode Nbre Appels à G I.C à 95% L.I.C à 95% Cuve (3d) 2-SDA (s.r) 473(32-68) [4.25*10-6 ; 1.07*10-5] 6.50* 10-6 878(70-130) [5.28*10-6 ; 9.65*10-6] 4.73x10-6 SD 1700(1000) [4.5*10-6 ; 1.18*10-5] 7.31x10-6 2244(1000) [5.08*10-6 ; 1.15*10-5] 6.49x10-6 3300(2000) [6.08.*10-6 ; 1.15*10-5] 5.70x10-6 Modèles et résultats numériques présentés à titre d’exploration scientifique, ne pouvant en aucun cas être utilisés pour tirer des conclusions sur la sûreté des ouvrages La probabilité de défaillance étudiée étant conditionnelle à un événement initiateur dont l’ordre de grandeur conventionnel de probabilité d’occurrence est < 10-4, toutes les valeurs de probabilités présentées doivent être multipliées par autant toutes les probabilités doivent être multipliées par 10-4 Ordre de grandeur de la probabilité estimée correcte vis-à-vis du faible nombre de simulations - résultat équivalent à un calcul FORM-SORM en terme d’ordre de grandeur Pour une même longueur d’intervalle de confiance, SDA permet de réduire d’un facteur 5 le nombre d’appels à la fonction par rapport à SD Mais forte variabilité due au faible nombre de tirages : l’intervalle de confiance n’est pas totalement à 95% Table des matières 41 17 avril 2017 Miguel Munoz Zuniga

6. Perspectives Comparaison et/ou combinaison avec autres méthodes adaptatives Etude bootstrap Méthodes à noyau Table des matières 17 avril 2017 Miguel Munoz Zuniga

Merci pour votre attention! Remerciements Merci pour votre attention! Table des matières 43 17 avril 2017 Miguel Munoz Zuniga

Annexes 44 17 avril 2017 Groupe EDF

Annexe : point de vue tirage préférentiel (1/2) Table des matières 17 avril 2017 Miguel Munoz Zuniga

Annexe : point de vue tirage préférentiel (2/2) Table des matières 17 avril 2017 Miguel Munoz Zuniga

Annexe : résultats recherche de zéros (1/3) Dichotomie bmax r1 bmin Table des matières 17 avril 2017 Miguel Munoz Zuniga

Annexe : résultats recherche de zéros (2/3) Contrôle sur le biais de l’estimateur intégrant les erreurs commises lors de la recherche de zéros Dichotomie b r1 SI : r2 Optimisation : Résolution k-ième étape = dichotomie dans i-ième direction doit vérifier (*) Critère d’arrêt : Table des matières 17 avril 2017 Miguel Munoz Zuniga

Annexe : résultats recherche de zéros (3/3) p=2 pf=10-7 n =10000 17 avril 2017 Miguel Munoz Zuniga

Annexe : résultats asymptotiques supplémentaires (1/3) Optimum ? Suffisamment grand pour max. d’information Pas trop grand pour marge de manœuvre sur les Notations : converge vers une gaussienne ? Table des matières 17 avril 2017 Miguel Munoz Zuniga

Annexe : résultats asymptotiques supplémentaires (2/3) TCL vectoriel Delta-Méthode Indépendance des Fonction caractéristique Table des matières 17 avril 2017 Miguel Munoz Zuniga

Annexe : résultats asymptotiques supplémentaires (3/3) Delta-Méthode Delta-Méthode Table des matières 17 avril 2017 Miguel Munoz Zuniga

Annexe : zéros (1/2) Sans monotonie Avec monotonie back Table des matières 17 avril 2017 Miguel Munoz Zuniga

Interpolation quadratique inverse Annexe : zéros (2/2) Méthode Ordre Dichotomie 1 Sécante 1,618…. Interpolation quadratique inverse \ Brent Hypothèses de régularité back Table des matières 17 avril 2017 Miguel Munoz Zuniga

Annexe : simulation directionnelle Stratégie à intégrer dans l’algorithme de recherche de zéros pour réduire l’intervalle initial dans le cas monotone back Table des matières 17 avril 2017 Miguel Munoz Zuniga

Annexe : preuve de réduction Inégalité de Jensen Table des matières 17 avril 2017 Miguel Munoz Zuniga

Annexe : monotonie et simulation directionnelle Sans autre hypothèse que la monotonie globale, aucune prévision sur le nombre de racines, sauf dans le quadrant « N-E » La monotonie globale permet d’envisager une sélection des directions à explorer afin d’éviter des recherches de zéros inutiles et coûteuses Structure fiable Pas de tirage dans ces directions Table des matières 17 avril 2017 Miguel Munoz Zuniga