Projet INF242. Stéphane Devismes & Benjamin Wack. Pour ce projet les étudiants doivent former des groupes de 3 ou 4 étudiants.

Save this PDF as:
 WORD  PNG  TXT  JPG

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

Download "Projet INF242. Stéphane Devismes & Benjamin Wack. Pour ce projet les étudiants doivent former des groupes de 3 ou 4 étudiants."

Transcription

1 Projet INF242 Stéphane Devismes & Benjamin Wak Pour e projet les étudiants doivent former des groupes de 3 ou 4 étudiants. 1 Planning Distribution du projet au premier ours. À la fin de la deuxième semaine de TD, onstitution des groupes et validation du sujet par le hargé de TD. Livraison par à votre enseignant de TD au plus tard le 6 mars 2015 du pré-rapport (5 pages maximum). Livraison au plus tard le 30 avril 2015 par du rapport final. Dans la semaine du 4 au 7 mai 2015, soutenane de 20 minutes par groupe, questions inluses (démonstration du travail réalisé en groupe). 2 Travail à réaliser Le projet se déoupe en deux parties. La première partie fera l objet d un pré-rapport. À la fin de la seonde partie, les différents groupes devront produire un rapport résumant les travaux aomplis dans les deux parties. Enfin, e projet sera aussi évalué par une soutenane. Les ontenus des pré-rapport et rapport final seront pris en ompte dans la notation. 2.1 Première partie La première partie de e projet onsiste à formaliser plusieurs problèmes en logique propositionelle sous la forme d ensembles de lauses. Dans votre pré-rapport, pour haque problème traité, vous devrez : 1. Donnez l énoné informel du problème, 2. Traduire et énoné sous la forme de formules propositionelles. Cette tradution devra être justifiée. 3. Traduire les formules propositionelles en un ensemble de lauses équivalentes. Cette tradution devra aussi être justifiée. Il vous est demandé de traiter plusieurs problèmes. Ces différents problèmes doivent être de diffiulté roissante. Vous pouvez, par exemple, ommener ave des exeries du polyopié qui n ont pas été traités en TD ou alors des exeries d examen ou partiel des années préédentes, disponibles à ette adresse 1

2 Après vous être exeré sur des exemples simples, vous devrez vous onentrer sur la formalisation d un problème plus omplexe. Par exemple : le Sudoku le arré magique Squaro Tetravex Paint-by-numbers D autres pistes de sujets sont proposées sur la page ave en général des liens vers des applets de démonstration. Ce dernier problème devra obligatoirement être validé par votre hargé de TD! 2.2 Deuxième partie La seonde partie de e projet onsiste en la résolution automatique des problèmes proposés lors de la première partie. Pour ela, vous utiliserez un solveur SAT. Plus préisement, vous programmerez vous-même votre propre solveur SAT (dans le langage de votre hoix) ave différentes stratégies de résolution. En outre, il vous est demandé de fournir deux autres programmes qui onernent uniquement le dernier problème à traiter : le problème omplexe validé par votre hargé de TD. Le format DIMACS. La première étape onsistera à traduire les ensembles de lauses proposés lors de la première partie en fihier DIMACS. Le format des fihiers d entrées des SAT-solveurs est un standard international pour la représentation de formules en forme normale onjontive. Un fihier en format DIMACS ommene par une ligne qui spéifie qu il s agit d une forme normale onjontive, qui préise ombien de variables la formule ontient, et de ombien de lauses disjontives elle est onstituée. Par exemple : p nf 5 3 indique que le fihier ontient une formule en forme normale onjontive, ave 5 variables et 3 lauses. Ensuite, le fihier est omposé de plusieurs lignes, une par lause. Chaque ligne ontient des entiers positifs et/ou négatifs, et se termine par 0. Un entier positif i indique que la i-ème variable apparaît ave polarité positive dans la lause. Un entier négatif i indique que la i-ème variable apparaît ave polarité négative dans la lause. Par exemple, le fihier suivant au format DIMACS représente la formule : start with omments p nf (x 1 x 5 x 4 ) ( x 1 x 5 x 3 x 4 ) ( x 3 x 4 )

3 Attention! Pour les problèmes de taille onséquente (par exemple, le dernier problème proposé), ette transformation devra être effetuée automatiquement à l aide d un programme que vous aurez érit 1. Votre solveur SAT : WalkSat. Il vous est demandé de programmer dans le langage de votre hoix un solveur de type WalkSat. Votre WalkSat devra lire en entrée l ensemble de lauses à résoudre sous la forme d un fihier DIMACS. Le but est ensuite de renvoyer une assignation modèle de toutes les lauses de l ensemble si ela est possible. Notez que WalkSat est un solveur inomplet : si l ensemble de lauses donné en entrée est ontraditoire, il est inapable de le déterminer. Le pseudo-ode d un algorithme de type WalkSat est donné i-dessous. 1: Choisir une assignation v uniformément au hasard 2: i=0 3: TANT QUE (v n est pas modèle) et i < MAX_ITERATION FAIRE 4: Choisir au hasard C parmi les lauses C telles que v(c ) = faux 5: Tirer une valeur réelle x uniformément au hasard dans [0,1] 6: SI x <= P ALORS 7: Choisir uniformément au hasard une variable y de C 8: SINON 9: Choisir une variable y de C de manière déterministe 10: FIN SI 11: Inverser la valeur de v(y) dans l assignation v 12: i++ 13: FIN TANT QUE 14: SI v est modèle ALORS 15: Renvoyer v 16: SINON 17: Renvoyer pas_de_deision 18: FIN SI Le ode donné i-dessus est volontairement inomplet! En effet, il ne préise pas les valeurs de MAX_ITERATION et P, ni la proédure de hoix déterministe de la variable y à la ligne 9. Au minimum, il vous est demandé de proposer une valeur raisonnable pour es deux onstantes, et de faire en sorte que la variable y hoisie soit la variable présente dans C qui va minimiser le nombre de lauses insatisfaites. Faultativement, vous pouvez mener des expérimentations afin de trouver les meilleures valeurs possibles pour MAX_ITERATION et P ; vous pouvez également programmer d autres méthodes de hoix de y, par exemple : Choisir la variable présente dans C parmi elles les moins modifiées jusqu ii. Pour haque variable z, aluler sore(z) de la manière suivante : si v(z) = vrai alors ompter le nombre de lauses où z apparaît négativement moins le nombre de lauses où elle apparaît positivement, 1. Si vous programmez en JAVA, vous pouvez vous inspirer de l exemple donné à la page www-verimag.imag.fr/~devismes/java/fihier.java pour la gestion de fihiers.

