Curriculum Vitae Sébastien SALVA. Maître de Conférences à l'université d'auvergne Habilité à diriger des recherches depuis mai PDF\nCurriculum Vitae Sébastien SALVA. Maître de Conférences à l'université d'auvergne Habilité à diriger des recherches depuis mai 2012\nDownload "Curriculum Vitae 2014. Sébastien SALVA. Maître de Conférences à l'université d'auvergne Habilité à diriger des recherches depuis mai 2012"\n1 Curriculum Vitae 2014 Sébastien SALVA Maître de Conférences à l'université d'auvergne Habilité à diriger des recherches depuis mai 2012\n2 Table des matières Curriculum vitae 1 Activités et Projets de recherche Thèmes de recherche Méthodes de Génération de cas de test pour systèmes temporisés Test et testabilité de services Web et compositions : test automatique, de sécurité, etc Test de systèmes réactifs Travaux en cours : Sécurité des applications mobiles Travaux en cours : Inférence de modèles à partir de traces ou par tests automatiques Autre Encadrement et collaborations scientiques Encadrement Contrats de recherche et coopérations industrielles Diusion de la recherche Publications Rayonnement scientique Projet de recherche Axes du projet de recherche Activités pédagogiques Activités d'enseignement en tant que maître de conférences Service d'enseignement (hors encadrement) Animation des activités pédagogiques et charges collectives Responsabilités de lières Autres responsabilités pédagogiques Dossier de Publications Bibliographie personnelle i\n3 Chapitre 1 Sébastien Salva - Curriculum vitae Informations personnelles 39 ans, né le 8 août 1974 Nationalité française Marié, 3 enfants Information de contact Adresse 31 route de maringues Martres sur morge France Téléphone Situation Actuelle Maître de conférences depuis septembre 2002, CNU 27ème section, IUT d'aubière, Université d'auvergne Membre du laboratoire LIMOS (Laboratoire d'informatique, de Modélisation et d'optimisation des Systèmes), UMR 6158, Axe SIC\n4 Cursus Universitaire Mai 2012 Habilitation à diriger des Recherches, Université d'auvergne, Titre de la thèse : Etude sur le test basé modèle de systèmes temporisés et d'applications à base de composants., Jury : Alain Quilliot, Professeur à l'université Blaise Pascal, président, Rachida Dssouli, Professeur à CIISE, Concordia University, rapporteur Richard Castanet, Professeur à l'université de Bordeaux, rapporteur Pierre de Saqui-Sannes, Professeur à l'isae de Toulouse, rapporteur Jean-Marc Lavest, Professeur à l'université d'auvergne, examinateur Michel Misson, Professeur à l'université d'auvergne, examinateur Mention Très Honorable, Novembre 2001 Juin 1999 Juin 1998 Doctorat spécialité Informatique, Université de Reims Champagne Ardenne, Titre de la thèse : Etude de la qualité de test des systèmes temporisés, Jury : J. Zaytoon, Professeur à l'université de Reims, président J. P. Thomesse, Professeur à l'université de Nancy, rapporteur N. Debnath, Professeur à Winona State University, USA, rapporteur K. Drira, Chargé de Recherche au LAAS, Université de Toulouse, examinateur S. Bloch, Professeur à l'université de Reims, examinateur, directeur de thèse H. Fouchal, Maître de conférence à l'université de Reims, examinateur Mention Très Honorable DEA d'informatique, Mention Bien, Université de Versailles, Directeur : Guy Pujolle, Sujet : MISI Méthodes Informatiques des Systèmes Industriels, Maitrise d'informatique, Mention Bien, major de la promotion, Université de Reims Champagne Ardenne 2\n6 Organisateur des journées du groupe de travail MTVV (GDR GPL), octobre 2011, Rennes, Participation aux GDR RGE (GDR ASR), StrQds (Système Temps Réel et Qualité de Service), MTVV (méthodes de test pour la validation et la vérication, GDR GPL), Membre de la commission de spécialiste 27ème Section, de l'université d'auvergne de 2004 à 2008 et 2011, de l'école Polytech Clermont 2012, Expert ANR (projets INS), Encadrement de jeunes chercheurs : Thèses Masters thèse en co-encadrement depuis septembre 2008, doctorant : Issam Rabhi, soutenue en janvier 2012, thèse en co-encadrement depuis décembre 2009, doctorant : Najib Mekouar, inscription non renouvelée après 2 ans, thèse en co-encadrement depuis novembre 2011 dans le cadre d'une Bourse d'innovation Thèse, doctorant : Stassia Resondry Za Miharisoa, en collaboration avec la société Openium, thèse en co-encadrement sous ma direction depuis janvier 2013 dans le cadre d'une Bourse CIFRE, doctorant : William Durand, en collaboration avec la société Michelin, 4 étudiants en formation M2 Modèles, Systèmes, Imagerie, Robotique (MSIR) Projets et activités contractuelles : Projets nationaux : Projet RNRT Platonis, Projet ANR Webmov, Projet Evaluation de la robustesse des réseaux de capteurs sans l dédiés aux applications industrielles, dans le cadre de la fédération TIMS (Technologie de l'information de la Mobilité et de la Sureté), Responsable d'une bourse d'innovation en partenariat avec l'entreprise Openium. Synthèse des Activités pédagogiques Service Total par an : 300 HTD (Heures équivalent TD) Cours eectués à l'iut d'aubière et l'université Blaise Pascal Thèmes principaux : Réseaux, Programmation Web, Programmation système, cycle de vie du logiciel Principaux cours entre 2002 et 2014 : 4\n7 CHAPITRE 1. CURRICULUM VITAE DUT informatique, IUT d'aubière Licences professionnelles IUT d'aubière Master 2 recherche MSI, Université Blaise Pascal Autre Réseaux, Cours, TD, TP : réseaux locaux, IP, TCP/UDP, prog. Socket, etc., 1ère et 2ème année DUT, 57h, resp. du cours, Programmation Web, Cours, TD, TP, (PHP, et J2EE servlet/jsp, JPA, design pattern, etc.), 1ère et 2ème année DUT, 85h, resp. de 2 cours, Réseaux (couches basses), 20H, resp. du cours, Introduction à la programmation parallèle (OPENMP), 30h, resp. du cours, Programmation orientée service (Java AXIS, REST Jersey), 30H, resp. du cours, Qualité logicielle (norme CMMI, cycle de vie, tests, outils, etc.), 20H, resp. du cours, Cloud Computing (IaaS, PaaS, SaaS, Google AppEngine, Windows Azure), 20h, resp. du cours, Administration système, 15h, resp. du cours, Préparation à la certication SUN, Cours Test basé modèle, 20h, co-resp. du cours Cours à l'iufm (Cours de formation aux Professeurs de lycées), projets tuteurés à l'école d'ingénieurs ISIMA Responsabilités notables et fonctions d'intérêt collectif Vie scientique Responsabilités pédagogiques Membre de la commission de spécialiste 27ème Section, Université d'auvergne de 2004 à 2008 et 2011, Ecole Polytech Clermont 2012, Membre du Conseil de Laboratoire du LIMOS depuis 2012, Membre du comité de programme de 4 conférences et workshops internationaux, membre de comités de rédaction de 2 journaux internationaux, Expert ANR (expertise de n de projets) 2011, Expert Aères (expertise de formations) depuis Création et Responsable de la Licence professionnelle Développement d'applications Internet/Intranet depuis 2006, en contrat de professionnalisation depuis 2012, Co-responsable de la licence Informatique répartie en contrat de professionnalisation, , Responsable des stages (Répartition entre options et gestion avec les étudiants), , Membre du conseil de département Informatique de l'iut d'aubière depuis 2004 Responsable de la plupart des cours enseignés, 5\n8 Chapitre 2 Activités et Projets de recherche Aider le développeur à créer des applications ables sans sacrier sa productivité. Cette phrase correspond au l rouge rassemblant mes activités de recherche. Depuis le début de ma carrière, ces activités s'eectuent dans le laboratoire LIMOS (laboratoire d'informatique, de Modélisation et d'optimisation des Systèmes), dans l'équipe SIC (Systèmes d'information et de Communication) animée par les Professeurs Michel Misson et Farouk Toumani. Mon thème de recherche est actuellement centré sur la validation de systèmes conduite par des modèles (test en boite noire, actif ou passif, de sécurité de conformité, de robustesse, etc.). Je présente dans ce chapitre une vue d'ensemble de mes activités liées à la production et à l'animation scientique et ainsi que mon projet de recherche dans le laboratoire LIMOS. Mon travail et mes résultats les plus signicatifs sont tout d'abord brièvement décrits en Section 2.1. Mes activités d'encadrement, mes participations à des projets de recherche ainsi que mes principales collaborations sont ensuite synthétisées en Section??. Les résultats en terme de diusion de la recherche à travers notamment les développements logiciels et les publications sont exposés en Section 2.3. En Section 3.2, je présente mon implication dans l'animation et les charges collectives liées à la recherche. Enn, je développe mes orientations futures de recherche scientique et technique en Section??.\n9 CHAPITRE 2. ACTIVITÉS ET PROJETS DE RECHERCHE 2.1 Thèmes de recherche Le test du logiciel et de systèmes couvre un certain éventail de branches de l'informatique. De bout en bout, il s'agit tout d'abord de se pencher sur la modélisation d'applications ou de systèmes, de vérier s'ils sont testables puis de produire des cas de test exacts et complets vis à vis d'une relation de test. Plus précisément, mes activités de recherche sont portées sur les thèmes suivants : Méthodes de Génération de cas de test pour systèmes temporisés J'ai eectué des travaux sur le test de systèmes et protocoles de télécommunication modélisés par des automates temporisés [20, 35, 43, 49, 8, 50, 28, 34]. Dans les travaux que nous avons proposés, nous avons souhaité mettre l'accent sur la réduction du coùt de la génération des tests. Pour ce faire, au lieu de transformer une spécication initiale en plusieurs fois, nous avons apporté une nouvelle dénition de la caractérisation d'états et des méthodes orientées objectif de test à appliquer, de façon directe, sur une spécication temporisée. Les méthodes orientées objectif de test sont non exhaustives et permettent d'expérimenter des parties locales de systèmes à partir de besoins de test. Cependant, ces objectifs de test doivent souvent être construits manuellement. Nous avons donc apporté plusieurs solutions pour générer des objectifs de test semi-automatiquement et automatiquement sur des systèmes temporisés. Pour assurer et améliorer l'ecacité des objectifs, nous avons déni un langage rationnel de description qui prend en compte la notion de testabilité Test et testabilité de services Web et compositions : test automatique, de sécurité, etc. Nous nous sommes également penchés sur les problématiques et besoins liés au paradigme du service et à la composition de services vis-à-vis des tests [10, 33, 45, 41, 46, 31, 30, 16, 27, 22, 21, 32]. Notre équipe, a premièrement intégré le projet ANR Webmov (http://webmov.lri. fr/) dont l'objectif principal était de contribuer à la conception, à la composition et la validation de services Web à travers une vue abstraite de haut niveau et d'une vision SOA (Architecture Orientée Services) basée sur une architecture logique. A travers ce projet, nous avons contribué à l'élaboration de plusieurs méthodes de test actives et à un outil de test, appelé WSAT, qui est détaillé et accessible à cette page free.fr Test aléatoire de services à partir de leur signature : nous avons proposé plusieurs méthodes de test aléatoire qui orent l'avantage d'être automatique. Nous avons étudié le test utilisateur de service Web (existence d'opérations de services, gestion correcte des exceptions, existence de session au sein d'un service), Test de robustesse de services sans état (stateless) ou avec états (stateful). Nous avons notamment pris en compte l'environnement extérieur des services Web, à savoir la couche SOAP (protocole SOAP, processeurs SOAP) qui modie les réactions observées d'un service sous test, 7\n10 2.1. THÈMES DE RECHERCHE Test de sécurité de services à états (stateful) : nous avons mis au point une méthode active permettant de tester si un service Web stateful possède des vulnérabilités. A partir de celles décrites par l'organisation OWASP, nous avons modélisé quelques patrons de test pour vérier les propriétés de disponibilité, d'authentication, et d'intégrité. En combinant ces patrons de test avec une spécication initiale, nous obtenons des cas de test qui peuvent être expérimentés sur un service Web déployé. Nous avons implanté un outil partiel permettant de générer ces cas de test et de les exécuter. Nous avons appliqué cette méthode sur une centaine de services à partir d'un nombre de patrons de test restreints et avons détecté que 11% d'entre eux possèdent des vulnérabilités. An de bien cerner les problématiques à tester en boite noire des services et des compositions, nous avons étudié leur faisabilité de test, autrement appelée testabilité. A partir des critères d'observabilité et de contrôlabilité, nous avons montré quelles sont les propriétés qui réduisent la testabilité et donnons les dénitions d'un service Web observable, contrôlable et testable. Nous avons également étudié les compositions de services Web et leur testabilité à travers les deux critères d'observabilité et de contrôlabilité, ceci dans le but de comprendre et d'appréhender les dicultés à modéliser et tester des compositions. Nous avons choisi de modéliser les compositions grâce au langage ABPEL ( Abstract Business Process Execution Language) qui permet de créer des processus abstraits d'orchestration de services. Nous avons eectué une étude préliminaire de composition ABPEL pour déterminer une solution d'estimation du niveau de testabilité. Les problématiques rencontrées sont diérentes de celles des systèmes temporisés. En eet, les services Web et compositions sont souvent déployés dans des environnements spécialisés (environnements SOAP) qui modient de façon substantielle les possibilités de test. L'étude de la testabilité nous a montré les restrictions liées à cet environnement. Les modèles utilisés, pour décrire formellement ces services, sont symboliques an de prendre en compte les notions de paramètres et de réponses typés. Par nature, ce modèle implique un nombre parfois inni de valeurs à tester. Nous avons donc du prendre en compte cette diculté pour restreindre la génération des cas de test Test de systèmes réactifs A la diérence des applications précédentes (services Web, compositions, protocoles), les systèmes réactifs sont des programmes qui réagissent à la vitesse de l'environnement, de façon synchrone et souvent déterministe. A travers une collaboration avec le Labri, nous avons proposé quelques approches de test de robustesse de systèmes réactifs modélisés par des IOLTS (LTS dont l'alphabet sépare les actions d'entrée des actions de sortie) [19, 41]. Une première approche considère des aléas externes, c'est à dire des évènements externes non attendus comme une action d'entrée non spéciée. Une seconde approche complémentaire suppose qu'en cas de réception d'aléas, le système se place en phase dégradée pour laquelle seules les actions vitales sont gardées. Ceci implique qu'un système est modélisé par une spécication nominale S et une spécication dégradée S. Une relation de test rob est dénie sur les IOLTS pour exprimer l'inclusion de comportement entre deux IOLTS. En supposant que l'implantation peut être modélisée par un IOLTS, l'objectif de la méthode est de vérier si son comportement est inclus dans celui de la spécication 8\n11 CHAPITRE 2. ACTIVITÉS ET PROJETS DE RECHERCHE nominale. Une dernière approche prend en considération la relation de conformité ioco pour vérier si l'implantation est robuste. Ceci ore l'avantage de montrer que les cas de test obtenus sont sound et complete. Test de composition de services dans des environnements partiellement ouverts, test passif Nous nous sommes également focalisé sur le test de composants et de compositions dans des environnements dits partiellement ouverts que ce soit pour le test actif ou passif [5, 4]. Les environnements, dans lesquels sont déployés des applications ou des systèmes, sont très souvent considérés comme étant ouverts, c'est à dire que le système à tester est accessible. Cependant, on peut remarquer, dans les tendances informatiques actuelles, que l'accès aux environnements des systèmes ou logiciels peut être restreint. Ces environnements posent plusieurs problématiques. Nous avons commencé à répondre à certaines d'entre elles en présentant deux approches préliminaires sur le test de conformité d'applications dans des environnements partiellement ouverts. La première approche  concerne le test de compositions statiques et a pour objectif de construire les traces (suite de réactions observées) d'une composition pour laquelle les réactions des composants ne peuvent être observés. Dans cette approche, ces traces sont inférées à partir des traces obtenues en testant chaque composant puis en recomposant ces traces partielles à travers la fonction de composition retrouvée dans la spécication de la composition. Ces traces peuvent être ensuite utilisées avec des méthodes de test de conformité. La deuxième approche [7, 23, 9] cible le test de conformité de composition de services Web eectué de façon passive. Habituellement, ce type de test est eectué par des outils dérivés d'un snieur (TCP, XML, etc.). Or, il existe de nombreux environnements pour lesquels il n'est pas possible d'installer de tels outils. Typiquement, les Clouds (couche PaaS) de part leur nature dynamique, en font partis. Nous avons solutionné ce problème en dénissant une méthodologie basée sur la notion de proxy et de testeur canonique. Il en résulte un nouveau modèle, appelé le Proxy-testeur, qui permet de détecter automatiquement si une composition est ioco-conforme à sa spécication. Nous avons prouvé que notre modèle permet toujours de satisfaire la relation ioco. Puis, nous avons expérimenté cette approche à travers un outil sur des compositions de services déployés sur deux Clouds connus Google AppEngine 1 et Microsoft Azure 2. Nos expérimentations ont montré que le Proxy-testeur n'ajoute que très peu de temps de latence vis à vis d'un proxy transparent classique, qu'il peut monté en charge, être déployé sur serveur classique mais aussi sur Clouds. L'outil permettant ces expérimentations est disponible à cette page Cette solution a ensuite été étendue à travers une collaboration avec l'université de Tan Tao au Vietnam . Dans cette approche, nous appliquons cette notion de proxy-testeur à de la runtime vérication (vérication à l'exécution). Cette technique est employée pour vérier la satisabilité de propriétés de type safety (utilisable en test de conformité, de sécurité, etc.). Nous combinons ici le test de conformité ioco et la runtime verication qui peuvent être appliqués dans un environnement partiellement ouvert, type Cloud. Nous 1. https ://appengine.google.com/ 2. http ://www.windowsazure.com 9\n12 2.1. THÈMES DE RECHERCHE donnons dénitions de relations, preuves mais également des expérimentations sur les Clouds précédents Travaux en cours : Sécurité des applications mobiles Ces travaux découlent d'un contrat de type Bourse d'innovation région entre la région bien sûr, l'entreprise Openium spécialisée dans le développement Mobile et le LIMOS. L'objectif principal est d'eectuer des tests de sécurité sur des applications Mobiles an d'y détecter des vulnérabilités portant principalement sur la disponibilité des applications, l'intégrité des données, l'autorisation. Dans une première partie, nous nous sommes penchés sur les mécanismes de composition de composants du système Android, appelé intent [38, 36, 14]. Ce mécanisme, fondé sur une interface de messages inter-composants, peut être exploité an de lancer des composants (Activités, services, etc.) sans autorisation, d'avoir accès à des données privées ou de les modie, etc. Nous avons proposé 2 méthodologies de test semi-automatique qui prennent en entrée une application Mobile et des vulnérabilités. Une des fortes contributions de ces travaux concerne la génération de spécications partielles à partir des chiers de conguration de l'application et de la documentation Android. Ces spécications permettent de fortement réduire les faux-positifs et de réduire le coût du test. Un outil  englobant les 2 méthodes a été implanté en collaboration avec la société Openium et a montré d'excellents résultats (plus de 50 % des 70 applications choisies sur le "Market" de Google et que nous avons testées se sont montrées vulnérables). Cet outil est disponible sur GitHub (https://github.com/statops/apset) Actuellement, nous travaillons sur le test fonctionnel semi-automatique d'applications Mobiles. Dans une première étape, nous parcourons l'application an de produire un modèle partiel formel (voir Section suivante). A partir de ce dernier, nous souhaitons appliquer de l'analyse de modèle type model-checking, et de la génération de test an de détecter, soit que l'application est un malware, soit des failles de sécurité sur une application classique Travaux en cours : Inférence de modèles à partir de traces ou par tests automatiques La plupart des méthodes présentées ci-dessus sont dites basées modèles, c'est à dire qu'elles s'appuient sur une spécication formelle pour générer automatiquement des tests ou des testeurs passifs. Cependant, écrire une telle spécication formelle est souvent une tâche dicile et lourde. Avec certains types de systèmes ou certaines applications, il est possible de déduire des modèles partiels qui peuvent servir à : construire un modèle complet, vérier des propriétés ou générer des tests automatiques (de sécurité, de robustesse, etc. mais pas de conformité). Certains de nos travaux actuels portent sur l'inférence de modèles. Nous proposons actuellement une première approche d'inférence de modèles d'applications Mobiles à partir de tests automatiques. Intuitivement, une application Mobile peut être testée via son interface graphique (GUI) et explorée pour produire un modèle partiel. Notre approche contribue à l'inférence de modèles en apportant les caractéristiques suivantes : le test automatique est eectué en injectant des données dans les GUI rencontrés 10\n13 CHAPITRE 2. ACTIVITÉS ET PROJETS DE RECHERCHE qui sont générées d'une façon plus réaliste. Les modèles dénis sont compacts tout en restant précis. L'un des gros avantage de notre approche concerne le choix de la stratégie d'exploration. Habituellement, cette exploration est guidée par un parcours en profondeur. Nous montrons que cette stratégie est réductrice et proposons un algorithme qui peut être utilisé avec tout type de stratégie. Pour ce faire, nous utilisons la technique de l'optimisation de colonies de fourmis. Nous présentons plusieurs stratégies (orientées crash et sémantique). Nous présentons également un algorithme massivement parallélisable. Nous illustrons cette méthode avec des expérimentations sur une dizaine d'applications Mobiles et nous comparons nos résultats avec les méthodes et outils proposés dans la littérature. Un second travail s'eectue en collaboration avec l'entreprise Michelin à travers une bourse CIFRE. Cette approche a également pour objectif l'inférence de modèles mais la démarche suivie est très diérentes. Nous supposons ici avoir des traces d'exécutions provenant de systèmes industriels ou d'applications. Un moteur d'inférence s'appuyant sur des règles est ici utilisé pour construire plusieurs modèles de façon itérative, qui sont de plus en plus abstraits et réduits. Des tels modèles peuvent servir pour comprendre l'application, pour eectuer du model-checking mais aussi pour eectuer des tests automatiques. Notre approche est principalement basée sur des règles d'inférence qui expriment l'expertise et la connaissance d'un type d'application ou d'une application précise. Lorsque l'application est orientée évennement, nous proposons également un module d'exploration automatique qui est guidé par une stratégie. Mais cette fois, cette stratégie est dénie par des règles d'inférence et est appliquée via le moteur. Un premier prototype est en cours de nalisation et des publications sont en cours d'évaluation Autre Notre équipe a également participé au projet RNRT Platonis (http://www-lor. int-evry.fr/platonis/resume.html), qui avait pour objectif le développement et la mise en place d'une plate-forme de validation et d'expérimentation multi-protocoles et multi-services. Ce projet a notamment donné lieu à une publication qui décrit une architecture de test distribuée permettant le test d'une application WAP . Une collaboration avec le ministère des nances et le laboratoire LRI a donné lieu à une solution de parallélisation d'invocations de Services Web par un ensemble de clients . 2.2 Encadrement et collaborations scientiques Bien que certains de mes travaux relèvent d'une démarche personnelle ou d'un travail avec d'autres membres de mon équipe de recherche, mon activité a été largement ouverte à la fois par la formation de nouveaux chercheurs et par des collaborations avec d'autres équipes et chercheurs conrmés. Je détaille dans cette partie mes activités d'encadrement en section 2.2.1, les projets de recherche dans lesquels j'ai participé en section et les principales collaborations plus informelles et toujours actives aujourd'hui en section\n14 2.2. ENCADREMENT ET COLLABORATIONS SCIENTIFIQUES Encadrement Thèses J'ai co-encadré ou co-encadre les quatre thèses suivantes avec Michel Misson (Prof.), Alain Quilliot (Prof.) et Patrice Laurençot (MdC). Rabhi Issam Septembre janvier 2012, Sujet : Testabilité des services Web, Taux : 70 % Soutenue le 9 janvier 2012, 7 publications. Mekouar Janvier 2009, janvier 2011 Najib Sujet : Etude de la validation de chorégraphies de services Web, Taux : 90% Inscription en 3ème année non renouvelée suite aux manques de résultats. Resondry Novembre 2011, Zamiharisoa Stassia Sujet : Sécurité des transactions et applications sur téléphones mobiles, Thèse dans le cadre d'une Bourse Innovation Région en collaboration avec Openium, Taux : 70 % 5 publications, Durand Janvier 2013, William Sujet : Optimisation et réutilisation des tests pour la validation orientée modèle d'applications et de machines de production, Thèse CIFRE en collaboration avec Michelin, Taux : 100 % Stages de Master Recherche Mars juillet 2014, Analyse et dénition de la corrélation entre les vulnérabilités de sécurité et les patrons de sécurité, étudiant : A. Ahamada, Mars juillet 2008, Etude de la conformité des services Web, étudiant : S. Rihawi, Mars juillet 2007, Validation d'applications Internet basées sur Ajax, étudiant : B. Boussad, Mars Juillet 2004, Localisation d'erreurs dans le test de systèmes temporisés, étudiant : Y. Haydersah Contrats de recherche et coopérations industrielles J'ai participé ou participe aux projets suivants : 12\n15 CHAPITRE 2. ACTIVITÉS ET PROJETS DE RECHERCHE Projet date : , RNRT Platonipérimentation Objectif : Développement d'une plate-forme de validation et d'ex- multi-protocoles et multi-services (WAP sur GPRS et UMTS). Celle-ci a servie également à valider et expérimenter des protocoles et des services liés à la mobilité des terminaux du réseau. En particulier, autour du WAP et UMTS, cette plate-forme permet de vérier que les connexions à tous les niveaux protocolaires se passent correctement et, également, que des entités diérentes peuvent interagir comme prévu, Partenaires : INT Evry, France Telecom R&D, LaBRI, Kaptech, LIMOS, Rôle : participant Projet ANR date : , Webmov Objectifs : L'objectif principal de WebMoV est de contribuer à la conception, à la composition et la validation de services Web à travers une vue abstraite de haut niveau et d'une vision SOA (Architecture Orientée Services) basée sur une architecture logique. Dans ce domaine, les industriels construisent les nouveaux services en composant des modules préexistants. Ces mécanismes de composition sont connus sous le nom d'orchestration, Partenaires : LRI, GET/INT, LaBRI, Unicamp (brésil), SOF- TEAM, Montimage, LIMOS, LRI, Rôle : coordinateur LIMOS Projet date : Bourse d'innovation Thèse Objectif : Sécurité des transactions sur téléphones mobiles. Ce projet a pour but de contribuer à la découverte et à la modélisation des vulnérabilités ou attaques qui peuvent être rencontrées sur des applications pour systèmes mobiles (téléphones, tablettes, etc.) et de dénir des méthodes de test de sécurité an de détecter ces vulnérabilités, les verrous technologiques se trouvant essentiellement centrés dans la partie exécution des tests et architecture de test. Les méthodes de test pourront être actives (exécution de tests) ou passives (monitoring), la combinaison des deux types offrant souvent de bon résultats. Celles-ci doivent s'appuyer sur les critères génériques de sécurité, à savoir la disponibilité, l'authenti- cation, l'autorisation, ou l'intégrité, Partenaires : LIMOS, société Openium, conseil régional, Rôle : coordinateur du projet. Projet TIMS date : 2007 Projet dans le cadre de la fédération TIMS (Technologie de l'information de la Mobilité et de la Sureté), Objectif : Evaluation de la robustesse des réseaux de capteurs sans l dédiés aux applications industrielles, Rôle : Coordinateur du projet Principales collaborations informelles En dehors du cadre formel des équipes et des projets de recherche, je collabore actuellement avec diverses personnes et institutions, en particulier : 13\n16 2.3. DIFFUSION DE LA RECHERCHE avec le département Department of Computer Science (School of Engineering, Tan Tao University, Vietnam) et notamment Tien-Dung Cao sur le test de compositions de services Web sur Clouds. Nous avons co-signé plusieurs papiers et souhaitons enrichir notre partenariat à travers des échanges d'étudiants et le montage de projets (bourses franco vietnamiennes entre autre), avec les entreprises Almerys (Clermont Ferrand) et Montimage (Paris) sur le sujet de la sécurité et le test d'applications et de données sur Clouds. Avec Montimage, nous avons notamment échangé lors du projet Webmov. Avec ces 2 entreprises, nous avons déposé plusieurs projets (1 ANR et 1 européen) jusque là malheureux, avec la société Openium avec laquelle nous avons commencé à échanger lors de la Bourse Innovation région. Nous sommes actuellement entrain de mettre en place une plateforme de test automatique d'applications Mobiles à travers du test actif et passif en eectuant de la déduction de modèles. Dans le court terme, le montage d'une bourse CIFRE est prévu, avec Antoine Rollet du Laboratoire Labri à Bordeaux sur le sujet du test de logiciel (test de services Web, test de robustesse de systèmes réactifs). Nous avons co-signé plusieurs papiers et dans le court terme souhaiterions co-encadrer une thèse ensemble. 2.3 Diusion de la recherche Publications Je suis actuellement Auteur ou co-auteur de plus de 50 publications sans compter les rapports de recherche et délivrables. Celles-ci sont données en Chapitre Mes publications peuvent se répertorier de la façon suivante : 11 publications dans des revues nationales et internationales, 2 chapitres de livres, 1 communication invitée dans une conférence internationale, 30 communications internationales dans des conférences (avec comité de lecture), 5 communications internationales dans des conférences (avec comité de lecture), 2 thèses. Parmi ceux-ci, j'ai eu récemment deux articles primés : . Sébastien Salva and Tien-Dung Cao. A model-based testing approach combining passive conformance testing and runtime verication : Application to web service compositions deployed in Clouds. Selected papers from the 11th International Conference on Software Engineering Research, Management and Applications, SERA 2013, Prague, Czech Republic, August 7-9, 2013, volume 496 of Studies in Computational Intelligence, pages Springer, . Sébastien Salva. Automatic test purpose generation for web services. Selected Papers from the 2011 International Conference on Electric and Electronics (EEIC 2011) China, volume 99 of Lecture Notes in Electrical Engineering, pages Springer Berlin Heidelberg,\n17 CHAPITRE 2. ACTIVITÉS ET PROJETS DE RECHERCHE Rayonnement scientique Expertise et vie du laboratoire Expert ANR sur n de projets INS 2011, Membre du conseil de laboratoire depuis 2012, Membre de la commission de spécialiste 27ème Section, Université d'auvergne de 2004 à 2008 et 2011, école Polytech Clermont 2012 Vie scientique Titulaire d'une prime d'excellence scientique (PES) depuis Octobre 2013, Organisateur des journées du groupe de travail MTVV (GDR GPL), octobre 2011, Rennes, Participation aux GDR RGE (Réseau Grand Est, action transversale géographique du GDR ASR), StrQds (Système Temps Réel et Qualité de Service), MTVV (méthodes de test pour la validation et la vérication), Participation à des comités de rédaction de journaux, Journal International Journal On Advances in Internet Technology (IJAIT), depuis 2012, International Journal of Computing and Information Sciences (IJCIS), depuis Participation à des comités de programme de conférence International Conference on Internet and Web Applications and Services (ICIW), , International Conference on Communication Theory, Reliability, and Quality of Service (CTRQ), 2010, , International Conference on Software Engineering Advances (ICSEA), , (publicy chair depuis 2014), Workshop Sensor Networks, Theory and Applications for Environmental Issues S(eNTApE), Participation à des comités de lecture parmi Journal Software and Systems Modeling (SOSYM) Elsevier, 2011, Journal Computer Network IEEE, 2014, Journal Ingénierie des Systèmes d'information Lavoisier, 2013, 3rd International Conference on Engineering and Meta-Engineering (ICEME), 2012, IEEE International Conference on Web Services (ICWS), 2011, IEEE 15th International Conference on Automation, Quality and Testing, Robotics (AQTR), 2010, 7th International Conference on Principles of Distributed Systems (OPODIS), 2003, ACIS Software Engineering, Articial Intelligence, Networking and Parallel/Distributed Computing (SNPD), 2002,\n18 2.4. PROJET DE RECHERCHE 2.4 Projet de recherche L'objectif de mon travail est d'apporter des solutions de abilisation d'applications ou de systèmes et qu'elles soient le plus automatisable possible an que des ingénieurs et développeurs puissent concevoir des applications ables, robustes et sécurisées tout en limitant l'impact sur le coût du cycle de vie. Les techniques de test automatiques ou basées modèles que j'ai proposé dans mes travaux de recherche contribuent en ce sens. Mais premièrement, elles s'appliquent à des types d'applications ou systèmes spéciques seulement. De plus, une grande majorité des méthodes proposées suppose qu'une spécication formelle existe et peut être utilisée pour produire des suites de test. Malgré la vague d'engouement pour le test par les entreprises depuis ces 5 dernières année, l'écriture de telles spécications est toujours vue comme une tache très ardue et longue qui freine les entreprises à employer des méthodes de test basées modèle. Mon projet de recherche vise à rendre les méthodologies et outils de test meilleurs mais à aussi prendre en compte les limitations et besoins exposés par les industriels. Dans la suite, j'expose les grandes axes de mon projet de recherche à court et moyen terme. Enn, je discute de mon intégration dans l'équipe en Section?? Axes du projet de recherche Mon projet de recherche et ses grands axes sont résumés synthétiquement en Figure 2.1. D'une part, je souhaite poursuivre mes travaux sur le test basé modèle pour lequel on suppose qu'une spécication formelle est donnée. Dans ce contexte, de nombreux points restent à étudier sur le court et long terme que ce soit pour le test de conformité ou pour la sécurité. Par exemple, pour des spécications symboliques, la dénition de la couverture des domaines de données est un challenge complexe à aborder. D'autre part, je souhaite poursuivre mes travaux sur le test automatique que ce soit pour la sécurité ou la robustesse. Ce type de technique ore un vif engouement car elle permet de réduire le coût et l'expertise nécessaire à la phase de test. Elles tendent également à favoriser le premier pas vers une collaboration avec un industriel. Enn, la sécurité des applications et des données personnelles est un axe que je souhaite approfondir pour contribuer à des travaux ciblants la détection de failles de sécurité et la détection de perte de données condentielles. Une originalité non négligeable à mon projet de recherche est illustrée par l'axe supplémentaire qui concerne l'inférence de modèles et qui touche tous les autres axes. Ce domaine de recherche que j'ai récemment entamé ouvre à de nombreuses perspectives qui tendent à rapprocher les 3 axes précédents. L'inférence de modèles permet d'obtenir des modèles, qui une fois analysés, peuvent guider le test automatique de façon plus intelligente en réduisant les coûts et les faux positifs. Concernant la sécurité, des schéma d'attaques sont généralement dénis à diérents niveaux d'abstraction (polices de sécurité, traces d'exécution, etc.) et ces schémas sont souvent diciles à vérier sur des traces d'exécution. Une direction de recherche intéressante serait de générer des modèles à partir de traces, qui peuvent représenter des comportements fonctionnels d'applications, à diérents niveaux d'abstraction également. De tels modèles pourraient faciliter l'écriture de propriétés (par exemple des schémas d'attaques) et la vérication de leur satisabilité. Une autre direction de recherche concerne l'utilisation de ces modèles avec des spéci- 16\n19 CHAPITRE 2. ACTIVITÉS ET PROJETS DE RECHERCHE cations formelles écrites par des experts. Autrement dit, l'inférence de modèles peut-elle jouer un rôle dans le test basé modèle ou dans la vérication de systèmes? Au delà des aspects théoriques, ces axes permettent également une application directe de certains résultats sur des applications industrielles. Ainsi, mon projet s'implique explicitement dans la notion de rapprochement laboratoire - entreprises. Quelques directions de recherche sont présentées par la suite : Figure 2.1 Axes principaux du projet de recherche Préservation de données personnelles par la conception et le test (court terme) De plus en plus, les applications actuelles manipulent certaines de nos données personnelles et les diusent sur diérents réseaux et serveurs. Prises une à une, ces données peuvent paraitre anodines et non condentielles. Mais rassemblées, elles peuvent permettre notre identication de façon précise. Par exemple, une séquence d'actions, combinée à un nom de Réseau Wi, ou un ensemble de cookies provenant de diérents site, peuvent créer une signature temporaire ou non qui nous identie. Le problématique est que ce type d'identication est faite à l'insu des utilisateurs et parfois même des développeurs. L'objectif ici est de se pencher sur la détection de cette diusion d'information et de l'empêcher par diérents moyens. Nous souhaitons commencer cette prévention dès la phase de développement par l'utilisation de patrons de conception de sécurité. Puis, nous souhaitons proposer une méthodologie de test active/ passive permettant de vérier la protection de l'identité pour les utilisateurs. An de justier les possibilités voire les limites de notre approches, la notion de couverture et de certication devrait être étudiée. Ce travail est commencé dans le cadre d'un stage de Master ou pour l'instant nous commençons à étudier les relations entre les patrons de conceptions de sécurité et la notion de vulnérabilités. Plus précisément, nous cherchons à dénir pour un patron donné, 17\n20 2.4. PROJET DE RECHERCHE quelles vulnérabilités sont implicitement supprimées. Ce travail crée implicitement une collaboration entre Cédric Bouhours et moi même et est prévu dans le cadre d'une bourse de thèse. Inférence de modèles sur systèmes industriels (court terme à moyen terme) Nous travaillons actuellement avec Michelin sur l'inférence de modèles de systèmes industriels an de faciliter le diagnostique de dysfonctionnements sur la chaine de production. Pour l'instant, notre solution est utilisable sur un seul niveau de l'architecture CIM (Computer Integrated Manufacturing) alors que l'architecture Michelin en compte 3. De plus, seuls des événements synchrones sont considérés. Nous souhaitons par la suite prendre en compte des événements asynchrones et temporels dans la génération de modèles. Ceci implique de nouvelles problématiques sur la validité des règles d'inférence et sur le déterminisme de la génération. De façon intuitive, nous devons au moins dénir et prouver que deux règles ne peuvent s'appliquer en même temps sur les mêmes faits (traces, transitions, actions, etc.) et doivent toujours produire les mêmes faits. Ces notions pourront être étudiées en partant sur les notions de modus ponens et Clause de Horn. Parallèlement à cette phase, nous souhaitons également nous pencher sur une phase de génération de suites de test permettant d'eectuer du test de non-régression. En eet, lors de l'implantation d'une nouvelle chaine industrielle, la phase de simulation et de validation prends un temps très important et demande un coût non négligeable. Des tests de non-regression obtenus à partir d'une autre chaã R ne de production en cours de fonctionnement permettront de réduire ce coût. Des cas de tests pourraient être choisis sur des modèles ayant le plus haut niveau d'abstraction et être automatiquement générés. Plateforme de test semi-automatique d'applications Mobiles dans diérents environnements (court terme 2-3 ans) Ce projet de court terme, qui s'eectue en collaboration avec la société Openium, concerne l'élaboration d'une plateforme de test semi-automatique d'applications Mobiles pour systèmes Android et Ios. Cette plateforme doit prendre en entrée, de façon simple, des applications compilées et non compilées et des données utilisateur pour parcourir l'application de façon automatique an de détecter des failles de sécurité. Celles-ci pourront être données par des schémas d'attaques mais certaines d'entre elles connues (injections sql, brute force, etc.) seront également implicitement testées. De plus, la notion d'environnement d'application devra être prise en compte par cette plateforme. Ainsi, le système d'exploitation pourra être "normal", sécurisé (par des VPNs par exemple, comme on le trouve dans certaines entreprises). Mais nous avons également l'intention de proposer des environnements modiés par des sondes et des environnements malicieux. Ces environnements auront pour but de renforcer la couverture de test et permettrons de vérier qu'une application ne fournit pas de données condentielles. Dans ce contexte, nous avons pour l'instant élaboré le parcours de l'application par test automatique. Cette notion d'environnement modié reste à étudier. 18


Nerwen : Tous les messages sur Nerwen - Page 9 - Kaléïdo'Blog\nKal’manach d’hiver : Semaine du 24 au 30 décembre 2012\nLe dicton du jour : « Au même clou, point tu ne dois pendre tout. » Le prénom de la semaine : NOEL Prénom d’origine latine qui est une déformation du mot natalis signifiant la naissance (sous-entendu " du Christ "). C’est l’évolution phonétique entre le 9ème et le 12ème siècle qui a transformé natalis en noël pour désigner le jour de la Nativité. Ce mot a été adopté comme prénom peu après et on le relève en plusieurs régions de France aux 13ème et 14ème siècles. Il était souvent attribué aux enfants nés le... [Lire la suite]\nPosté par Nerwen 33 à 12:42 - Commentaires  - Permalien [#]\nKal’manach d’automne : Semaine du 17 au 23 décembre 2012\nLe dicton du jour : « La véritable amitié ne gèle pas en hiver. » Le prénom de la semaine : ARMAND Prénom d’origine germanique formé à partir de hart qui signifie fort, et mann, l'homme.C’est sous sa forme allemande, Herman ou Hermann, qu’il s’est répandu. Armand restant réservé aux pays latins : France, Italie, Espagne. En France, à partir du 15èmesiècle, il a été considéré comme un prénom de l'aristocratie. Au 17ème siècle, il a été illustré par le plus grand homme politique du siècle, le cardinal... [Lire la suite]\nPosté par Nerwen 33 à 11:05 - Commentaires  - Permalien [#]\nKal’manach d’automne : Semaine du 10 au 16 décembre 2012\nLe dicton du jour : « Folle est la brebis qui se confie au loup. » Le prénom de la semaine : DANIEL Prénom d’origine hébraïque qui signifie " Dieu juge ".Daniel est, dans la version chrétienne de la Bible, le dernier des grands prophètes de l'Ancien Testament. Sur ordre des conseillers du roi Darius il fut jeté par deux fois dans la fosse aux lions. Epargné par les félins, il en ressortit indemne. Cette histoire a d'ailleurs été reprise par de grands peintres comme Delacroix et Rubens. Daniel est toujours un... [Lire la suite]\nPosté par Nerwen 33 à 10:19 - Commentaires  - Permalien [#]\nKal’manach d’automne : Semaine du 3 au 9 décembre 2012\nLe dicton du jour : « C’est ouvrir une digue que de commencer une querelle. » Le prénom de la semaine : BARBARA Prénom dérivé de BARBE, d’origine grecque barbaros signifiant « étranger », nom sous lequel les Grecs désignaient les Latins. Quand les Romains l'employèrent, ce fut pour désigner tous les peuples... sauf eux-mêmes et les Grecs ! Plus tard, au temps des grandes invasions, ce mot se chargea d'une notion de cruauté, la barbarie. Selon une légende populaire, la sainte honorée le 4 décembre... [Lire la suite]\nPosté par Nerwen 33 à 11:38 - Commentaires  - Permalien [#]\nKal’manach d’automne : Semaine du 26 novembre au 2 décembre 2012\nLe dicton du jour : « Ne coupe pas les ficelles quand tu pourrais défaire les nœuds. » Le prénom de la semaine : ELOI Prénom d’origine latine qui vient du mot electus qui signifie « choisi », « élu » Eloi, fêté le 1er décembre, est né à Limoges en 588. Il manifeste très tôt un goût extraordinaire pour le dessin et l'orfèvrerie qu'il va maîtriser comme personne. Informé, le roi Clotaire II lui passe commande d'un trône d'or enrichi de pierreries et reste émerveillé par son travail.... [Lire la suite]\nPosté par Nerwen 33 à 09:58 - Commentaires  - Permalien [#]


Habitat du Gard - Denis BOUAD dénonce le hold up annoncé de l'Etat\nDenis BOUAD dénonce le hold up annoncé de l’Etat\n(JPG - 25.4 ko)\n« Le Gouvernement s’apprête à prendre 340 millions d’euros aux Offices HLM en France. Rien que pour Habitat du Gard, cela représente 1 million d’euros qui vont être pris à travers une taxe de 2% sur les loyers de nos locataires. Je refuse que les plus démunis des démunis soient encore fragilisés » dénonce Denis BOUAD, Président d’Habitat du Gard. Voir l’interview de Denis BOUAD\nIl y a dans le Département des milliers de familles qui attendent un logement, nos locataires sont dans des situations fragiles ou difficiles et voilà que le Gouvernement au lieu de nous aider, diminue les aides et vient encore nous prendre 1 million d’euros chaque année. C’est un véritable hold-up ! »\n« Cela va remettre en cause un grand nombre de nos projets de construction ou de réhabilitation, et même notre PSP, qui est le plan stratégique d’entretien de notre patrimoine est menacé… 1/3 de nos projets vont probablement devoir être abandonnés. C’est une très mauvaise nouvelle pour les familles qui ont besoin d’un logement mais également pour les entreprises du bâtiment qui travaillent pour nous. »


Contactez-nous pour Lampe torche COB avec aimant Worker\nTorche 8 LED Trug. Torche 8 LED avec un corps en aluminium et tête en forme de boulon. Bouton-poussoir marche/arrêt sur le fond. Dragonne en nylon...\nLanterne de camping Happy. Lanterne de camping légère et compacte avec 5 lampes LED blanches. Bouton On/off qui vous permet de passer du mode...\nLampe double COB et LED Libra. Combiné lampe avec éclairage COB ultra lumineux sur un panneau de couleur détachable et 2 LED blanches dans le bas....\nMini lanterne torche Usurp. Lampe clignotante compacte qui peut être utilisée comme une lanterne ou comme une torche. Elle comprend un mousqueton...\nMini lampe de poche avec LED Mini-grip. Cette mini lampe de poche aux dimensions parfaites dispose d'un mini tube recouvert de plastique et de...\nLumière USB Lumo. Lampe USB pliable ovale. TPU et plastique ABS.\nLampe torche télescopique...\nLampe torche télescopique avec lampe torche COB Scope. Lampe de poche avec collecteur télescopique et lumière COB latérale. Aimants avec anneau en...\nOutil de ramassage avec...\nOutil de ramassage avec lampe torche Magnetica. Outil avec antenne télescopique magnétique et lampe pour trouver de petits objets/pièces...\nTournevis 8-en-1 avec torche Spidey. Outil parfait pour être gardé dans la maison, il est doté d'une lumière LED, de 3 têtes cruciformes, de 3...\nTorche LED multifonction de...\nTorche LED multifonction de secours pour voiture Tron. Éclaire jusqu'à 200 m. Comprend un brise-vitre, un coupe-ceinture de sécurité et un aimant...\nLampe torche LED Luke. Lampe de poche clignotante avec 4 modes on/off. Lumière LED blanche sur le devant. La partie supérieure donne une lumière...\nLanterne avec lumière COB...\nLanterne avec lumière COB Cobalt. Lanterne outdoor durable, étanche, disposant de la technologie COB qui fournit un éclairage très intense. Mise en...


Contrôles d'identité : Manuel Valls veut en finir avec le tutoiement\n25/06/2012, 17 h 01\nManuel Valls : "En tant que chefs de service, vous devrez veiller à proscrire les contrôles abusivement répétés ou réalisés sans discernement."\n(AFP / PHILIPPE DESMAZES) Le ministre de l'Intérieur veux bannir toute forme de familiarité et de tutoiement qui dégradent la relation entre les forces de l'ordre et les citoyens.\nLe ministre de l'Intérieur Manuel Valls a appelé lundi les policiers à bannir "le tutoiement" et les contrôles d'identité "abusivement répétés ou réalisés sans discernement" susceptibles d'"alimenter le ressentiment". "En tant que chefs de service, vous devrez veiller à proscrire les contrôles abusivement répétés ou réalisés sans discernement", a-t-il dit. "Il y a des comportements antisociaux à réguler ou à combattre mais seule la minorité des jeunes de nos quartiers qui en est responsable, doit en répondre."\nPour que "le rapport avec la population se fasse dans les meilleures conditions", a estimé le ministre, "je veux bannir toute forme de familiarité et de tutoiement qui dégradent la relation entre les forces de l'ordre et les citoyens. Quand cela existe, ça doit être sanctionné".\nLe 1er juin sur RMC et BFMTV le Premier ministre Jean-Marc Ayrault avait annoncé sa volonté que soit remis un reçu aux personnes contrôlées, rappelant qu'il s'agit d'un "engagement" de campagne du président François Hollande. "Je ne veux pas imposer un dispositif qui, très vite, tournerait au ridicule et serait inopérant", a toutefois tempéré auprès de journalistes Manuel Valls sans jamais prononcer les mots de "reçu" ou de "récépissé".\nExpliquant qu'il examinerait "toutes les propositions", Manuel Valls a ajouté : "Je ne vois pas, à ce stade, comment ça marche". "Si les policiers remettent un récépissé, il faut bien qu'ils en gardent une trace", souligne-t-on au ministère de l'Intérieur. Or pour "la Cnil, il est hors de question de constituer un fichier", a noté Manuel Valls qui attend un "rapport" du Défenseur des Droits.\nDevant les policiers, Manuel Valls a assuré qu'il s'emploierait à "préserver (ndlr: les contrôles d'identité) en tant que moyens d'intervention au service d'une action policière légitime de lutte contre la délinquance".\nD'autres outils que les reçus sont à l'étude pour éviter tout contrôle abusif, comme la remise d'un simple coupon du type "carte de visite" (qui à la différence d'un récépissé ne nécessite pas la création d'une base de données), ou la réapparition sur les vêtements des forces de l'ordre d'un matricule visible. Ce matricule avait disparu en 1985.\nFaut-il bannir le tutoiement lors des contrôles ?\nNombre de votants: 4870\nle 27/06/2012, 12h34\nhexagone 34 je suis entièrement d'accord avec vous. qui va interdire à ces délinquants de tutoyer les policiers ou de les insulter ? ah bon ? ils ont le droit d'insulter ? n'est ce pas pire que le tutoiement ? qui fait partie aussi de la stratégie dans les interrogatoires. mais çà, ces messieurs en col blanc ne sont pas sur le terrain, continuons comme çà, les délinquants font risette !\nRépondre à jshakat\nle 26/06/2012, 11h24\nje trouve ca tout a fait normal !!! on n'a pas gardé les cochones ensemble!!!\nle 26/06/2012, 09h46\nCe genre de réforme me donne envie de hurler...moi je travaille dans une administration et c'est quotidiennement que le public à qui j'ai affaire me tutoie qui va les en empêcher eux !!!! Mais là on va me dire c'est leur manière de parler le vouvoiement n'existe pas. Encore une fois on cible les policiers...\nY'en a vraiment marre !!! censuré moi faites se que vous voulez !!!\nMais à la fois à quoi fallait-il s'attendre avec la politique de gauche !!!!\nle 26/06/2012, 13h20\nle 26/06/2012, 12h53\nLorsque l'on vous tutoie, restez fermée à tte demande et expliquez que le vouvoiement est la meilleure démarche pour obtenir un service public de qualité. Se faire respecter demande qqs efforts et du courage. Et si votre chef vous impose de travailler dans ces conditions "familières", c'est du harcèlement!!! Mais face aux tyrans, n'y a-t-il pas que des faibles???\n30 ans de fonction publique dont 10 ans à la Paillade, et jamais emmerdé par les utilisateurs du service public. Mais, j'ai eu la hiérarchie la plus médiocre du territoire, et là, c'est une autre histoire!!!\nle 26/06/2012, 10h30\nle 26/06/2012, 09h35\nQuel sujet ... Quand j'étais plus jeune et que nous étions contrôlés , on en faisait pas un caca nerveux et c'était courant en ville\nIls faisaient leur boulot et on se pliés à leur demande et quand on a rien à se reprocher , que dire de plus\nAvec la police de proximité, on discutait facilement et il n'y avait jamais de tensions entre eux et les jeunes que nous étions Et en été, surtout pendant le festival d'Avignon, on était toujours sereins et à leur approche, ça nous arrivé de plaisanter avec eux\nle 26/06/2012, 17h18\nEt oui, la police de proximité connait en général les personnes qui vivent sur le territoire dont elle a la charge. Il ne vous aura pas échappé que Monsieur Sarkozy a supprimé cette police de proximité et a copieusement dévalorisé (devant les caméra) celui qui en était à l'initiative.\nle 26/06/2012, 09h27\nUne carte de visite.........la on touche le fond ;-) par contre le matricule ça je dit pas encore que normalement un policier doit vous le donner sur simple demande ils en profitent un peux avec cette fameuse phrase "on est pas en amérique" qui passe tout le temps alors que c'est un droit, bref au moins il y aura plus de repect de la part de certaines juenes recrue qui se la pete.\nle 26/06/2012, 09h08\nà titre informatif le controle d'identité ne doit etre exécuté qu'en cas de délit ou tentative de délit...on s'apercoit donc aujourd'hui que 90% des controles d'identité sont des abus de pouvoir caractérisés sur le fond...et avec tutoiement pour la forme !!!!!!\nsi la police veut etre respectée qu'elle commence déjà par etre respectable !\nle 27/06/2012, 09h37\nA titre informatif, ouvrez le code pénal, article 78-2, et relisez bien tous les alinéas du controle d'identité, et ensuite vous reviendrez donner des lecons... Le controle d'identité est reglementé mais qu'en j'entend "qu'en cas de délit ou tentative de délit" je me marre. Quand on ne sait pas de quoi on parle, pour pas passer pour un peintre, il vaut mieux ne rien dire !!\nle 26/06/2012, 08h35\nEn lisant les coms j'ai souvent l'impression que beaucoup appellent de leurs voeux une dictature !!!!\nle 26/06/2012, 17h27\na@sebastien : Relisez les miens..........vous verrez que je ne confonds pas le respect et le civisme avec de la dictature. N'empêche, le civisme s'apprend et le respect demande de la réciprocité\nle 26/06/2012, 11h01\nRelisez à deux fois et vous verrez que la majorité n'est pas laxiste, le respect le civisme ne trouvez-vous pas que c'est un minimum .\nMais je comprends que cette réforme puisse changer votre vie...\nle 26/06/2012, 10h56\nDemander plus de sécurité et de sûreté ne signifie pas pour autant souhaiter la dictature. Au contraire c'est la garantie d'une bonne démocratie. La police française est une police républicaine parfaitement encadrée et certainement la plus contrôlée des administrations de ce pays.\nEt d'ailleurs si de toutes parts à travers le vaste monde des milliers de gens affluent chaque année vers notre pays, la plupart du temps illégalement, c'est qu'ils ne craignent pas d'y être persécuté par la police. Bien au contraire!!! Et d'ailleurs d'expérience je sais que ceux qui sont si exigeants, critiques ou revendicatifs envers les policiers sont bien souvent ceux-là mêmes qui les insultent, les agressent et transgressent la loi. Et bien souvent aussi ils sont issus de familles immigrées venant de pays où ce genre de débat n'est même pas envisageable... Ce n'est pas étonnant si beaucoup de Français qui vont pour la 1ère fois aux USA ont quelques problèmes à se plier aux usages des policiers américains, notamment lors de contrôles d'identité. Eux qui exigent tant des policiers français, sont tout étonnés de se retrouver plaqués contre un véhicule et sommés de ne pas bouger. Et la case prison n'est pas loi pour qui osera protester! Tout ça pour dire que si les voyages forment la jeunesse, ils peuvent aussi aider certains à apprécier notre démocratie et ses institutions républicaines!\nle 26/06/2012, 08h57\nPas une dictature, juste un minimum de civilité et les valeurs et le respect d'autrui qui foutent le camp à vitesse grand V\nle 26/06/2012, 08h34\nça c'est de la réforme ! et celui qui me tutoie dans la rue je fais quoi? tout ça pour ne pas parler des vrais pbs ah !ils sont forts ces socialistes pour ne jamais affronter les sujets qui fâchent!\nd+ en + ridicules leurs réformettes et pdt ce tps Bruxelles nous met en coupe réglée ...elle est pas belle la France?\nle 26/06/2012, 08h12\nEt qui tutoye facilement ?\nle 26/06/2012, 08h05\nQuel grand sujet important et qui fera avancer les affaires de notre pays !!!!\nle 26/06/2012, 08h04\nje crois que ce gouvernement ne sait pas ou sont les priorités, on aimerais déjà pouvoir vivre décemment de notre travail et dans de bonnes conditions ou en avoir un! Après tu pourras me tutoyer si tu veux.\nPS: Moi je ne tutoie qu'après l'amour!\nle 26/06/2012, 07h40\nLa République est malade, et Manuel Valls ne fait qu'appliquer une des nombreuses prescriptions du criminologue Alain BAUER.\nIl est temps que les politiques arrêtent de jouer les alchimistes avec un mauvais mélange des droits de l'homme et utopie humaniste...\nLa force Publique doit être respecté, et les voyous sanctionnés par une justice rigoriste qui n'incitera plus à la récidive... (là c'est pas gagné...)\nC'est ça la république!\nle 26/06/2012, 08h08\nLes forces de l'ordre doivent être respectées et elles ont le devoir de se conduire de manière exemplaire. Et ça c'est pas gagné non plus. Vous faites erreur lorsque vous pensez qu'un "justice rigoriste n'incite pas à la récidive". Si elle est rigoriste, elle fait plier dans un premier temps mais surtout elle nourrit des rancoeurs et des mécontentements. Il faut que la population retrouve la confiance dans sa police et pour cela il faut que la police arrête de "faire du chiffre". Cela ne veut pas dire être laxiste mais être juste. Un exemple qui concerne tout le monde. Un agent vous fait signe de passer alors que le feux est rouge. Vous obtenpérez et..... vous êtes flaché et verbalisé\nle 26/06/2012, 06h49\nEt si le sondage comportait un deuxième volet : Faut-il punir les (jeunes) gens qui tutoient les policiers lors des contrôles , ou ceux qui tutoient les guichetiers des divers services administratifs comme la CAF , la Sécu ou la poste , par exemple ?\nle 26/06/2012, 01h24\nTutoyer une personne que vous ne connaissez pas est insultant.\nQui aimerait se faire tutoyer par le premier venu, y compris par un représentant des forces de l'ordre ?


Comment convertir un BlackBerry Storm d'Alltel / Gowithboh.com .\nComment convertir un BlackBerry Storm d'Alltel\nEn 2009, Verizon Wireless a achevé une fusion avec Alltel Wireless et a pris le contrôle des opérations de la société. Anciens clients Alltel font désormais partie du réseau de Verizon Wireless. Étant donné que Verizon a déjà offert le BlackBerry Storm à ses utilisateurs, toute personne souhaitant utiliser l'appareil sur Verizon simplement doit insérer une carte SIM de Verizon Wireless. Vous n'avez pas besoin déverrouiller l'appareil, parce que la tempête est offert exclusivement par le biais de Verizon.\n• Localiser le magasin Verizon Wireless local dans votre région. Aller au localisateur de magasin Verizon à VerizonWireless.com, saisissez votre code postal, puis appuyez sur « Find magasins. »\n• Notez l'adresse et l'emplacement du magasin le plus proche de vous. Appeler le magasin local pour en savoir davantage sur l'activation de la tempête. Vous aurez besoin de l'appareil et les fonds nécessaires pour payer le compte de frais d'activation. Apporter d'autre matériel d'identification, telles que votre ID d'État et plusieurs factures pour prouver que l'adresse du compte est en fait le vôtre.\n• S'assurer que l'appareil est complètement chargé avant de visiter l'emplacement. Branchez l'adaptateur sur le téléphone, si l'appareil n'est pas complètement chargée.\n• Prendre la tempête jusqu'à votre emplacement local de Verizon pour activer l'appareil. Soyez prêt à donner les agents votre nom complet, adresse domiciliaire et vos informations de facturation. L'agent vous remettra une liste des options prépayées ou de contrat mensuel. Sélectionnez l'option qui mieux s'adapte à votre budget et désiré de fonctionnalités.\nComment utiliser le Blackberry Storm 2 écran\nComment convertir un BlackBerry. BBB pour Nokia N95\nComment mettre le BlackBerry Storm clavier sur un iPhone\nComment synchroniser votre BlackBerry Storm\nTypes d'aimants de haut-parleur\nComment faire un filtre de lentille de caméra\nComment pour sélectionner la meilleure cellule téléphone et taux Plan\nComment faire pour supprimer le véhicule AC Port couvre\nComment débloquer un téléphone cellulaire de Boost Mobile Motorola i335\n1986 Porsche Turbo Carrera spécifications\nComment comparer les fourgonnettes\nEffets de sol existants


Le nombre de victimes de l’attentat d’Istanbul a atteint 41 personnes – MIRASTNEWS\nUn nouveau bilan officiel fait état de 41 morts et 239 blessés suite au triple attentat mardi soir à l’aéroport international d’Istanbul-Atatürk, dont 13 ressortissants étrangers.\nTrois kamikazes se sont fait exploser à l’entrée de l’aéroport après avoir ouvert le feu dans le hall des départs, tuant au moins 41 personnes et en blessant près de 239 autres, annoncent les autorités turques dans un nouveau bilan officiel.\nD’après les medias turcs, parmi les ressortissants étrangers on compte cinq ressortissants de l’Arabie saoudite, deux Irakiens, des citoyens de l’Ouzbékistan, des Ukrainiens, des Iraniens, des Jordaniens, des Coréens et des Tunisiens.\nLes premiers indices impliquent l’organisation djihadiste Etat islamique (EI), a déclaré tard dans la nuit le premier ministre turc, Binali Yildirim.\nL’attaque a débuté vers 21h50 (18h50 GMT). Les trois kamikazes sont arrivés en taxi à l’aéroport. « Les premiers indices montrent que chacun des trois kamikazes s’est fait exploser après avoir ouvert le feu », a précisé M. Yildirim.\nLes policiers en faction à l’entrée de l’aéroport ont tiré sur les assaillants juste avant qu’ils atteignent les contrôles de sécurité du terminal des arrivées et ceux-ci ont riposté et actionné leurs charges explosives, a dit un des responsables.\nL’attentat comporte des similitudes avec les attaques du 22 mars à Bruxelles, où 16 personnes ont été tuées à l’aéroport de Zaventem dans des explosions déclenchées par des kamikazes de l’EI. Seize autres personnes ont été tuées dans un attentat-suicide à la station de métro Maelbeek, dans le centre de Bruxelles.\nA l’issue d’une réunion de crise, le président Recep Tayyip Erdogan a vivement condamné dans un communiqué cet attentat qui visait selon lui à « déstabiliser la Turquie en faisant couler le sang des innocents ».


Télé 80 Cm. meuble tv hauteur 80 cm conforama 20170613182021. t l vision lg 80 cm wallapop. location t l vision lg 80 cm. t l viseur led 32 80 cm samsung ue32h5373 full hd smart tv noir sur le site internet. toshiba 32e2533dg tv led hd 80cm 32 t l viseur led avis et prix pas cher cdiscount. tele 80 cm tele 80 cm pas cher t l viseur led 80 cm grandin ld32vgb279s vente de t l vision. que vaut la marque grandin electroguide. t l 80 cm annonce image son saint barth lemy. television 80cm. ecran plat lg 80 cm meuble bas noir avec 2 tiroirs rouen 76000. [Agence-vacarme.com].\nHome » Decors à la Maison » Design d'Intérieur » Conception Extérieure » Télé 80 Cm\nTélé 80 Cm Personnes aujourd'hui souvent ensemble une grande quantité de Effort à l'intérieur redécorer la maison depuis vous choisissez pour exister dans un beau maison et chaleureuse. En cas de vous commencer à obtenir ennuyé raide avec le décoration, vous Peut le faire propre en plus de intéressant commencer par faire très peu changements. Il est crucial pour vous Se sentir bien avec restauré avec votre maison. Le decorations toujours pas devrait être prix élevé pour la raison pour laquelle un nombre de abordable Décoration stratégies peut faire votre maison votre place recherche belle.\nUn moyen efficace d'obtenir la propriété aperçu nouveau sera à mise à jour l'ameublement avec chaque saison. Vous ne pouvez pas avons aussi perdre beaucoup d'argent et acquérir nouveau ameublement afin de afin que vous puissiez réapprovisionner Le regard. Le particulier à prix raisonnable en plus de le moyen le plus simple De Transformer meubles Is used covers. Ils sont offerts avec un substantiel gamme de couleurs, éléments, styles et. Télé 80 Cm Il est possible de recherche différents colories plus options juste avant localiser le meilleur une personne avec le plus approprié un.\nLe particulier mise en page en ce qui concerne le côté médial peut influer de ce l'état d'esprit dans le personne. Vous trouverez Il ya effectivement certains éléments de un endroit de ce qui peut affecter le ce émotionnelle aspect, par exemple colorations, formes, souches, la douceur, semble, des arômes, ainsi que Various images en plus de représentations qui ont influence sur émotionnel exprime, en même temps comme les options en relation avec notre mentalité. Home Design bon sens seul est en fait organisation, préparation et aussi le côté médial lieux en ce qui concerne le bâtiment. La cible est généralement à améliorer le but of fonctionnel valeur, améliorent considérablement et également améliorez émotionnel zones de surface intérieure espace Télé 80 Cm.\nquadro su tela terme 160 x 80 cm 5 tele modello nr xxl 5510 i quadri sono montati su telai di\ncat gorie meubles de t l vision page 2 du guide et comparateur d 39 achat\ntv hd led avec hdmi 81 102 121 cm 32 40 48 r50 sony fr\nt l thomson 80 cm moselle 57\nbuy aoc le32v30m6 61 80 cm 80 cm 32 hd ready hdr led television online at best price in\nachetez television clasf


Monti - independant ecologic room - Appartements à louer à Rome, Latium, Italie\nApartement offrant entreé indepandante, une chambre avec un lit pour 2 personne et une salle de bain avec douche.\nWi-fi gratuite, TV, ventilateur et chauffage.\nSuper emplacement dans le quartier Monti pour une visite à pied de Rome, Cate est arrangeante pour l'heure d'arrivée et de départ, par contre la chambre est exiguë.\nJe recommande vivement ce logement (je le reprendrai moi-même si je revenais à Rome) ;) Logement très bien situé (à 10min à pied de la gare Termini et super pratique pour découvrir Rome), la chambre est très propre, avec serviettes, wifi et tout confort. Il y a même une…\nCharmante chambre avec tous le confort, idéalement placé à proximité de tout et des transports. Un quartier animé avec de petits restaurant ou café très sympa et avec un bon rapport qualité prix. En revanche quartier bruyants la nuit et très tôt le matin. Je recommande tout de…\nLogement très bien placé, que nous conseillons vivement\nCate nous a chaleureusement accueilli et dans un français excellent, ce qui nous a permis d’avoir pleins d’infos sur le quartier, la ville, la vie à l’italienne ! La chambre et la salle de bain était extrêmement propre. Nous avions même accès à une cafetière dans l’entrée, pour…\nLa chambre proposée par Cate est telle que décrite dans l annonce. Le logement est sécurisé et totalement indépendant, ce qui permet une totale autonomie. La chambre est propre et fonctionnelle. Parfaite pour un week end ou un court séjour. Ce qui en fait un lieu idéal c est sa…\nCate est une hôte très agréable et disponible, tout comme sa famille qui nous ont partagé de bons plans pour visiter la ville. La chambre est fidèle à l annonce, très confortable, propre, avec une literie de qualité. Le quartier est très sympa au coeur de la vie romaine et nous…\nGermany, Allemagne · Membre depuis janvier 2014\nI am a service-professional for over 30 years. I run a central Guesthouse and rent out some privately owned apartments, too. I try to offer a nice place in well served positions with a correct service and value for money. Fair rates and professionally cleaned laundry are on top…\nVous pouvez m'appeller ou texter quand vous avez besoin d'aide.


[Test] Aggelos : un très bon hommage à Wonder Boy - Culturellement Vôtre\n[Test] Aggelos : un très bon hommage à Wonder Boy\nEditeur : PQube, Wonder Bobi\nPour se remémorer l’excellence des années 1990\nOn reconnaît de suite le style spécifique des années 1990.\nSi, comme votre humble serviteur, vous avez connu l’âge d’or du jeu vidéo japonais, celui de la fin des années 1980, qui s’étendait jusqu’à, grosso modo, le tout début des années 2000, alors vous savez à quel point la série Wonder Boy était exceptionnelle. D’ailleurs, notre webzine a chroniqué Wonder Boy : The Dragon’s Trap, un excellent remake que l’on ne peut que vous conseiller. La recette, entre l’action et le RPG, le tout sur un plan en 2D, fait aujourd’hui le bonheur de la scène indépendante, qui s’est longuement arrêtée sur ce genre. Développé par Storybird Games, édité chez PQube (Cat Quest, Nippon Marathon), Aggelos s’inscrit dans cette droite lignée, avec pour but l’hommage pur et dur.\nIl faut appuyer, encore une fois, sur ce fait : Aggelos est un hommage aux jeux vidéo des années 1990. Et, en tant que tel, il se devait de proposer un trip très direct, sans artifices narratifs. Rappelez-vous de la rapidité avec laquelle on prenait les commandes de Link, dans The Legend Of Zelda : A Link To The Past. Alors que, dans The Twilight Princess, on avait droit à d’interminables premières heures qui nous exposaient des tenants et aboutissants, dont on se fichait éperdument soit écrit en passant. Le jeu de Storybird Games renoue avec le premier titre cité : on incarne un fermier au destin fantastique, qui va devoir sauver Lumen, un royaume en déclin, menacé par l’ignoble Valion. C’est sur ce court synopsis que se construit le jeu, avec quelques villages à traverser, donc de très rapides dialogues. On va droit à l’essentiel, et c’est une bonne chose.\nAggelos est un Action-RPG en 2D, saupoudré d’exploration. Votre avatar répond au doigt et à l’œil, les déplacements rappellent de suite les grands classiques du genre. Bien entendu, il peut sauter et attaquer avec son épée. Cela, c’est la base mais, avec le temps, le héros gagnera différents pouvoirs magiques, comme la possibilité de transformer un monstre en plateforme. Ou celle de s’enfermer dans une bulle, histoire de bondir à volonté dans les eaux. Aussi, d’autres capacités viendront élargir vos horizons, comme un double saut, astucieusement caché derrière un coup aérien, dont l’utilisation allonge la distance des sauts. Vous l’aurez compris, ces éléments sont idéaux afin d’atteindre des secrets, disséminés un peu partout sur la carte. Oui, cela apporte une petite saveur Metroidvania à l’ensemble, et l’on se réjouit de la cohérence de ce mariage.\nLes boss proposent de bons pics de difficulté.\nAggelos, c’est donc un peu d’exploration mais aussi, et surtout, des combats. Quand on détruit un ennemi, on accumule non seulement de l’expérience, mais aussi de l’argent, que l’on pourra dépenser dans les armureries et autres échoppes. Car votre arsenal est évolutif : protections et épées existent en plusieurs modèles. Cela afin de monter en puissance, voire même proposer des effets secondaires. Par exemple, ne comptez pas rentrer dans le volcan sans l’armure adéquate, vous risqueriez de mourir à petit feu. Le cheminement du jeu vous emmènera vers des donjons, qu’il faudra fouiller afin de trouver l’objet-clé qui permettra au héros de se débarrasser du vilain de l’histoire. Storybird Games évite d’embourber le soft dans des labyrinthes trop étendus, mais attendez-vous tout de même à pas mal de challenge. Surtout que les points de sauvegarde sont positionnés de sorte à ce que vous devrez les visiter sans quitter la partie.\nAggelos parvient, donc, à nous séduire sur bien des points. D’autres sont un tout petit peu plus problématiques, sans pour autant que l’un de ces défauts n’atteignent réellement le très bon moment passé avec ce titre. Tout d’abord, la durée de vie nous paraît un peu courte. Il vous faudra six heures pour en venir à bout à cent pourcent. On aurait apprécié du contenu d’après-fin, ce qui est aussi signe qu’on s’attache à ce titre. Aussi, on a eu beaucoup de mal avec la carte de Lumen. Bon, on sent bien que Storybird Games a décidé d’en faire un support difficilement utilisable, c’est d’ailleurs pour cela qu’il est vivement conseillé de rendre visite à la diseuse de bonne aventure quand on bloque : elle donne tous les indices nécessaires à la réussite. Mais alors, pourquoi avoir proposé cette bien étrange map ?\nPour terminer sur une note plus positive, sachez qu’Aggelos est visuellement très agréable. Avec son rendu qui rappelle la belle époque 16-bits, ses pixels fringants, et sa direction artistique qui cultive le classicisme, on se retrouve effectivement plongé dans les années 1990. On pourra, cependant, regretter que les développeurs n’aient pas osé ne serait-ce qu’un passage au design original. Même à l’époque, il est possible que les testeurs auraient relevé une certaine platitude des décors, à la longue. Bien entendu, aucune chute de framerate n’est à craindre, c’est fluide au possible. Enfin, la bande originale souffle le chaud et le froid. Certains thèmes, comme celui des environnements tout au début du cheminement, rentrent dans nos crânes pour ne plus en sortir. Par contre, d’autres, notamment dans les donjons, ont plus de mal à convaincre.\nVoilà un jeu qui va faire plaisir aux joueurs nostalgiques ! Aggelos a tout compris de ce qu’on appréciait dans la production vidéoludique des années 1990, et nous propose un trip dont les sensations se font pures. Pas de blabla inutile : on est propulsé dans la peau de ce fermier au destin extraordinaire, avec bien des ennemis à abattre. Les différentes mécaniques, qui mixent l’action, le RPG et l’exploration, forment un résultat éminemment sympathique, seulement atteint par une carte à l’utilité limitée et une durée de vie trop courte. Reste que le soft est conseillé à tous ceux qui, comme nous, pensent souvent au bon vieux temps de Wonder Boy.


Dreamers Africans: Aminata Namasia, la plus jeune députée élue de la RD Congo (Portrait)\nDaddy Nyembwe 31-01 à 13:40 Dreamers Africans\nDiplômée en économie monétaire depuis 2017, de la faculté d’administration des affaires et sciences économiques (FASE) de l’Université Protestante au Congo (UPC), Aminata Namasia est la plus jeune députée élue de la République Démocratique du Congo.\nElue sous la bannière du Parti congolais pour le développement, la jeune dame née le 10 mars 1993 n'a que 25 ans et est devenue depuis le 28 janvier, la deuxième assistante du président du bureau provisoire de l'Assemblée nationale.\nSa nomination à ce poste est conformément à la constitution de la RDC qui stipule que le bureau de l'assemblée nationale est présidé par le député le plus âgé, secondé par les deux plus jeunes.\nL’autre assistant est Jackson Ausse Afingoto, âgé lui de 26 ans.\nAmita est une élue de la circonscription électorale de Bambesa dans la province du Haut-Uélé.\nUne Assemblée moins féminisée.\nElle fait partie des 11.11% des femmes députées élues aux législatives passé. Un léger progrès vers le chemin de la parité à l’Assemblée nationale.


Coronavirus : La «pandémie» mortelle de coronavirus double en 6 jours; 20 000 infections confirmées | JambonBurst.com\nAccueil coronavirus Coronavirus : La «pandémie» mortelle de coronavirus double en 6 jours; 20...\nCoronavirus : La «pandémie» mortelle de coronavirus double en 6 jours; 20 000 infections confirmées\nRetiré de la Chine continentale, le virus ne montre aucun signe de relâchement. Aujourd'hui, Hong Kong a confirmé son premier décès. Selon un rapport de Qz, un homme de 39 ans a succombé au virus suite à des complications cardiaques [Quartz] après avoir voyagé à Wuhan en janvier. Jusqu'à présent, la région administrative spéciale a subi 15 cas confirmés de coronavirus. Entre-temps, Macao voisine cite dix cas confirmés – allant jusqu'à fermer ses fameux casinos pour tenter de réprimer l'infection [Bloomberg].\nLundi, le Premier ministre chinois, Xi Jinping, a convoqué une deuxième réunion spéciale au cours de laquelle le leader a appelé à une riposte plus robuste à l'épidémie, décrivant l'épidémie comme «un test majeur du système et de la capacité de gouvernance de la Chine». [The New York Times]\nSelon un rapport du média d'État Xinhua, les adaptations de la politique nationale sont actuellement à l'étude. Le Comité permanent du Politburo – un comité composé des plus hauts dirigeants du Parti communiste chinois – a déjà suggéré une répression du commerce des espèces sauvages et un accent sur les normes environnementales et sanitaires [Xinhua].\nEn dehors de l'Asie du Sud-Est, le virus reste répandu mais contenu. Des cas sporadiques d'infection à coronavirus ont été confirmés à New York, Los Angeles et Chicago – aucun décès n'a été signalé. En Europe, l'Allemagne et la France ont été les plus durement touchées avec respectivement 12 et 6 infectés confirmés de coronavirus. Comme indiqué, deux Britanniques ont jusqu'à présent été victimes du virus. Le ministère de la Santé et des Affaires sociales a confirmé les cas le 31 janvier [gov.co.uk] malgré les efforts pour mettre en quarantaine les vols de retour depuis la Chine.\nLes rapports contradictoires minimisent la gravité du virus ou le qualifient de peste à part entière. Selon Svenn-Erik Mamelund – expert en épidémies à l'Université métropolitaine d'Oslo – le nouveau coronavirus n'est pas pire que la grippe. À l'inverse, selon le Dr Anthony S. Fauci – directeur de l'Institut national des allergies et des maladies infectieuses – une pandémie est la prochaine étape inévitable [The New York Times]:\nArticle précédentCoronavirus : La propagation du coronavirus: le nombre total de morts et de pays infectés\nArticle suivantTendances du marché de la clozapine N-oxyde, principaux acteurs, aperçu,\nDonald Trump, confronté à la ruine financière, a cherché le contrôle...\nMarché des services d’imagerie diagnostique Nouvelles sources de revenus, dernières


Gémeau - Horoscope du Jour Astro - Page 21 sur 40 - Horoscope, Astrologie et services gratuits\nHome Horoscope Gratuit Horoscope Quotidien Archive by category "Gémeau – Horoscope du Jour" (Page 21)\nHoroscope Gémeaux du Vendredi 5 Mai 2017\nHoroscope Gémeaux du Vendredi 5 Mai 2017 Horoscope Gémeaux – Amour Le Ciel placera votre couple cette fois sous haute tension. Les conséquences de cette bourrasque planétaire ne seront pas forcément négatives, mais elles risquent de vous bousculer. Célibataire, la teneur de cette journée dépendra beaucoup de vous dans votre vie sentimentale. Les influences lunaires vous seront relativement favorables, et vous saurez vous rendre sympathique quand vous le désirerez. L’ennui, c’est que vous ne ferez probablement pas toujours les efforts nécessaires. Horoscope Gémeaux – Argent Avec cette configuration astrale à…\nCatfamilie 05/05/2017 05/05/2017 Gémeau - Horoscope du Jour, Horoscope Quotidien Horoscope quotidien gratuit 0\nHoroscope Gémeaux du Mercredi 3 Mai 2017\nHoroscope Gémeaux du Mercredi 3 Mai 2017 Horoscope Gémeaux – Amour Si vous avez connu récemment des déceptions conjugales, cette journée, placée sous la protection de la planète Mercure en bons aspects, vous aidera à réparer les pots cassés et à retrouver votre sérénité. Certains, profondément marqués par leurs épreuves, n’hésiteront pas à tenter le tout pour le tout et à recommencer à partir de zéro leur vie de couple sous de meilleurs auspices. Les célibataires seront moins angoissés et pourront faire aujourd’hui la rencontre de leur vie ; c’est…\nCatfamilie 03/05/2017 03/05/2017 Gémeau - Horoscope du Jour, Horoscope Quotidien Horoscope quotidien gratuit 0\nHoroscope Gémeaux du Mardi 2 Mai 2017\nHoroscope Gémeaux du Mardi 2 Mai 2017 Horoscope Gémeaux – Amour L’action de Mercure sur le domaine conjugal sera forte et multiple. Elle pourrait aussi faire de même chez certains natifs vivant en couple mais qui aspirent à plus de liberté et d’indépendance. Dans bien des jeunes foyers, il sera question d’activer une nouvelle naissance, car cet aspect astral renforcera l’amour des enfants et le désir de s’entourer de petites têtes blondes. Pour bien des natifs célibataires, des aventures considérées initialement comme superficielles, sans lendemain, pourraient prendre une ampleur inimaginable…\nCatfamilie 02/05/2017 02/05/2017 Gémeau - Horoscope du Jour, Horoscope Quotidien Horoscope quotidien gratuit 0


sport · un monde en écrit\nPAUL LE GUEN ENCORE\nCréé par errol ngagom le 18 déc 2009 | Dans : sport\nla signature du contrat de paul le guen a été renouvllé jeudi dernier et cette fois çi pour une durée de huit mois.\nc’est en présence du ministre des sports et de l’éducation physique, Michel Zoah, que Paul marie Le Guen a une fois de plus declaré ses ambition de la qualification de l’équipe nationale de football du Cameroun au mondial 2010. lke contrat d’une durée de huit mois s’achève en aout 2010. le montant du contrat avec l’entraineur sélectioneur et la féderation cazmerounaise de footbal n’a pas été rendu public. qu’a cela ne tienne, le Guen a donné le parcours des lion indomptables avant les quarts de final. en effet, les lionceaux entrent en stage dès le 04 janvier prochain à paris. Samuel Eto’o fils et ses coéquipiers rejoindront ensuite l’Angolale 10 janvier et livreront leur premier match contre les panthère du Gabon le 13 janvier. pour paul le guen, le challenge n’est qu’a son tout début.la liste des présélectionnés sera disponible la semaine prochaine. « j’observe encore les joueurs à l’étrange » à déclaré le selectionneur.\nCoupe du Cameroun de Badminton: Cookey Swani championne encore!\nCréé par errol ngagom le 10 sept 2009 | Dans : sport\nChez les messieurs, Grégoire Samba remporte par 2 sets à 1 face à Jacques Owono.\nDimanche dernier, c’est en présence du représentant de Michel Zoah, le ministre des sports et de l’éducation physique que la finale de 9ème édition de\nla Coupe du Cameroun de Badminton débute. La salle de fête des Brasseries, lieu de déroulement de la finale est envahi par les spectateurs. La finale junior/senior simples dames commence. Cookey Swani et Manuela Abena s’affrontent. Après deux sets, le score est nul. Le dernier set déterminant, est âprement disputé. Le match s’achève par 2 sets à 1 en faveur de Cookey. C’est sous un tonnerre d’applaudissement que le public accueille pour la neuvième fois la victoire celle-ci. Chez les messieurs, Landry Menguele, le champion 2008 est éliminé au quart de finale. Grégoire Samba et Jacques Owono compétissent en finale junior/senior simples messieurs. Le match s’achève par 2sets à 1. Cette année, c’est Grégoire Samba qui monte sur la première marche.\nLes finales se sont aussi déroulées en double cadette, double minime, vétéran, simple cadette, simple cadet et junior/senior double messieurs. A la fin de la coupe, le public a exprimé sa satisfaction. « Les compétitions étaient à un bon niveau qu’il y a de cela 2 ans », affirme François Serna, Directeur technique national de badminton. La compétition a vu la participation de trois régions: le Centre, le Littoral et l’Est. Les autres régions étaient absentes « parce que la fédération camerounaise de Badminton n’a pas eu assez de temps pour les prévenir », explique le secrétaire général. Malgré l’absence de ces régions, la coupe a belle et bien eu lieu et la saison continue.\n« Nlongkak Basket vacances » les rideaux se baissent\nRéal CNRPH remporte la victoire de Basket fauteuil roulant par 24 contre 10 face à Buffalo.\nLe tournoi inter quartier de basket Ball organisé par l’association Messing sports, en collaboration avec\nla Fédération Camerounaise de Basket Ball a fait trois champions samedi dernier. Réal Centre National de Réhabilitation de Personnes Handicapées d’Etoug-ebe, l’équipe Fire House de Nlongkak et Far vétérans. C’est face à Buffalo que Réal CNRPH remporte par 24 paniers. Finale intéressante où les handicapés s’expriment avec beaucoup de vivacité. Constance Nchifi, leur entraîneur s’estime satisfaite de leur prestation. « Ils ont travaillé avec beaucoup d’acharnement. La compréhension entre joueur et la discipline ont été leur force », explique-t-elle. Biakolo Célestin de la même équipe est désigné comme meilleur joueur.\nLa deuxième finale qui réunissait l’équipe Fire House contre les Free Boys était attendue du public. Le score qui était à égalité jusqu’au troisième quart de temps change. Le match s’achève par un score de 73 à 60 en faveur des Fire House. Comme pour suivre l’équipe précédente, la troisième finale qui se joue entre l’équipe Santa Barbara et Far Vétéran se termine par un score de 95 pour Far vétéran et 92 pour Santa barbara. Pour perpétrer cette compétition et développer le Basket Ball au Cameroun, Oberlin Blaise Wallembe, le président de l’association Messing Sports a ouvert une école de Basket Ball pour enfants d’au moins quatre ans.\nvolley-ball: l’équipe nationale camerounaise vainqueur\nCréé par errol ngagom le 24 août 2009 | Dans : sport\nAprès trois jours de championnat au palais polyvalent des sport à yaoundé, le Cameroun se qualifie pour le championnat du monde de volley-ball en Italie. Au terme d’une rencontre pleine de suspens avec l’Afrique du sud hier, le Lions indomptables camerounais remportent par 3 set à o. Un match très applaudi du public, venu nombreux apprécier la prestation de leur équipe nationale. Au final, le Cameroun sera présent en Italie l’année prochaine pour le championnat du monde.


▷ Acide Chlorhydrique Pour Déboucher Une Douche - Appelez nous 0497 400 860\nPublié le 11/08/2018 par\nEntreprise dégorgement toilette, canalisation, évier, bain douche, sterput, haute pression, égout, etc.\nNettoyage syphon douche italienne / Déboucher une baignoire sans accès\nNettoyage syphon douche italienne / Acide chlorhydrique pour déboucher une douche\nVous avez une accumulation de déchets qui obstrue le WC ? Les sanitaires sont obstrués et vous êtes à la recherche d’un vidangeur en express ? Ne demeurez pas avec un dépôt et contactez un travail pour acide chlorhydrique pour déboucher une douche.\nSachez que notre entreprise utilise uniquement des matériaux et produits professionnels en plomberie, pour déboucher un tuyau immédiatement.\nCela comprend de l’équipement en débouchage de marque, comme un furet professionnel automatique, un déboucheur à pression Pumpmax KS tools, une cureuse à forte pression et une caméra vidéo d’inspection des tuyaux, lesquels pourront faciliter à détruire une accumulation de déchets en quelques minutes.\nVous devez confier votre travail à notre plombier déboucheur expérimenté, afin de réaliser le débouchage des tuyaux bloquées dans l’agglomération Bruxelloise.\nDépannage acide chlorhydrique pour déboucher une douche\nComment enlever bouchon baignoire coincé puis Déboucheur canalisation leroy merlin\nDéboucher une baignoire cheveux avec Débouchage pas cher\nPar quel moyen rechercher une solution de l’origine de tuyaux engorgés ?\nQuand l’obstruction sera peu important, celui-ci sera simple à résorber, et vous constaterez seulement que l’eau ne s’écoule pas normalement;\nIl faudra sans doute utiliser des outils de plombier déboucheur plus professionnel afin de détruire l’obstruction, quand vous remarquerez que l’eau s’évacue mais fort doucement;\nSi l’eau ne s’écoule quasiment pas, et que son niveau remonte au sein de la cuvette, dans ce cas il faudra faire un débouchage WC bouché express, pour éviter que les WC débordent.\nQuand vous observez l’un de ces soucis, il est normal qu’une intervention devienne nécessaire. Utilisez notre société déboucher une baignoire sans accès à Bruxelles ville.\nSi aucune de ces techniques de débouchage ne fonctionne, vous avez éventuellement un ennui plus profond à l’intérieur de votre dispositif d’évacuation des eaux usées, et il sera nécessaire de contacter un plombier déboucheur professionnel afin de déboucher l’obstruction.\nVous pouvez confier votre travail à notre plombier déboucheur professionnel, pour faire le débouchage de vos tuyaux saturées en région Bruxelloise.\n4.4 (97%) 84 votes\nAcide chlorhydrique pour déboucher un évier /…\nAcide chlorhydrique pour déboucher baignoire avec…\nAcide chlorhydrique pour déboucher une baignoire…\nEnlever le siphon d’une douche puis Débouchage canalisation bouchée qui appeler


C'est dans la maison des Secrets que le couple Alain et Laura s'est formé. Beaucoup ont douté et misé peu sur ce couple, nombreux sont ceux qui pensaient les voir séparer une fois la saison de Secret Story terminée. Mais Laura et Alain ont prouvé que leur amour est sincère et pur.\nC'est pour une interview consacrée au journaliste Sam Zirah que le couple s'est confié plus intimement sur leur relation, leurs projet de famille et professionnels. Bien que leur caractère soit opposé, Laura et Alain se complétent, sont heureux et ont de l'avant ensemble .Depuis la sortie de Secret ils sont restés plutôt discrets. Aucune télé-réalité de prévue, car ils ne souhaitent pas faire de buzz autour de lzur couple. Interrogés sur leur avenir professionnel ils déclarent : "On a un projet en commun mais ça reste la surprise. On est un couple mais on est deux personnes indépendantes, ,on a chacun nos projets dissociés, on marche pas tout le temps à deux. Chacun a des avis différents sur ce qu'il a envie de faire, il faut qu'on soit epanouie chacun de son côté". Ils répondent aux critiques: "Les personnes qui critiquent connaissent très mal les personnages. Vous vous êtes trompés vous voyez on est toujours ensemble." À la rédaction de Star 24 nous sommes très heureux de les voir épanouie, comme de nombreux internautes satisfaits de leur interview .\n"Cet itw confirme ce qu’on pense. Vs êtes hyper sains, simples et attachant. Vous avez un tel recul sur tout ce qui vous arrive alors que c’est tout nouveau. C’est bluffant. On vous aime individuellement pour là personne que vous êtes et ensemble pr ce couple magnifique", "L'interview de Alain et Laura avec Sam Zirah était plein de sincérité, j'ai vraiment aimé.", "Je le dis pas souvent mais vraiment Laura et Alain je suis tellement pas déçu de ce qu'ils deviennent archi simple pas de snap calculer ou autre bref nature peinture et c'est très appréciable sans oublier qu'ils sont vachement accessible sans avoir pris la grosse tête"\nEXCLU STAR24 : L'épouse de Thomas (SS10), Amber ne voulait pas qu'il fasse Secret Story