4 sinon ompter le nombre de lauses où z apparaît positivement moins le nombre de lauses où elle apparaît négativement Ensuite hoisir une variable de C de sore maximum. Vous inspirer des heuristiques MOMS et JW données dans le poly. Mixer plusieurs des stratégies préédentes. et. Dans e as, il peut être judiieux de omparer entre elles les différentes proédures de hoix que vous aurez implantées. Notez que pour simplifier votre implémentation, vous pouvez transformer en préambule votre ensemble de lauses en ensemble de lauses 3-SAT équivalent (vous pourrez vous baser sur l algorithme proposé dans l exerie 50 p. 63 de votre polyopié de ours). Problème omplexe. En e qui onerne le dernier problème demandé (le problème omplexe validé par votre hargé de TD), vous devrez fournir : Un programme générant le fihier DIMACS orrespondant à une instane du problème. Par exemple, une grille de Sudoku ontenant quelques nombres. Un programme affihant de manière lisible une solution du problème omplexe hoisi. Par exemple, si vous hoisissez le Sudoku, e programme devra affiher une grille solution alulée par votre solveur à partir de la grille inomplète fournie en entrée. Ne perdez pas de temps à réaliser une interfae graphique onviviale : des programmes reevant et affihant les instanes du problème sous forme de simples fihiers texte sont tout-à-fait aeptables pour e projet. 3 Rapport Votre rapport devra inlure : 1. le ontenu (éventuellement mis à jour) de votre pré-rapport ; 2. la tradution en logique propositionnelle de l énoné des différents problèmes traités ; 3. une présentation (informelle) de votre solveur illustrée par l analyse d exemples pertinents ; 4. une présentation des deux programmes «interfae» du gros problème que vous aurez traité ; 5. éventuellement, vos expérimentations sur les valeurs de MAX_ITERATION et de P et/ou l étude omparative des différentes méthodes de hoix de la variable que vous aurez programmées. 4 Soutenane La soutenane est OBLIGATOIRE (sauf pour les dispenses offiielles). Toute absene injustifiée onduira le jury à délivrer la note de 0 au projet pour le andidat absent. Lors de votre soutenane, vous exéuterez vos programmes sur une mahine personnelle ou

5 une mahine de l université. Chaque membre du projet devra intervenir équitablement pendant la soutenane. Il faudra présenter le sujet du projet, mais aussi de donner une démonstration de vos programmes sur mahine. 5 Exemple pour le problème des pigeons Nous illustrons par un exemple simple le minimum que nous attendons des étudiants pour le projet de INF Enoné informel Un olombophile possède n nids et p pigeons. Il souhaite que : haque pigeon soit dans un nid, il y ait au plus un pigeon par nid. 5.2 Modélisation en ensemble de lauses La variable booléenne x i,j représente le fait que le pigeon i est dans le nid j. Par exemple, pour un ensemble de pigeons {a, b, } et un ensemble de nids {1, 2, 3, 4}, nous devons donner au SAT-solveur l ensemble de lauses suivant : Chaque pigeon est dans un nid : x a,1 x a,2 x a,3 x a,4, x b,1 x b,2 x b,3 x b,4, x,1 x,2 x,3 x,4, Chaque nid ontient au plus un pigeon : x a,1 x b,1, x a,1 x,1, x b,1 x,1 x a,2 x b,2, x a,2 x,2, x b,2 x,2, x a,3 x b,3, x a,3 x,3, x b,3 x,3, x a,4 x b,4, x a,4 x,4, x b,4 x, Transformation en fihier DIMACS et résolution par un SATsolveur Le premier programme «interfae» doit demander à l utilisateur de donner le nombre de nids n et le nombre de pigeons p, puis doit générer le fihier DIMACS odant les ontraintes relatives au problème de n nids et p pigeons. Si n p alors votre WalkSat trouvera une assignation modèle. Votre seond programme «interfae» devra alors affiher dans quel nid l assignation à affeter haque pigeon. Ainsi nous saurons omment plaer les pigeons! Nous remarquons qu il nous est faile de trouver une solution à e problème alors que l ordinateur doit résoudre un nombre de ontraintes exponentielles.

INFO-F-302 : Logique informatique Projet : Le Jeu ABCPath et Utilisation d un Solveur SAT

INFO-F-302 : Logique informatique Projet : Le Jeu ABCPath et Utilisation d un Solveur SAT UNIVERSITE LIBRE DE BRUXELLES INFO-F-302 : Logique informatique Projet : Le Jeu ABCPath et Utilisation d un Solveur SAT L objectif de ce projet est de modéliser plusieurs problèmes en logique propositionnelle

Plus en détail

TP Méthodes Numériques

TP Méthodes Numériques ENSIMAG 1ère année, 2007-2008 TP Méthodes Numériques Objectifs Les objectifs de ce TP sont : de revenir sur les méthodes de résolution des équations différentielles vues en cours de MN ; d utiliser un

Plus en détail

Partie I : Automates et langages

Partie I : Automates et langages 2 Les calculatrices sont interdites. N.B. : Le candidat attachera la plus grande importance à la clarté, à la précision et à la concision de la rédaction. Si un candidat est amené à repérer ce qui peut

Plus en détail

5065 Approfondissement d un champ de la micro-informatique

5065 Approfondissement d un champ de la micro-informatique 5065 Approfondissement d un champ de la micro-informatique Légende BRÈVE DESCRIPTION : Le cours INF 5065-2 est un cours de niveau secondaire 5 qui vous donnera Domaine d apprentissage : Mathématique, science

Plus en détail

Projet Pratique de INF241 Parcours de Tableaux

Projet Pratique de INF241 Parcours de Tableaux Projet Pratique de INF241 Parcours de Tableaux L objectif de ce projet est de travailler sur les tableaux en langage d assemblage ARM. Vous devez réaliser votre projet en partie lors des séances encadrées

Plus en détail

3. Veuillez indiquer votre effectif total :

3. Veuillez indiquer votre effectif total : 1 Métiers du marketing et de la ommuniation Questionnaire préalable d assurane Préambule Le présent questionnaire préalable d assurane Marketing et Communiation a pour objet de réunir des informations

Plus en détail

MACROS MINITAB POUR LE CALCUL DES COURBES D'EFFICACITÉ DES CARTES DE CONTRÔLE DE SHEWHART R. PALM * 1. Introduction

MACROS MINITAB POUR LE CALCUL DES COURBES D'EFFICACITÉ DES CARTES DE CONTRÔLE DE SHEWHART R. PALM * 1. Introduction Statistique Informatique Mathématique appliquées Novembre 3 MACROS MINITAB POUR LE CALCUL DES COURBES D'EFFICACITÉ DES CARTES DE CONTRÔLE DE SHEWHART R. PALM * 1. Introdution Les artes de ontrôle sont

Plus en détail

Placement de centres logistiques

Placement de centres logistiques Master 1 - Spécialité Androide Année 2014/2015 Module RP Résolution de Problèmes Projet Placement de centres logistiques On considère dans ce projet la résolution du problème de placement de centres logistiques

Plus en détail

Guide raccordement. Installation locale de l'imprimante (Windows) Qu'est-ce que l'impression locale?

Guide raccordement. Installation locale de l'imprimante (Windows) Qu'est-ce que l'impression locale? Guide raordement Page 1 sur 6 Guide raordement Installation loale de l'imprimante (Windows) Remarque : si le CD Logiiel et doumentation ne prend pas en harge le système d'exploitation, vous devez utiliser

Plus en détail

Coordination : Jean-Denis Poignet, responsable de formation

Coordination : Jean-Denis Poignet, responsable de formation Mathématiques e Livret de orrigés Rédation : Niole Cantelou Sophie Huvey Hélène Leoq Fabienne Meille Françoise Raynier Philippe Nadeau Jean-Denis Poignet Coordination : Jean-Denis Poignet, responsable

Plus en détail

Construction d un site WEB

Construction d un site WEB Construction d un site WEB 1 Logique binaire 1: Les systèmes de numération Un ordinateur est un appareil électronique. Deux tensions sont majoritairement présentes dans ses circuits électroniques : 0V

Plus en détail

Production statistique: passage d une démarche axée sur les domaines à une démarche axée sur les processus

Production statistique: passage d une démarche axée sur les domaines à une démarche axée sur les processus Nations Unies Conseil éonomique et soial Distr. générale 31 mars 2015 Français Original: anglais ECE/CES/2015/26 Commission éonomique pour l Europe Conférene des statistiiens européens Soixante-troisième

Plus en détail

Belgacom Forum TM 3000 Renvoi des messages vocaux vers mail

Belgacom Forum TM 3000 Renvoi des messages vocaux vers mail Belgacom Forum TM 3000 Renvoi des messages vocaux vers mail Forum 3000 Renvoi des messages vocaux ver mail Sommaire Renvoi des messages vocaux vers mail... 3 1 Se connecter au Forum 3000 en tant qu administrateur...

Plus en détail

DOSSIER DE CANDIDATURE

DOSSIER DE CANDIDATURE www.suplog.fr Tél. 01 43 13 53 34 ontat@supdelog.fr DOSSIER DE CANDIDATURE ENSEIGNEMENT SUPÉRIEUR Collez votre photo NE PAS REMPLIR CE CADRE RÉSERVÉ AU SERVICE DES ADMISSIONS Date de réeption dossier :

Plus en détail

Comment évaluer la qualité d un résultat? Plan

Comment évaluer la qualité d un résultat? Plan Comment évaluer la qualité d un résultat? En sienes expérimentales, il n existe pas de mesures parfaites. Celles-i ne peuvent être qu entahées d erreurs plus ou moins importantes selon le protoole hoisi,

Plus en détail

Sortie : OUI si n est premier, NON sinon. On peut voir Premier aussi comme une fonction, en remplaçant OUI par 1 et NON par 0.

Sortie : OUI si n est premier, NON sinon. On peut voir Premier aussi comme une fonction, en remplaçant OUI par 1 et NON par 0. Université Bordeaux 1. Master Sciences & Technologies, Informatique. Examen UE IN7W11, Modèles de calcul. Responsable A. Muscholl Session 1, 2011 2012. 12 décembre 2011, 14h-17h. Documents autorisés :

Plus en détail

TD : Arbres Binaires de Recherche (A.B.R.)

TD : Arbres Binaires de Recherche (A.B.R.) TD : Arres Binires de eherhe (A.B..) Olivier ynud rynud@isim.fr http ://www.isim.fr/rynud ésumé Dns e Td nous proposons trois exeries. Le premier est onsré à l implémenttion du T.D.A. Ensemles dynmiques

Plus en détail

Journal de classe. Maternel & Primaire 2014-2015. Nom. Prénom

Journal de classe. Maternel & Primaire 2014-2015. Nom. Prénom Journal de lasse L E Q U O T I D I E N D E L E N S E I G N A N T Maternel & Primaire 2014-2015 Nom Prénom Un journal de lasse, pourquoi? Tout au long de sa vie, un individu est onfronté à des situations

Plus en détail

Chapitre IV- Induction électromagnétique

Chapitre IV- Induction électromagnétique 37 Chapitre IV- Indution életromagnétique IV.- Les lois de l indution IV..- L approhe de Faraday Jusqu à maintenant, nous nous sommes intéressés essentiellement à la réation d un hamp magnétique à partir

Plus en détail

Les questions pour lesquelles vous avez toujours eu la réponse

Les questions pour lesquelles vous avez toujours eu la réponse Les questions pour lesquelles vous avez toujours eu la réponse Et que vous ne devriez donc plus poser! (et que nous ne devrions plus entendre ) Toutes ces informations sont disponibles : Dans les documents

Plus en détail

Algorithmique. Mode d application

Algorithmique. Mode d application I - Généralités Algorithmique T ale S Définition: Un algorithme est une suite finie d instructions permettant la résolution systématique d un problème donné. Un algorithme peut-être utilisé pour décrire

Plus en détail

INFO-F-302 Informatique Fondamentale Examen Session de Juin 2014

INFO-F-302 Informatique Fondamentale Examen Session de Juin 2014 INFO-F-302 Informatique Fondamentale Examen Session de Juin 2014 CORRIGÉ Documents non autorisés, durée: 2h45 1 Questions de cours (6 points) Question 1 (2pts) Donner quatre méthodes vues en cours pour

Plus en détail

Sous la direction de : Michel PONCY Yves GUICHARD Marie-Christine RUSSIER

Sous la direction de : Michel PONCY Yves GUICHARD Marie-Christine RUSSIER PROGRAMME 0 Sous la diretion de : Mihel PONCY Yves GUICHARD Marie-Christine RUSSIER Jean-Louis BONNAFET René GAUTHIER Yvette MASSIERA Denis VIEUDRIN Jean-François ZUCCHETTA Sommaire CHAPITRE CHAPITRE CHAPITRE

Plus en détail

Coordination : Jean-Denis Poignet, responsable de formation

Coordination : Jean-Denis Poignet, responsable de formation athématiques 6 e Livret de orrigés Rédation : laudine lbin-vuarand Niole antelou arie-jo Quéffele arie-frane Lefèvre ar Le rozler oordination : Jean-enis Poignet, responsable de formation e ours est la

Plus en détail

Préparation à l agrégation 2012/2013. Mots clés : Graphes. Vecteur propre ; matrices stochastiques ; matrices à coefficients positifs.

Préparation à l agrégation 2012/2013. Mots clés : Graphes. Vecteur propre ; matrices stochastiques ; matrices à coefficients positifs. Mots clés : Graphes. Vecteur propre ; matrices stochastiques ; matrices à coefficients positifs. Le jury n exige pas une compréhension exhaustive du texte. Vous êtes laissé(e) libre d organiser votre discussion

Plus en détail

Option Informatique Arbres binaires équilibrés

Option Informatique Arbres binaires équilibrés Option Informatique Arbres binaires équilibrés Sujet novembre 2 Partie II : Algorithmique et programmation en CaML Cette partie doit être traitée par les étudiants qui ont utilisé le langage CaML dans

Plus en détail

Activité 1. Temps 1 Lectures. Objectifs. Modalités de fonctionnement. Modalités d encadrement

Activité 1. Temps 1 Lectures. Objectifs. Modalités de fonctionnement. Modalités d encadrement Temps 1 Lectures Activité 1 Objectifs Lors de cette première activité, nous vous demandons de prendre connaissance des textes que nous avons sélectionnés et qui constituent le cadre de référence de ce

Plus en détail

Projet C++ :Salle de marchés

Projet C++ :Salle de marchés Université Paris Diderot Langages à Objets Avancés Master 1 II Année 2010-2011 Projet C++ :Salle de marchés November 24, 2010 1 Salle de marchés C est un lieu qui regroupe différents services spécialisés

Plus en détail

Comparer l intérêt simple et l intérêt composé

Comparer l intérêt simple et l intérêt composé Comparer l intérêt simple et l intérêt composé Niveau 11 Dans la présente leçon, les élèves compareront divers instruments d épargne et de placement en calculant l intérêt simple et l intérêt composé.

Plus en détail

votre sophrologue.fr Manuel de prise en main rapide Votresophrologue,fr- 2013- Copyright

votre sophrologue.fr Manuel de prise en main rapide Votresophrologue,fr- 2013- Copyright Manuel de prise en main rapide 1 votre sophrologue.fr Sommaire Créer son site Page 3 Tableau de bord Page 10 Changer de thème Page 11 Modifier la page d accueil Page 15 Créer une nouvelle page Page 18

Plus en détail

Manuel d instructions

Manuel d instructions LOGICIEL DE CRÉATION DE BRODERIES Manuel d instrutions Visitez notre site http://solutions.brother.om pour obtenir les oordonnées du servie après-vente et onsulter la Foire aux questions (FAQ). RENSEIGNEMENTS

Plus en détail

Informatique TP 4 & 5. Chaînes de Markov. Partie 1 : exemple introductif

Informatique TP 4 & 5. Chaînes de Markov. Partie 1 : exemple introductif Informatique TP 4 & 5 ECS2 Lyée La Bruyère, Versailles Chaînes de Markov Partie 1 : exemple introdutif Exerie 1 : épidémiologie On modélise l évolution d une maladie en lassant les individus en trois groupes

Plus en détail

Points fixes de fonctions à domaine fini

Points fixes de fonctions à domaine fini ÉCOLE POLYTECHNIQUE ÉCOLE NORMALE SUPÉRIEURE DE CACHAN ÉCOLE SUPÉRIEURE DE PHYSIQUE ET DE CHIMIE INDUSTRIELLES CONCOURS D ADMISSION 2013 FILIÈRE MP HORS SPÉCIALITÉ INFO FILIÈRE PC COMPOSITION D INFORMATIQUE

Plus en détail

Programmation avancée en C

Programmation avancée en C Département Informatique Nom : Prénom : Année scolaire : 2007 2008 Date : 23 juin 2008 Module INF446 Session de juin Programmation avancée en C Contrôle de connaissance 1 de 45 minutes ÅERCI de répondre

Plus en détail

Plateforme de capture et d analyse de sites Web AspirWeb

Plateforme de capture et d analyse de sites Web AspirWeb Projet Java ESIAL 2A 2009-2010 Plateforme de capture et d analyse de sites Web AspirWeb 1. Contexte Ce projet de deuxième année permet d approfondir par la pratique les méthodes et techniques acquises

Plus en détail

Partiel INF242, 2009-2010

Partiel INF242, 2009-2010 Partiel INF242, 2009-2010 Stéphane Devismes Pascal Lafourcade Lundi 22 mars 2010 Total : 120 points Durée : 2h00 Documents autorisés : une feuille recto verso de notes personnelles format A4 Le arème des

Plus en détail

Mesures du coefficient adiabatique γ de l air

Mesures du coefficient adiabatique γ de l air Mesures du oeffiient adiabatique γ de l air Introdution : γ est le rapport des apaités alorifiques massiques d un gaz : γ = p v Le gaz étudié est l air. La mesure de la haleur massique à pression onstante

Plus en détail

Support Client MyNOVASECUR Module de traitement, d analyse et de rapports automatisés

Support Client MyNOVASECUR Module de traitement, d analyse et de rapports automatisés Support Client MyNOVASECUR Module de traitement, d analyse et de rapports automatisés http://www.mynovasecur.com Mise à jour mai 2010 Table des matières Part 1. Introduction... 3 1.1. Le site MyNovasecur...

Plus en détail

Forme juridique Noms et adresses des filiales à assurer. Date de création ou début de l activité Description PRÉCISE de vos activités

Forme juridique Noms et adresses des filiales à assurer. Date de création ou début de l activité Description PRÉCISE de vos activités 1 Servies à la personne by Hisox Questionnaire préalable d assurane Identifiation du proposant Raison soiale Adresse de la soiété Site web Code APE Code SIREN Forme juridique Noms et adresses des filiales

Plus en détail

Exercice 1: Câble coaxial et Théorème d'ampère

Exercice 1: Câble coaxial et Théorème d'ampère UTBM PS1 / Examen Final P8 Pour tenir ompte de la longueur de l'énoné, le total des points possibles est 33, mais la note finale sera ramenée à une note sur points Exerie 1: Câble oaxial et Théorème d'ampère

Plus en détail

Bureau d études techniques by Hiscox Questionnaire préalable d assurance

Bureau d études techniques by Hiscox Questionnaire préalable d assurance Bureau d études tehniques by Hisox Questionnaire préalable d assurane Bureau d études tehniques by Hisox Questionnaire préalable d assurane Identifiation du proposant Raison soiale Adresse de la soiété

Plus en détail

La Fonction SI. Il affichera : PROMU. Séparateurs

La Fonction SI. Il affichera : PROMU. Séparateurs La Fonction SI Renvoie une valeur si le résultat du TEST LOGIQUE que vous spécifiez est VRAI et une autre valeur si le résultat du test logique est FAUX. Structure et exemple : SI (TEST LOGIQUE ; VALEUR

Plus en détail

Forme juridique Noms et adresses des filiales à assurer. Date de création ou début de l activité Description PRÉCISE de vos activités

Forme juridique Noms et adresses des filiales à assurer. Date de création ou début de l activité Description PRÉCISE de vos activités 1 Métiers du onseil en entreprise Questionnaire préalable d assurane Identiiation du proposant Raison soiale Adresse de la soiété Site web Code APE Code SIREN Forme juridique Noms et adresses des filiales

Plus en détail

Poker Jack. http://www.casinosduquebec.com/montreal/fr/jeux/poker-3-cartes. L'objectif du jeu

Poker Jack. http://www.casinosduquebec.com/montreal/fr/jeux/poker-3-cartes. L'objectif du jeu Poker Jack Ce jeu est un jeu de carte inspiré du Blackjack et du Poker. Les règles ressemblent étrangement aux règles du Blackjack (mais avec aucun contrôle sur le tirage des cartes, il y aura toujours

Plus en détail

Livret du Stagiaire en Informatique

Livret du Stagiaire en Informatique Université François-Rabelais de Tours Campus de Blois UFR Sciences et Techniques Département Informatique Livret du Stagiaire en Informatique Licence 3ème année Master 2ème année Année 2006-2007 Responsable

Plus en détail

Windows Google Chrome

Windows Google Chrome Windows Google Chrome Contenu Détection et lecture de la carte KorriGo... 2 Rechargement de la carte KorriGo... 6 L application KorriGo STAR a été fermée... 6 L application KorriGo STAR est lancée... 9

Plus en détail

Projet informatique «Voyageur de commerce» Résolution approchée par algorithme génétique du problème du voyageur de commerce

Projet informatique «Voyageur de commerce» Résolution approchée par algorithme génétique du problème du voyageur de commerce Année 2007-2008 Projet informatique «Voyageur de commerce» Résolution approchée par algorithme génétique du problème du voyageur de commerce B. Monsuez Projet informatique «Voyageur de commerce» Résolution

Plus en détail

Informatique III: Programmation en C++

Informatique III: Programmation en C++ Informatique III: Programmation en C++ Listes haînées Lundi 9 Janvier 2006 1 2 Introdution Les listes hainées permettent de stoker un nombre d objets qui n a pas besoin d être spéifié a priori. Rajouter

Plus en détail

Questionnaire à destination des associations de LANNION

Questionnaire à destination des associations de LANNION Questionnaire à destination des assoiations de LANNION Ce questionnaire a pour objetif de mieux erner le profil atuel du monde assoiatif de LANNION. Il est rapide, faile à remplir.. et vos réponses nous

Plus en détail

DOSSIER DE CANDIDATURE

DOSSIER DE CANDIDATURE UNIVERSITÉ PARIS-DAUPHINE FORMATION CONTINUE DOSSIER DE CANDIDATURE MBA Management International Cadre réservé à l administration Nom : Prénom : Dossier reçu le : Date d entretien le : PUBLIC CIBLE Le

Plus en détail

Pas Touche à mon Word (Compétence Micro - Expérience, Septembre 1998. Ref. : CME-4) Supplément gratuit

Pas Touche à mon Word (Compétence Micro - Expérience, Septembre 1998. Ref. : CME-4) Supplément gratuit 1 Pas Touche à mon Word (Compétence Micro - Expérience, Septembre 1998. Ref. : CME-4) Supplément gratuit Table des matières Les liens hypertexte...2 Dans le même document... 2 Dans le même ou un autre

Plus en détail

Comment reconstituer un patrimoine forestier? Valeur d avenir : diagnostics et inventaires aux niveaux forêt et parcelle

Comment reconstituer un patrimoine forestier? Valeur d avenir : diagnostics et inventaires aux niveaux forêt et parcelle 326 Forêts et tempête Comment reonstituer un patrimoine forestier? Valeur d avenir : diagnostis et inventaires aux niveaux forêt et parelle par Mihel Vallane et Bernard Roman-Amat Offie National des Forêts

Plus en détail

Poker. A rendre pour le 25 avril

Poker. A rendre pour le 25 avril Poker A rendre pour le 25 avril 0 Avant propos 0.1 Notation Les parties sans * sont obligatoires (ne rendez pas un projet qui ne contient pas toutes les fonctions sans *). Celles avec (*) sont moins faciles

Plus en détail

Conseils pour utiliser efficacement PowerPoint lors d une présentation

Conseils pour utiliser efficacement PowerPoint lors d une présentation Fiche_ConseilsPresentationPowerPoint.pdf 1 Conseils pour utiliser efficacement PowerPoint lors d une présentation 1. Le contenu de la présentation Incorporez des images graphiques à vos diapositives, soit,

Plus en détail

Agrégation externe de mathématiques, session 2005 Épreuve de modélisation, option Probabilités et Statistiques

Agrégation externe de mathématiques, session 2005 Épreuve de modélisation, option Probabilités et Statistiques Agrégation externe de mathématiques, session 2005 Épreuve de modélisation, option Probabilités et Statistiques (605) GESTION DE STOCK À DEMANDE ALÉATOIRE Résumé : Chaque mois, le gérant d un magasin doit

Plus en détail

INF-130 Travail Pratique #2

INF-130 Travail Pratique #2 École de technologie supérieure INF-30 Travail Pratique #2 Travail individuel Tracé d un métro Francis Bourdeau, Frédérick Henri et Patrick Salois Remise à la 0 e semaine. Objectifs - Amener l étudiant

Plus en détail

Module ITC34 - Algorithmique et Programmation

Module ITC34 - Algorithmique et Programmation Module ITC34 - Algorithmique et Programmation TDs Algorithmique (trois séances) Benoît Darties - benoit.darties@u-bourgogne.fr Univ. Bourgogne Franche-Comté Année universitaire 2015-2016 Avant-propos :

Plus en détail

SPHEREDEPOT Logiciel d envoi par internet de photos vers votre magasin Photosphere pour tirage. Manuel d utilisation

SPHEREDEPOT Logiciel d envoi par internet de photos vers votre magasin Photosphere pour tirage. Manuel d utilisation SPHEREDEPOT Logiciel d envoi par internet de photos vers votre magasin Photosphere pour tirage Manuel d utilisation Introduction Ce logiciel, à télécharger sur le site www.photosphere.fr, a été réalisé

Plus en détail

Objets Avancées Semestre 3 Année 2015-2016. Projet

Objets Avancées Semestre 3 Année 2015-2016. Projet Conception et Programmation IUT d Aix-Marseille Dép. INFO Aix Objets Avancées Semestre 3 Année 2015-2016 Projet André Abramé - andre.abrame@univ-amu.fr Sophie Nabitz - sophie.nabitz@univ-avignon.fr Petru

Plus en détail

JAVA ET JDBC : UNE MINI-INTRODUCTION MARCIN SKUBISZEWSKI

JAVA ET JDBC : UNE MINI-INTRODUCTION MARCIN SKUBISZEWSKI JAVA ET JDBC UNE MINI-INTRODUCTION MARCIN SKUBISZEWSKI Comment nous proédons skubi@skubinet http//wwwskubinet Etude de quelques points essentiels et diffiiles Etude d exemples de ode Manuels Tous les douments

Plus en détail

Ministère de l enseignement supérieur et de la recherche scientifique. Direction Générale des Études Technologiques

Ministère de l enseignement supérieur et de la recherche scientifique. Direction Générale des Études Technologiques Ministère de l enseignement supérieur et de la recherche scientifique Direction Générale des Études Technologiques Institut Supérieur des Etudes Technologiques de SILIANA Département Technologies de l

Plus en détail

Synchronisation des Processus et les sémaphores

Synchronisation des Processus et les sémaphores Synchronisation des Processus et les sémaphores Achraf Othman Support du cours : www.achrafothman.net 1 PLAN Spécification du problème Section Critique (SC) Exclusion Mutuelle Principe Propriétés Réalisation

Plus en détail

Concours National d Informatique. Sujet de demi-finale Montpellier et Toulouse

Concours National d Informatique. Sujet de demi-finale Montpellier et Toulouse Concours National d Informatique Sujet de demi-finale Montpellier et Toulouse 28 février 2009 Poule de lard 1 Préambule Bienvenue à Prologin. Ce sujet est l épreuve écrite d algorithmique et constitue

Plus en détail

A D M I S S I O N S. Quatre étapes pour postuler à Sciences Po. Page. Guide du candidat. Guide du candidat - 2013

A D M I S S I O N S. Quatre étapes pour postuler à Sciences Po. Page. Guide du candidat. Guide du candidat - 2013 A D M I S S I O N S Quatre étapes pour postuler à Sciences Po Guide du candidat Vous souhaitez postuler à Sciences Po 1 Étape 1 2 Étape 2 3 Étape 3 4 Étape 4 CRÉER UN COMPTE CHOISIR LE PROGRAMME COMPLÉTER

Plus en détail

Représentation des fonctions booléennes

Représentation des fonctions booléennes Représentation des fonctions booléennes Épreuve pratique d algorithmique et de programmation Juillet 2003 Ce problème est consacré à l étude de deux représentations des fonctions booléennes de N variables

Plus en détail

B B A C U C C U C G 2 E 0 B 0

B B A C U C C U C G 2 E 0 B 0 Test psychotechnique ISI : Mastermind Test psychotechnique ISI : Mastermind Le Mastermind est un jeu de société, créé danss les années 70, opposant deux adversaires et dans lequel l un des joueurs doit

Plus en détail

Projet de programmation Java Puissance 4

Projet de programmation Java Puissance 4 Projet de programmation Java Puissance 4 Juliusz Chroboczek et Gabriel Scherer Version du 13 novembre 2014 Le but de ce projet est d implémenter en Java un jeu de plateau qui s appelle Puissance 4. Votre

Plus en détail

INFO-F-302 Informatique Fondamentale Projet : Logique du Premier Ordre et Utilisation de l Outil Z3

INFO-F-302 Informatique Fondamentale Projet : Logique du Premier Ordre et Utilisation de l Outil Z3 UNIVERSITÉ LIBRE DE BRUXELLES (corrected version 20120416) INFO-F-302 Informatique Fondamentale Projet : Logique du Premier Ordre et Utilisation de l Outil Z3 L objectif de ce projet est de modéliser des

Plus en détail

Date de réception du dossier : Nom : Prénom : Cursus visé :

Date de réception du dossier : Nom : Prénom : Cursus visé : Date de réception du dossier : Nom : Prénom : Cursus visé : J atteste sur l honneur ne pas avoir déposé de demande de valorisation des acquis de l expérience personnelle et professionnelle relative au

Plus en détail

MODALITES DE SUIVI DU PROJET ANNUEL DU MASTER 2 SOLUTIONS INFORMATIQUES LIBRES

MODALITES DE SUIVI DU PROJET ANNUEL DU MASTER 2 SOLUTIONS INFORMATIQUES LIBRES MODALITES DE SUIVI DU PROJET ANNUEL DU MASTER 2 SOLUTIONS INFORMATIQUES LIBRES Département Informatique UFR Sciences 2 Boulevard Lavoisier 49045 Angers Cedex 01 Auteur : Jean-Michel Richer Email : jean-michel.richer@univ-angers.fr

Plus en détail

X-infos. L AcTUALITé DE LA SPL-XDEMAT > N 2 MARS 2014. Tous a vos agendas! Sommaire. Édito. Édito. Tous à vos agendas!

X-infos. L AcTUALITé DE LA SPL-XDEMAT > N 2 MARS 2014. Tous a vos agendas! Sommaire. Édito. Édito. Tous à vos agendas! X-infos L ATUALITé DE LA SPL-XDEMAT > N 2 MARS 2014 Édito Tous a vos agendas! La soiété SPL-Xdemat s apprête à vivre pour la première fois de sa jeune existene, les életions muniipales. Et ompte tenu du

Plus en détail

Problème 4 : étude de solutions tampon de ph

Problème 4 : étude de solutions tampon de ph ème OI Épreuve de séletion 5 PRÉ : étude de solutions tampon de ph I. Préparation. L aide éthanoï que est noté OH. À la température onsidérée, le pk du ouple OH/O est égal à,7. On prépare une solution

Plus en détail

Documentation Askfornet v1.7

Documentation Askfornet v1.7 Documentation Askfornet v1.7 - Page 1 sur 6 Documentation Askfornet v1.7 I. Menu principal Permet de créer un nouveau Permet de gérer vos s Permet de modifier les informations de votre société Permet de

Plus en détail

Guide de gestion du temps

Guide de gestion du temps Guide de gestion du temps Programme de compression volontaire de normale de travail des membres du Syndicat des employés et employées de l Université Laval (SEUL) et du personnel de soutien non syndiqué

Plus en détail

COMPARAISON GRAHPIQUE DE DEUX VALEURS AVEC INCERTITUDE

COMPARAISON GRAHPIQUE DE DEUX VALEURS AVEC INCERTITUDE COMPARAISON GRAHPIQUE DE DEUX VALEURS AVEC INCERTITUDE Le but d une expérience de laboratoire est souvent de vérifier un résultat théorique à l aide d un montage. Puisqu il est impossible (sinon très rare)

Plus en détail

Implanter un algorigramme avec le logiciel EditAlgo

Implanter un algorigramme avec le logiciel EditAlgo Implanter un algorigramme avec le logiciel EditAlgo 1. Définir la fonction de l algorithme. Exemple a : On souhaite faire clignoter une diode à la période 2s. Exemple b : On souhaite compter les impulsions

Plus en détail

SOMMAIRE. Installation & Gestion des licences Schémaplic. 1. Téléchargement des programmes d installation

SOMMAIRE. Installation & Gestion des licences Schémaplic. 1. Téléchargement des programmes d installation Vous venez d acquérir le logiciel Schémaplic et nous vous félicitons pour votre achat. Le présent document illustre les étapes d installation et d activation de votre logiciel Schémaplic dans ses différentes

Plus en détail

Documentation télémaintenance

Documentation télémaintenance Documentation télémaintenance Table des matières Introduction... 2 Interface web du technicien... 2 Connexion à l interface... 2 Mon compte... 3 Configuration... 4 1. Jumpoint... 4 2. Jump clients... 4

Plus en détail

CQP Inter-branches Technicien de Maintenance Industrielle. Préparation de l évaluation des compétences par le candidat

CQP Inter-branches Technicien de Maintenance Industrielle. Préparation de l évaluation des compétences par le candidat CQP Inter-branches Technicien de Maintenance Industrielle Préparation de l évaluation des compétences par le candidat Vous souhaitez obtenir le Certificat de Qualification Professionnelle Inter-branches

Plus en détail

E2E WORKSHOP sur la REPONSE A L APPEL D OFFRES PRIVE avec Agathe TURLOTTE, Acheteuse Conseil chez AXA France, le 23 juin 2011.

E2E WORKSHOP sur la REPONSE A L APPEL D OFFRES PRIVE avec Agathe TURLOTTE, Acheteuse Conseil chez AXA France, le 23 juin 2011. E2E WORKSHOP sur la REPONSE A L APPEL D OFFRES PRIVE avec Agathe TURLOTTE, Acheteuse Conseil chez AXA France, le 23 juin 2011. Qu est ce qu un appel d offres pour un acheteur? Il ne faut pas oublier que

Plus en détail

HELPDESK IMAGINLAB GUIDE UTILISATION POUR IMAGINEURS. : Guide HelpDesk pour les Imagineurs-v1.2.docx. Date : 2013-07-24

HELPDESK IMAGINLAB GUIDE UTILISATION POUR IMAGINEURS. : Guide HelpDesk pour les Imagineurs-v1.2.docx. Date : 2013-07-24 HELPDESK IMAGINLAB GUIDE UTILISATION POUR IMAGINEURS Fichier : Guide HelpDesk pour les Imagineurs-v1.2.docx Date : 2013-07-24 Rédacteurs : Helpdesk ImaginLab FICHE D'EVOLUTION Edition Date Auteur Action

Plus en détail

Note technique. Recrutement Les étudiants ont du talent Concours 2012-2013 Date : 04/10/2012. Thème... 2

Note technique. Recrutement Les étudiants ont du talent Concours 2012-2013 Date : 04/10/2012. Thème... 2 technique Émetteur : Organisation du concours Destinataires : Participants au concours Objet : Cahier des charges Sommaire Thème... 2 Un coffre-fort numérique mobile... 2 Objet du concours... 2 Un produit

Plus en détail

Guide pour les porteurs de projets du Circuit Scientifique Bordelais 2015 Présentation

Guide pour les porteurs de projets du Circuit Scientifique Bordelais 2015 Présentation Guide pour les porteurs de projets du Circuit Scientifique Bordelais 2015 Présentation Vous travaillez dans une structure d Enseignement Supérieur et de Recherche ou autres et vous souhaitez proposez une

Plus en détail

Cours débutants Partie 3 : LE MONEY MANAGEMENT

Cours débutants Partie 3 : LE MONEY MANAGEMENT Qu est ce que le Money Management : Nous voilà dans les fondamentaux du Trader et certainement la partie la plus complexe car nous venons toucher l orgueil! En effet, apprendre à perdre n est pas une mince

Plus en détail

Bac Blanc Terminale ES - Février 2014 Épreuve de Mathématiques (durée 3 heures)

Bac Blanc Terminale ES - Février 2014 Épreuve de Mathématiques (durée 3 heures) Bac Blanc Terminale ES - Février 2014 Épreuve de Mathématiques (durée 3 heures) L attention des candidats est attirée sur le fait que la qualité de la rédaction, la clarté et la précision des raisonnements

Plus en détail

Épreuve d informatique 2011

Épreuve d informatique 2011 A 2011 INFO. MP ÉCOLE NATIONALE DES PONTS ET CHAUSSÉES, ÉCOLES NATIONALES SUPÉRIEURES DE L AÉRONAUTIQUE ET DE L ESPACE, DE TECHNIQUES AVANCÉES, DES TÉLÉCOMMUNICATIONS, DES MINES DE PARIS, DES MINES DE

Plus en détail

Procédures formation Nous Cartons. pour les membres AMDEQ

Procédures formation Nous Cartons. pour les membres AMDEQ Procédures formation Nous Cartons pour les membres AMDEQ Chers membres AMDEQ, voici la nouvelle procédure pour inscrire gratuitement vos employés à la formation Nous Cartons et pour imprimer leurs diplômes.

Plus en détail

Créer un document PDF (Portable Document Format) au départ d un fichier Word ou Excel

Créer un document PDF (Portable Document Format) au départ d un fichier Word ou Excel Créer un document PDF (Portable Document Format) au départ d un fichier Word ou Excel 1. Le Portable Document Format (communément abrégé PDF) est un format de fichier informatique créé par Adobe Systems.

Plus en détail

Personnel Pour chaque diagnostiqueur, veuillez fournir les informations suivantes : Date de la formation. Formation (durée)

Personnel Pour chaque diagnostiqueur, veuillez fournir les informations suivantes : Date de la formation. Formation (durée) 1 Diagnosti Immobilier by Hisox Questionnaire préalable d assurane Identifiation du proposant Raison soiale Adresse de la soiété Site web Code APE Code SIREN Forme juridique Date de réation : Possédez-vous

Plus en détail

PROCÉDURE POUR LA GESTION DES PIÈCES JOINTES

PROCÉDURE POUR LA GESTION DES PIÈCES JOINTES PROCÉDURE POUR LA GESTION DES PIÈCES JOINTES GDI- Procédure pour la gestion des pièces jointes Page 1 sur 9 Table des matières I. Gestion des pièces jointes avec Microsoft Dynamics CRM 2011... 3 Sécurité

Plus en détail

NCCI : Modèle de calcul pour les pieds de poteaux articulés Poteaux en I en compression axiale

NCCI : Modèle de calcul pour les pieds de poteaux articulés Poteaux en I en compression axiale NCCI : Modèle de alul pour les pieds de poteaux artiulés Poteaux en I en Ce NCCI présente les règles permettant de déterminer soit la résistane de alul, soit les dimensions requises des plaques d'assise

Plus en détail

Rapport d activité des écoles de devoirs. Mode d emploi pour remplir le questionnaire

Rapport d activité des écoles de devoirs. Mode d emploi pour remplir le questionnaire Rapport d activité des écoles de devoirs Mode d emploi pour remplir le questionnaire 1 Mode d emploi à destination des écoles de devoirs en vue de la rédaction de leur rapport d activité via un formulaire

Plus en détail

Professionnels de l art by Hiscox Questionnaire préalable d assurance

Professionnels de l art by Hiscox Questionnaire préalable d assurance Professionnels de l art by Hisox Questionnaire préalable d assurane Votre interlouteur: Buzz Assurane Servie lients - BP 105 83061 Toulon Cedex prodution@buzzassurane.om La ommunauté des olletionneurs

Plus en détail

Projet Génie Logiciel Avancé, Version 1.0

Projet Génie Logiciel Avancé, Version 1.0 Projet Génie Logiciel Avancé, Version 1.0 14 février 2012 1 Introduction Un certain client aimerait un clone de Worms. Sa demande est fournie séparément. Remarquez que l on ne vous demande pas : De prévoir

Plus en détail

Tourisme Pro by Hiscox Questionnaire préalable d assurance

Tourisme Pro by Hiscox Questionnaire préalable d assurance Tourisme Pro by Hisox Questionnaire préalable d assurane Tourisme Pro by Hisox Questionnaire préalable d assurane Identifiation du proposant Raison soiale Adresse de la soiété Site web Code APE Code SIREN

Plus en détail

Fonction inverse Fonctions homographiques

Fonction inverse Fonctions homographiques Fonction inverse Fonctions homographiques Année scolaire 203/204 Table des matières Fonction inverse 2. Définition Parité............................................ 2.2 Variations Courbe représentative...................................

Plus en détail

LIF1 : ALGORITHMIQUE ET PROGRAMMATION IMPÉRATIVE, INITIATION

LIF1 : ALGORITHMIQUE ET PROGRAMMATION IMPÉRATIVE, INITIATION Licence STS Université Claude Bernard Lyon I LIF1 : ALGORITHMIQUE ET PROGRAMMATION IMPÉRATIVE, INITIATION 1 COURS 5 : Les Tableaux PLAN DE LA SÉANCE Comprendre l utilité des tableaux Apprendre à manipuler

Plus en détail

GESTIPACK. version PC

GESTIPACK. version PC GESTIPACK version PC SOMMAIRE GESTIPACK R U B R I Q U E S P A G E S - Installer votre application GESTIPACK 2011 2 à 3 - Utilisation de GESTIPACK 2011 4 à 5 - Gestion Options Paramètres 6 à 11 - Gestion

Plus en détail

Info0101 Intro. à l'algorithmique et à la programmation. Cours 2. Structures itératives

Info0101 Intro. à l'algorithmique et à la programmation. Cours 2. Structures itératives Info0101 Intro. à l'algorithmique et à la programmation Cours 2 Structures itératives Pierre Delisle, Cyril Rabat et Christophe Jaillet Université de Reims Champagne-Ardenne Département de Mathématiques

Plus en détail

ACCUEIL...2 LA DEMANDE DE DEVIS...11 COMPLETER UN DEVIS...12 ACCEPTER OU A REFUSER LE DEVIS...13

ACCUEIL...2 LA DEMANDE DE DEVIS...11 COMPLETER UN DEVIS...12 ACCEPTER OU A REFUSER LE DEVIS...13 ACCUEIL...2 LA COMMANDE...3 ONGLET "NATURE DES TRAVAUX"...3 ONGLET INFORMATIONS...8 ONGLET RECAPITULATIF...9 LA COMMANDE SIMPLE A VALIDER PAR LES ACHETEURS...10 LA DEMANDE DE DEVIS...11 COMPLETER UN DEVIS...12

Plus en détail