Analyse de sécurité des modems mobiles - PDF\nAnalyse de sécurité des modems mobiles\nDownload "Analyse de sécurité des modems mobiles"\n1 Analyse de sécurité des modems mobiles Benoit Michau ANSSI Résumé Les modems mobiles sont présents partout, et de plus en plus utilisés à travers le monde. A ce jour, la plupart des analyses de sécurité publiques ont porté sur leurs interfaces GSM, et GPRS en moindre mesure. Cependant, la plupart d entre eux supportent la 3G, et de plus en plus le LTE. Ces nouvelles technologies ont un niveau de sécurité bien supérieur à la 2G, mais induisent également une complexité accrue au sein des logiciels utilisés dans les modems. Il devient possible depuis quelques années, grâce au développement des équipements radio et de la radio logicielle, de mettre en place des moyens de test 3G et LTE à moindre coût. Ceci permet l analyse du comportement des modems, et de leur sécurité, sur ces technologies. Introduction Cette présentation a pour but d exposer des informations techniques visant à comprendre le fonctionnement des modems et terminaux mobiles, et plus largement des réseaux mobiles 2G, 3G et LTE. Nous souhaitons faciliter une meilleure compréhension de ces technologies en décrivant le mode de fonctionnement standard entre terminaux et réseaux mobiles ainsi que les outils et techniques employés pour évaluer la sécurité des interfaces de communications radio-mobiles. La conduite de tests et d analyses sur les modems constitue un élément important permettant de garantir le bon fonctionnement et la bonne sécurisation de ceux-ci ; cette démarche doit permettre de mettre au jour certains problèmes qui peuvent alors être corrigés par les fabricants et donner lieu à des mises à jour. La sécurité des communications de dizaines de millions d utilisateurs et d abonnés aux services mobiles peut ainsi être améliorée. Dans un premier temps, les grandes lignes des normes et principes de communications mobiles sont présentées. Une annexe copieuse détaille également certains aspects des protocoles de signalisation et donne des exemples de messages échangés entre terminaux et réseaux. Ensuite, les différents constructeurs de modems cellulaires sont passés en revue, ainsi que les architectures matérielles sous-jacentes. Quelques méthodes d analyses\n2 152 Sécurité des modems mobiles statiques sont expliquées, afin d aider à la compréhension des architectures matérielles et logicielles d aujourd hui. Puis, différents outils réseaux sont présentés : ceux existant sur Internet et plus particulièrement ceux disponibles en source ouverte, ainsi que certains développés par nos soins. Enfin, quelques exemples de résultats issus de nos campagnes de test sont exposés : ceux-ci vont de la simple constatation du non-respect de la norme, pouvant dans certains cas avoir des conséquences graves sur la sécurité des communications, aux bogues d implantation logicielle permettant une corruption mémoire. 1 Technologies mobiles 1.1 Principe général des communications mobiles Les réseaux mobiles sont constitués de deux parties distinctes : le réseau d accès radio (RAN : Radio Access Network) et le cœur de réseau (CN : Core Network). Le réseau d accès radio prend en charge la connexion radio avec les terminaux, alors que le cœur de réseau permet l établissement des services quelque soit la localisation et la mobilité du terminal au sein du réseau d accès radio. Le schéma 1 présente les principaux équipements de réseau d accès 2G (GERAN, avec les BTS et BSC/PCU) et 3G (UTRAN, avec les NodeB et RNC) ainsi que les équipements de cœur de réseau en circuit (CS pour circuit switched, avec les MSC/VLR pour commuter les circuits voix, les SMS-C et HLR/AuC) et paquet (PS pour packet switched, avec les SGSN et GGSN pour router le trafic IP, et le HLR/AuC). De manière générale, les terminaux ne sont pas connectés en permanence avec le réseau. Ils reçoivent des informations de diffusion émises par les antennes-relais sur un canal descendant, dit de broadcast : celles-ci permettent aux terminaux de connaître en permanence l identification et la configuration des cellules des réseaux mobiles environnants. Lorsque les terminaux doivent se connecter à un réseau, ils suivent une procédure pour obtenir un canal duplex (montant et descendant) dédié avec l antenne-relais la plus adaptée. Ils commencent par émettre une demande d accès sur le canal montant, dit RACH ; si le réseau d accès radio reçoit correctement cette demande, il renvoie au terminal les caractéristiques du canal dédié qui va pouvoir être utilisé pour transporter le service demandé par le terminal, cet envoi est fait sur le canal descendant dit de paging. Une fois un canal duplex dédié établi entre le terminal et le réseau d accès radio, celui-ci peut communiquer avec le cœur de réseau pour réaliser le service\n3 B. Michau 153 Figure 1. Architecture de base d un réseau mobile 2G / 3G adéquat (établissement d appel voix, établissement d une connexion de données, transfert d un message court, etc...). C est lors de l établissement de la communication entre un terminal et le cœur de réseau qu ont lieu les procédures de sécurité : authentification, dérivation de clés et allocation d identités temporaires. À la suite de l authentification et de la dérivation de clés, la sécurisation du canal radio peut être mise en œuvre (chiffrement, contrôle d intégrité cryptographique, etc...). Lorsqu un terminal doit être joint (par exemple, lorsqu il reçoit un appel ou un SMS), celui-ci est averti via un message contenant son identité temporaire sur le canal de paging. Lorsqu il reçoit une telle notification, il peut alors suivre la procédure décrite plus haut pour se connecter au réseau d accès radio puis au réseau cœur. L ensemble de ces communications entre terminal et RAN, et terminal et CN, suivent des protocoles standardisés, dits de signalisation. Ils permettent aux terminaux de se configurer correctement pour fonctionner avec les réseaux mobiles et de rendre les services demandés.\n4 154 Sécurité des modems mobiles L organisme principal aujourd hui responsable de la maintenance des normes mobiles existantes et du développement des nouvelles est le 3GPP, mis en place lors du développement de la téléphonie mobile de 3ème génération. L ensemble des normes mobiles (à l exception des algorithmes de chiffrement GSM et GPRS) est publique et consultable sur le site Internet du 3GPP. Un tableau de synthèse permet de consulter les normes par domaine d application . Les paragraphes qui suivent donnent quelques explications sur l historique et les différences qui existent entre les multiples technologies de réseaux mobiles, au-delà de la simple architecture d un réseau 2G-3G tel qu il peut exister aujourd hui. 1.2 GSM La première version de la norme GSM a été établie dès 1988, développée au sein de quelques états européens. La norme a été prise en charge par l ETSI (European Telecommunications Standards Institute), et est aujourd hui maintenue par le 3GPP. Le GSM est déployé à travers le monde entier, dans plus de 200 pays par plus de 800 opérateurs. La GSMA (Association des opérateurs GSM) a recensé plus de 3 milliards d abonnements GSM dès Le GSM sera encore présent pour de nombreuses années à venir. Une modulation numérique simple est utilisée pour la transmission radio : GMSK (Gaussian Minimum Shift Keying). Elle utilise une largeur de bande de 200 khz, ce qui limite le débit d information maximum d un canal numérique GSM. Les utilisateurs multiples sont ordonnancés temporellement : c est-à-dire que chaque canal radio de 200 khz de bande passante est subdivisé en blocs de ressource temporelle (appelés également slot), chaque bloc pouvant être attribué à un terminal différent. Le cœur de réseau GSM est composé de commutateurs de circuits numériques (MSC : Mobile Switching Center) associé à un gestionnaire de localisation (VLR : Visitor Location Register) afin de localiser et connecter les appels entre terminaux ; d un SMS-Center, en charge de transmettre les messages courts émis par les mobiles attaché au réseau ; et d un gestionnaire de localisation central (HLR pour Home Location Register, associé à un AuC, Authentication Center). Les terminaux sont équipés d une carte à puce SIM (Subscriber Identity Module) pour l identification et l authentification des terminaux au sein des réseaux mobiles. La carte SIM contient un IMSI (International Mobile Subscriber Identity) qui est un identifiant unique au monde pour chaque abonné mobile. Elle est capable de s authentifier au réseau mobile grâce\n5 B. Michau 155 au partage d une clé symétrique avec le HLR-AuC et l utilisation d un algorithme de dérivation de clés commun avec cet équipement. Chaque réseau cœur d opérateur mobile est connecté à d autres réseaux téléphoniques via des passerelles : des réseaux téléphoniques commutés fixes et / ou d autres réseaux téléphoniques mobiles. Chaque opérateur mobile interconnecte ainsi ses équipements de cœur de réseau avec de nombreux autres opérateurs nationaux et internationaux pour transférer le trafic des abonnés, mais également pour échanger de la signalisation, dite SS7. La technologie GSM a été développée afin de permettre les appels entre terminaux mobiles ; en Europe, la norme GSM utilise des canaux fréquentiels sur les bandes GSM-900 (autour de 900 MHz) et DCS-1800 (autour de 1.8 GHz). Le SMS a été développé en 1992, il utilise les canaux de signalisation afin de transférer des messages «utilisateurs». Le transfert de données et de fax sur circuits GSM a été défini en 1994 : le débit de données s élève alors à 9.6 kb/s! 1.3 GPRS La conception du GPRS a pris plusieurs années : la première version de la norme GPRS est apparue en Elle est aujourd hui classiquement associée au GSM, car elle réutilise une partie de ses concepts et de ses équipements ; elle est maintenue par le 3GPP. Le GPRS (General Packet Radio Service) consiste à définir un nouveau mode, dit PS (Packet Switching) en opposition au mode CS (Circuit Switching) qui est le mode initialement développé pour le GSM. Le mode PS permet le transfert de données par paquet de manière asynchrone : bien adapté à une navigation Internet (ou WAP, dans les premiers temps!). Mais pour cela, des évolutions importantes sont réalisées par rapport au GSM. Au niveau de l interface radio, une nouvelle manière d allouer les blocs de ressources temporelles, et d ordonnancer les utilisateurs entre eux, est définie : ceci permet d optimiser l occupation du canal radio par de multiples utilisateurs, qui effectuent des transferts de paquets sans nécessiter un débit de données constant dans le temps. Par ailleurs, de nouveaux équipements sont introduits dans le cœur de réseau : le SGSN (Serving GPRS Support Node), qui prend en charge la signalisation cœur de réseau vis à vis du terminal, gère sa mobilité, et fait transiter son trafic dans un tunnel GTP (GPRS Tunneling Protocol) ; et le GGSN (Gateway GPRS Support Node), qui termine les tunnels GTP et route le trafic des utilisateurs vers des réseaux de services (typiquement,\n6 156 Sécurité des modems mobiles Internet) via des APN (Access Point Name). Le domaine PS introduit par le GPRS fonctionne, au niveau de la gestion de la mobilité et des procédures de sécurité, de manière parallèle et très similaire au domaine CS du GSM : ainsi les terminaux s authentifient de manière indépendante pour le domaine CS et pour le domaine PS ; ils disposent également d identités temporaires et de clés de chiffrement de l interface radio différentes entre les interfaces GSM et GPRS. Des interconnexions sont réalisées entre opérateurs mobiles au niveau national et international, afin de pouvoir router les données du domaine PS des abonnés mobiles, quel que soit le réseau mobile sur lequel ils sont attachés. La plupart des interconnexions entre opérateurs à l international sont faites au niveau de zones dites GRX / IPX (GPRS exchange / IP exchange). 1.4 EDGE EDGE (Enhanced Data rate for GSM Evolution) est essentiellement une évolution de l interface radio GPRS, principalement au niveau de la modulation et des mécanismes de codage et de redondance des transmissions. La première norme EDGE a été développée en 2000, et est aujourd hui maintenue par le 3GPP. L EDGE permet entre autre l utilisation d une modulation en phase à 8 états, dite 8-PSK ; ainsi, au lieu de transmettre 1 bit d information par période du signal d information (on parle également de «symbole») avec une modulation GMSK, 3 bits d information sont transmis, permettant ainsi de tripler le débit d information par rapport à une interface radio GPRS classique. Cette modulation permet d atteindre, pour un canal fréquentiel de 200 khz, des débits théoriques ponctuels de 473 kb/s, alors que le GPRS ne délivre que 171 kb/s. 1.5 UMTS Parallèlement à l évolution des technologies GPRS et EDGE, le 3GPP (regroupement de multiples organismes de normalisation européen, américain et asiatique) développe dès 1999 la norme de téléphonie de 3ème génération. Il s agit d une refonte complète de l interface radio, et d une évolution du cœur de réseau GSM / GPRS. Une interface radio complètement nouvelle est développée, afin de supporter les deux modes CS et PS de manière uniforme. Elle fonctionne sur des fréquences différentes du GSM : en Europe, la 3G utilise des fréquences porteuses autour de 2.1 GHz. Par ailleurs, le type de modulation\n7 B. Michau 157 et de codage sont censés être optimisés pour le support de communication en mode paquet. Le fait est que de très nombreux brevets, de Qualcomm entre autre, s appliquent à ces techniques de modulation et codage. L interface radio s appuie sur une modulation, a priori simple, en décalage de phase de type QPSK sur une bande passante de 5MHz. Cependant, le principe de l étalement spectral est très largement utilisé avec des mécanismes de convolution des signaux par codes orthogonaux et de scrambling par séquence spécifique, permettant le multiplexage des utilisateurs et la distinction entre les cellules, d où la dénomination de CDMA (Code Division Multiple Access). Ainsi en 3G, l ensemble des utilisateurs d une cellule radio émettent et reçoivent des signaux sur la même fréquence et au même instant, chacun étalant ses données par un code propre. Avec cette modulation, le débit théorique du canal radio pour un utilisateur s élève à 384 kb/s. Le cœur de réseau, développé initialement pour le GSM pour la partie circuit CS et pour le GPRS pour la partie paquet PS, évolue afin de supporter des nouveaux codecs et de nouvelles procédures de mobilité. La procédure d authentification évolue de manière importante avec l introduction de cartes USIM permettant une authentification mutuelle entre le terminal et le réseau mobile. Les interconnexions existantes pour les réseaux GSM et GPRS au niveau national et international sont réutilisées, afin de permettre les situations de roaming pour les abonnés 3G. 1.6 HSPA Depuis 2003, des optimisations sont réalisées de manière incrémentale sur la norme UMTS. Ainsi le 3GPP a normalisé le HSDPA (High-Speed Downlink Packet Access) qui permet l augmentation du débit de données sur les canaux radio descendants dédiés, le HSUPA (High-Speed Uplink Packet Access) qui permet de même l augmentation du débit sur les canaux radio montants dédiés. Ces deux évolutions consistent entre autre à utiliser une modulation des signaux radio plus denses, dites 16-QAM (Quadrature Amplitude Modulation à 16 états, permettant de transmettre 4 bits par symbole). Enfin le HSPA+ est une nouvelle amélioration sur les canaux radio permettant d atteindre des débits encore supérieurs en introduisant l utilisation de techniques de transmission MIMO (Multiple Input / Multiple Output), et en densifiant encore la modulation radio avec l utilisation du 64-QAM.\n8 158 Sécurité des modems mobiles Ces évolutions permettent à un utilisateur d atteindre des débits descendants jusqu à 42 Mb/s sur le canal radio. Cependant, en parallèle, le 3GPP a commencé à standardiser la norme destinée à devenir la 4G : le LTE. 1.7 LTE La première version de la norme LTE (Long Term Evolution) est apparue en 2009, développée par le 3GPP. Pour cette nouvelle norme, tous les concepts du réseau mobile sont renouvelés : le réseau d accès radio comme le cœur de réseau. Le mode circuit CS est abandonné : le réseau LTE est ainsi un réseau fonctionnant uniquement en mode paquet. Pour le support des communications vocales, une infrastructure VoIP (par exemple l IMS qui s appuie sur les protocoles SIP et RTP) doit être adjointe au réseau LTE. La norme LTE est faite pour fonctionner sur un très grand nombre de fréquences porteuses : à partir de 400 MHz et jusqu au-delà de 3 GHz. Cela permet d utiliser la technologie LTE pour des types de couvertures différents : pour des cellules et des transmissions longue-distance (plusieurs dizaines de kilomètres) aux fréquences les plus basses, ou des cellules à grosse capacité en environnement urbain aux fréquences plus élevées, voire des petites cellules à l intérieur des bâtiments aux fréquences les plus hautes. L architecture du réseau d accès radio LTE est assez différente de l existant en téléphonie mobile 2G et 3G : il n y a plus de contrôleurs radio intermédiaires entre les antennes-relais et le cœur de réseau. Les antennesrelais LTE peuvent être interconnectées entre elles (via des interfaces dites X2) et se rattachent toutes directement au cœur de réseau LTE (via les interfaces dites S1). L interface radio avec les terminaux utilise aussi des concepts différents par rapport aux technologies antérieures : la modulation radio et le multiplexage s appuient sur l OFDM (Orthogonal Frequency Division Multiplexing), qui consiste à «découper» le canal radio large bande en sous-canaux en bande étroite. Ces sous-canaux sont alors assignés dynamiquement et permettent le multiplexage des utilisateurs au sein d une cellule. La bande passante d un canal LTE large bande peut être de 5MHz, 10 MHz ou 20 MHz. Au niveau du cœur de réseau, il y a une séparation des équipements selon leurs fonctions : le MME (Mobility Management Entity) traite uniquement de la signalisation (signalisation avec les antennes-relais, et avec les terminaux), alors que les S-GW (Serving-Gateway) et P-GW\n9 B. Michau 159 (Packet-Gateway) agrègent et font transiter les données utilisateurs, toujours encapsulées dans des tunnels GTP. Le HLR hérite d une nouvelle dénomination : HSS (Home Subscribers Server), mais conserve des fonctionnalités équivalentes. L authentification au réseau LTE doit obligatoirement se faire avec une carte USIM (introduite avec les réseaux mobiles de 3ème génération). Le schéma 2 présente les différents équipements et interfaces au sein d un réseau LTE : le terminal, le réseau d accès radio constitué uniquement d enodeb, et le cœur de réseau. Figure 2. Architecture de base d un réseau mobile LTE Les interconnexions existantes pour les réseaux GPRS et 3G (éventuellement via les zones GRX / IPX) au niveau national et international sont réutilisées et évoluent, afin de permettre les situations de roaming pour les abonnés LTE. 1.8 Protocoles de signalisation Comme indiqué à la fin du paragraphe 1.1, il y a deux types d échanges au sein d un réseau mobile : la signalisation, et les données utilisateurs. Ces deux types de données ne sont jamais mélangés, contrairement à certains protocoles Internet, comme par exemple HTTP qui embarque les données utilisateurs (couramment, les données HTML) directement sur les en-têtes HTTP. Étant donné l historique et l évolution des réseaux mobiles au cours\n10 160 Sécurité des modems mobiles du temps, on constate une multiplication des protocoles de signalisation, ainsi que des niveaux de complexité parfois très élevés pour certains d entre eux. Des éditeurs de solutions de tests publient des posters permettant d apprécier la complexité des piles protocolaires et des interfaces au sein des réseaux mobiles. Parmi ceux-ci, les constructeurs NetHawk, Agilent et Rohde&Schwarz sont assez connus pour publier des informations synthétiques. Dans le cas de cette étude, l interface entre le terminal mobile et le réseau est celle qui nous intéresse directement, puisque la plus exposée. L interface radio est supportée par un type de modulation et de codage spécifique à la technologie utilisée (GSM / GPRS / EDGE / UMTS / HSPA / LTE). De plus, des mécanismes d accès aux canaux, dits MAC (Media Access Control), et de gestion de liaison, dits RLC (Radio Link Control), sont mis en œuvre afin de pouvoir transférer de manière fiable des messages de signalisation entre terminaux et réseaux mobiles. Enfin, lesdits messages de signalisation sont structurés selon différents principes : ils contiennent (presque) tous un en-tête fixe de 2 octets référençant le type de protocole et le type de message ; ils contiennent une suite (normalement) ordonnée d éléments d information, spécifiques à chaque type de message ; les éléments d information optionnels ou conditionnels sont préfixés par un champ de type «tag» de 8 bits ; les éléments d information qui ont une longueur variable sont préfixés par un champ de type «length» de 8 ou 16 bits. À l exception de certains types de message de signalisation RRC, qui utilisent des notations CSN.1 ou ASN.1 (voir en annexe 7.1), l ensemble des messages de signalisation mobile respectent de telles structures. Ces principes sont décrits principalement dans la norme 3GPP TS Les protocoles de signalisation permettant la gestion des services circuits sont : MM (Mobility Management), CC (Call Control) et SS (Supplementary Services) ; ceux permettant la gestion des services de données en 2G et 3G sont : GMM (GPRS Mobility Management) et SM (Session Management) ; ceux permettant la gestion des services LTE sont : EMM (EPS Mobility Management) et ESM (EPS Session Management). S y ajoute le protocole SMS (Short Message Service), ainsi que les protocoles de gestion de la localisation : LCS (LoCation Services), RRLP (Radio Ressource Location services Protocol) en 2G et 3G et LPP (LTE Positionning Protocol) en LTE, et enfin SUPL (Secure User-Plane Location) permettant de travailler sur une connexion de données.\n11 B. Michau 161 Le schéma 3 illustre ces protocoles de signalisation tels qu ils sont mis en œuvre entre les terminaux et les réseaux mobiles. Des informations supplémentaires sur ces protocoles sont données en annexe 7.1. Figure 3. Description des principaux protocoles de signalisation de l interface radio 2 Architecture matérielle et logicielle des modems 2.1 Principes mis en œuvre Le modem est souvent un système autonome dans les mobiles récents. A l époque des réseaux GSM/GPRS, et des premiers lancements 3G, ce système était le seul présent dans le terminal, et délivrait souvent une API Java ME pour l exécution d applications simples (gestion SMS, calendrier, réveil matin, etc...). De nombreux terminaux d entrée de gamme continuent d utiliser une telle architecture aujourd hui. Qualcomm propose par exemple l API Brew (ou Brew MP plus récemment) qui permet d exécuter des applications spécifiques, développées en C, C++ ou Java, directement sur l OS du modem .\n12 162 Sécurité des modems mobiles D un autre côté dans les mobiles évolués et les smartphones, le modem mobile est appelé et utilisé par un second système embarqué hébergeant l OS applicatif (Android, Windows Mobile, iphone OS, Blackberry OS, Symbian, Bada, Firefox OS, etc...), à travers une interface de communication. Cette interface de communication se divise en une interface de commande et une interface de transfert de données à haut-débit. Le 3GPP standardise dans la norme TS l interface de commande AT qui permet de contrôler un modem mobile. Cette interface est très majoritairement utilisée pour contrôler les modems mobiles sur clé USB ; par contre, certains fabricants proposent d autres interfaces de contrôle pour leurs modems, par exemple Qualcomm propose un protocole propriétaire dénommé QMI pour ses modems LTE. L interface de transfert de données (qui va permettre le transfert du flux audio de la voix et des paquets IP) est, quant à elle, relativement propriétaire et dépendante de l architecture du téléphone : classiquement, il s agit soit d une interface sérielle à haut débit (par exemple de type USB), soit d un partage d une zone mémoire commune entre le système du modem et celui applicatif. Le modem mobile s appuie systématiquement sur un système d exploitation simple, temps réel (RTOS), et avec peu, voire pas de mécanismes de cloisonnement ou de virtualisation de la mémoire : ainsi dans un modem, toutes les tâches s exécutent dans le même espace d adressage. Lorsqu un hyperviseur contrôle le modem, des restrictions d accès à certaines zones mémoires peuvent être imposées. Les multiples mécanismes logiques s exécutent au sein de tâches distinctes du RTOS : la gestion des multiples protocoles de signalisation et de leurs états respectifs pour l ensemble des technologies supportées, la gestion des liaisons radio (avec ou sans acquittement, avec ou sans ré-ordonnancement, etc...) mais aussi la prise en charge des interfaces de communication (de la carte à puce, des composants radio numériques et analogiques, des interfaces de contrôle et de transfert avec le système applicatif) et des autres composants matériels. A l exception de l introduction récente de l architecture Hexagon par Qualcomm, la quasitotalité des modems mobiles s appuient sur une architecture et un cœur ARM. Selon les cas, le modem s exécute sur un processeur ARM dédié, appelé alors baseband processor (BP), ou colocalisé avec l OS applicatif au sein d un SoC disposant de plusieurs cœurs ARM. Par ailleurs, de nombreuses tâches spécifiques nécessitant des ressources de calculs importantes sont prises en charge par des composants spécifiques (DSP et/ou ASIC) : parmi ceux-ci, les mécanismes cryptographiques (par exemple le chiffrement du trafic utilisateur, pouvant attendre 150 Mb/s en LTE), et les mécanismes d encodage / décodage nécessaires aux trans-\n13 B. Michau 163 missions radio (par exemple pour l émission d une trame radio : calcul d intégrité de la trame, fragmentation, scrambling, convolution, modulation numérique en bande de base...). De plus, les mécanismes d émission et réception radio sur différentes bandes de fréquences nécessitent systématiquement des circuits analogiques supplémentaires. D un point de vue théorique, et en lien avec le chapitre 1, il est possible de voir un modem mobile comme présenté dans la figure 4. Pour chaque technologie radio (2G, 3G et LTE), il y a un frontend radio spécifique, correspondant à des bandes de fréquences porteuses distinctes, ainsi que des gestionnaires bas niveau pouvant faire appel à des routines matérielles spécifiques. Plus on remonte à des aspects logiques, avec la prises en charge des protocoles de signalisation, plus cela correspond à des traitements purement logiciels ; enfin, les deux principaux domaines de services (CS avec les appels voix, PS avec le transfert de données) sont exposés à travers des interfaces avec l OS applicatif. Figure 4. Représentation des fonctions standards au sein d un modem mobile multimode 2.2 Fabricants et éditeurs Le monde des modems mobiles évolue rapidement, avec le développement des multiples technologies de communications. On peut d une part distinguer les fabricants de chipsets et de SoC (System on Chip) qui\n14 164 Sécurité des modems mobiles réalisent des puces incluant des cœurs ARM mais aussi d autres composants nécessaires aux terminaux et modems, et les éditeurs de piles logicielles radio-mobiles. Dans de nombreux cas, le fabricant du matériel est également éditeur du logiciel du modem mobile, mais il arrive de rencontrer parfois des situations surprenantes... Qualcomm est actuellement le principal fournisseur de chipsets et SoC 2G-3G-LTE (sans doute plus de 90% de parts de marché en LTE), mais aussi un des principaux fournisseurs de chipsets 2G et 3G depuis plusieurs années. Qualcomm propose aujourd hui des «system on chip» multicoeurs incluant plusieurs composants : cœurs DSP, blocs d accélération matérielle (chiffrement mobile, GPU, codecs audio / vidéo). Qualcomm a récemment remplacé l emploi de cœurs ARM par sa propre architecture de calcul, Hexagon : le code des modems LTE s exécute désormais sur cette architecture. En parallèle à ses puces, Qualcomm édite une suite logicielle pour exploiter chipsets et SoC : précédemment à l introduction d Hexagon, le système AMSS était associé à un hyperviseur L4 et une couche temps-réel historique (REX). QuRT (aussi appelé BLAST) a remplacé REX/AMSS dans les SoC LTE les plus récents. Intel (ex-infineon) : fournisseur de modems discrets, légèrement en retard par rapport à Qualcomm sur le LTE, mais bien présent avec ses modems 2G/3G depuis de nombreuses années (il équipe notamment hors LTE les téléphones Galaxy S/S2/S3 et de nombreux iphone) ; il s appuie sur un RTOS commercial : ThreadX. Les principales solutions Intel actuels sont les chipsets XMM, incluant le composant modem X-Gold. ST-Ericsson était jusqu à sa disparition un fabricant de puces intégrant un modem et un processeur applicatif, dénommé NovaThor. Le modèle U8500 a connu un succès certain : 25 millions de téléphones l intègrent, en particulier. plusieurs téléphones de Sony ainsi que le Galaxy S3 Mini. La partie logicielle du modem de la puce U8500 est fourni par Renesas. Renesas Mobile : branche de Renesas dédiée à la fabrication de processeurs applicatifs et de modems LTE et multi-modes, partitiellement rachetée en 2013 par Broadcom. Renesas Mobile a intégré le logiciel radio-mobile de Nokia dès 2009, avant d acheter la branche R&D de Nokia qui en fait le développement. En conséquence, le logiciel du modem mobile de Renesas est commun à celui de très nombreux mobiles Nokia jusqu en 2010 (Nokia ayant par la suite\n15 B. Michau 165 basculé sur des SoC Qualcomm avec l introduction des terminaux sous Windows Phone 7). Broadcom : fabricant de nombreux processeurs et chipsets, dont des chipsets mobiles 2G et 3G (comme le BCM21553 équipant le Samsung Galaxy Y). Suite à l acquisition de Renesas, Broadcom développe une nouvelle ligne de puces LTE. Hisilicon : filiale de Huawei, fabricant de processeurs et chipsets mobiles, principalement intégrés dans des téléphones et clés USB Huawei ; les chipsets radio-mobiles sont dénommés Balong. Parmi les fabricants de modems multi-modes moins connus : NVIDIA (ex-icera) qui équipe certains téléphones ZTE, Mediatek (très présent sur le marché chinois), Spreadtrum. Texas Instruments qui a apparemment quitté en 2008 le marché des modems. Il existe aussi d autres fabricants de chipsets mobiles LTE qui éditent éventuellement eux-mêmes leur logiciel : Samsung fabrique par exemple un chipset LTE équipé de son propre logiciel dénommé kalmia ; Sequans est une société française spécialisée dans les modems OFDM (WiMAX, LTE) et fabrique son propre modem LTE ; Altair est une société israélienne qui fabrique également son propre modem LTE. Depuis l avènement de la 3G, puis les premiers lancements LTE, Qualcomm a pris une position dominante sur une grande partie des terminaux avec ses chipsets intégrés Snapdragon, en particulier sur les terminaux haut-de-gamme. Tous ses composants sont développés par et sous license Qualcomm. L intégration du Wi-Fi et du Bluetooth, et partiellement du système de géolocalisation, a été effectuée grâce au rachat de l entreprise Atheros. De ce fait, Qualcomm fournit une suite logicielle importante afin que les intégrateurs et fabricants de téléphones mobiles puissent exploiter au mieux leur matériel. Afin d avoir une idée plus précise sur le design matériel des téléphones mobiles, des sites Internet réalisent désassemblages et identifications des composants sur des téléphones connus. On constate l omniprésence de Qualcomm sur le segment des ordiphones haut de gamme : Nokia N900  HTC One  Sony Xperia Z  Google Nexus 5  Apple iphone 5S \n16 166 Sécurité des modems mobiles 2.3 Etat de l art de l analyse des modems mobiles Historiquement, les modems de téléphones portables ont été largement étudiés par la communauté du «désimlockage» dans un but lucratif. La compétition forte entre les différents groupes impliqués n a pas contribué à diffuser publiquement les techniques et méthodes employées. La situation a évolué et d autre chercheurs partagent maintenant leur savoir sur Internet. On peut tout d abord citer le projet «MADos» de g3gg0 et Wumpus  qui ont analysé de façon détaillée le modem du Nokia 3310, et publié le résultat de leur analyse sur Internet . Ces travaux ont été réutilisés par des individus revendant des téléphones 3310 dits espions et reflashés avec une version modifiée du code de Nokia pour décrocher automatiquement, sans avertissement visuel ou sonore. De manière plus honorable, les travaux de g3gg0 ont servi à identifier et activer les fonctions de traces réseau du 3310, permettant alors la capture des trames GSM émises et reçues. Cela fut mis en pratique par Duncan Salerno dans le projet DCT3-GSMTAP . En 2007, George Hotz (geohot) implémente en moins d un mois une attaque matérielle sur le modem S-Gold de l iphone 2G, avec l aide de gray, iproof, dinopio et lazyc0der. Il explique de manière très détaillée sa démarche sur son blog (actuellement fermé, mais l historique peut être consulté ). Grâce à l obtention de la datasheet du modem et d un iphone sacrifiable, George Hotz a dessoudé le modem pour exposer les contacts et tracer ainsi l emplacement du JTAG vers un header de 64 pins. De cette manière, il a été possible d accéder au contenu de la mémoire morte de démarrage («bootrom»). Une faille permettant de contourner la vérification de la signature du code en mémoire flash a alors été identifiée. A contrario, le désimlockage des versions ultérieures de l iphone a reposé sur l exploitation de vulnérabilités dans le code du modem, typiquement dans le traitement des commandes AT. En 2011, Luis Miras présente à ekoparty l instrumentation du modem de l iphone 3G via l - exploit «yellowsn0w»  (dépassement de mémoire tampon dans le traitement de la commande AT+STKPROG). En 2012 est publié «ios Hacker s Handbook» dont le chapitre 11 a été écrit par Ralf-Philipp Weinmann avec l aide de MuscleNerd et planetbeing . Ils détaillent le code d exploitation «ultrasn0w» qui enlève le blocage SIM sur certaines versions du modem de l iphone 4 et antérieur. En particulier sont exposés comment l exploit, toujours par une commande AT vulnérable, contourne par une chaîne de POR (programmation orientée retour) la non exécution des zones de mémoire inscriptibles. De même en 2012, lors de la conférence Hack In The Box Amsterdam, MuscleNerd et planetbeing\n17 B. Michau 167 décrivent comment les contre-mesures d Apple ont rendu progressivement le blocage SIM de l iphone plus difficile à contourner . Parallèlement aux travaux de la «Chronic Dev (team)» sur l iphone , Ralf-Philipp Weinmann détaille lors des conférences hack.lu 2010  et USENIX 2012 , ses travaux relatifs à l instrumentation d OpenBTS pour identifier des problèmes de sécurité dans différentes modèles de téléphones. Il montre ainsi comment un jeton d authentification mobile AUTN trop long (normalement limité à 16 octets) donne lieu à un dépassement de mémoire tampon dans la pile d un modem Qualcomm ; il présente aussi comment un identifiant temporaire TMSI de 128 octets au lieu de 4 provoque le crash d un modem Infineon présent sur les iphone 4 et inférieurs. En 2011, Guillaume Delugré présente et publie un debugger destiné aux modems Qualcomm dans les clés USB Option ICON 225 . Un site également intéressant est celui de Tim Newsham qui présente une analyse des modems Qualcomm, qui s exécutent sur un hyperviseur dérivé de L4 . Plus récemment, Willem Hengeveld a publié, via le github de la société allemande GSMK, un module de processeur IDA pour l architecture Hexagon . Ralf-Philipp Weinmann jette en parallèle les bases de l analyse sécurité de cette nouvelle architecture . On peut également citer deux analyseurs de logs publiés en 2013, l un pour les modems LTE de Samsung développé par Ramtin Amin , l autre pour les modems XGold qui équipent les mobiles Samsung développé par Tobias Engel . Il faut mentionner aussi le forum xda-developers et notamment le contributeur E :V :A, qui anime plusieurs discussions sur l analyse de modems Qualcomm et Intel. Enfin, un des principaux efforts dans le monde de l open-source est le projet OsmocomBB . Harald Welte, Sylvain Munaut, ainsi que quelques autres développeurs, publient ce projet, qui est une implémentation open-source d un logiciel baseband GSM destiné aux téléphones GSM Motorola C1XY. Ces téléphones, reposant sur la plate-forme Calypso de Texas Instruments, furent choisis de par l absence de chaîne de confiance lors de la phase de démarrage et en raison de la disponibilité sur Internet des datasheets relatives aux différents éléments constitutifs du système. 2.4 Techniques d analyse Différents moyens d analyse existent afin d étudier le fonctionnement des modems mobiles. Chacun a ses avantages et ses inconvénients, mais dans tous les cas, il ne faut pas escompter disposer de quelconques codes source pour les modems récents (sauf à signer un NDA avec le fabricant).\n18 168 Sécurité des modems mobiles Analyse statique de l image binaire du modem Cette méthode nécessite le moins de moyens matériels. Il suffit de pouvoir récupérer l image binaire qui est chargée puis exécutée par le processeur du modem. Pour cela, on peut récupérer des images de mises à jour complètes des téléphones sur les sites des constructeurs de mobiles (Sony, LG, Samsung, Huawei, ZTE, HTC, etc... ou sur des sites tiers tels que freeflashfile.com ou dc-files.com). Il est alors possible de décompresser l image pour récupérer spécifiquement l exécutable du modem, qui peut être sous une forme qui n est pas directement celle chargeable par le processeur radio-mobile. Il est aussi généralement possible de récupérer les images des modems directement sur les systèmes de fichiers des téléphones mobiles. En règle générale, une image exécutable de modem mobile, selon le nombre de technologies prises en charge (sa complexité) et la manière dont elle a été compilée (sa «verbosité» entre autre), pèse de quelques méga à quelques dizaines de mégaoctets. Pour certains éditeurs, l image est en fait divisée en plusieurs fichiers qui vont être chargés à des positions différentes en mémoire, avant que l exécution nominale ne soit lancée. Une fois l image exécutable correctement extraite, il faut identifier les structures utiles au RTOS pour réaliser l exécution : il s agit la plupart du temps de la liste des tâches ou fonctions principales avec pour chacune, leur point d entrée dans l image exécutable (l adresse initiale assignée au pointeur d exécution lorsqu on entre dans la tâche), modulo l adresse de chargement initiale de l image par le processeur (ou les adresses, lorsque l image est divisée en plusieurs fichiers). Souvent, une chaîne de caractère descriptive est associée au point d entrée de la tâche ou de la fonction, permettant d identifier facilement son rôle au sein du modem. A partir de ces points d entrée identifiés, il est possible de désassembler assez proprement le code exécutable du modem via un outil commercial (IDA Pro) ou gratuit (radare ou objdump ARM / Hexagon). Notons que Ralf-Philipp Weinmann a publié un script  permettant de récupérer sur une image de modem Intel-Infineon X-Gold utilisant ThreadX, la liste des tâches à exécuter avec leurs principales caractéristiques (nom, point d entrée, adresse de la stack, etc...). Le projet opensource docl4amss  propose également une bonne documentation et des scripts d analyse pour AMSS de Qualcomm. Si l on exclut le ou les composants en charge du traitement du signal (DSP), le jeu d instructions du processeur exécutant les fonctions de traitement de plus haut niveau, comme par exemple les gestionnaires de sig-\n19 B. Michau 169 nalisation, est généralement connu. ARM dans ses différentes déclinaisons est très majoritairement employé, mis à part : Qualcomm avec l introduction d Hexagon dans ses puces LTE. Cette architecture est heureusement documentée de manière détaillée , et des chaînes de compilation basées sur gcc et llvm ainsi que des patchs pour le noyau Linux sont également fournis  ; NVIDIA (ex-icera) qui a apparemment développé une architecture non documentée, mais qui paraît, au vu des brevets déposés  proche dans l esprit de celle de Qualcomm : VLIW (paquets d instructions en blocs de 64 bits) avec des extensions pour le calcul parallèle (SIMD) et couplé à des blocs d accélération reconfigurables dits «DXP TM» (Deep Execution Processor) . De même que pour Hexagon, l ensemble des traitements, de la radio jusqu aux protocoles de haut niveau, devrait avoir lieu sur cette même architecture. Analyse statique d empreintes mémoire du modem en cours d exécution La prise d empreinte du système en cours d exécution, ou dump mémoire, peut se faire par différents moyens, selon les possibilités offertes par le modem, l OS applicatif et le matériel. Certains modems offrent, via leur interface de contrôle, la possibilité le lire et / ou écrire leur mémoire. Ceci peut permettre de récupérer une copie complète de la mémoire du modem alors même que celui-ci s exécute : cette méthode peut être utilisée directement via l interface USB pour les modems sur clé USB, ou via l OS applicatif (par exemple, certains mobiles sous Android le permettent). Elle est employée par Guillaume Delugré pour injecter le débogueur qcombbdbg dans la mémoire d une clef 3G à base de modem MSM6280 de Qualcomm. Avec certains téléphones, il est également possible de récupérer un «crash-dump», une copie mémoire lors de l arrêt inopiné de l exécution du modem. La suite logicielle propriétaire (et sous licence) QPST de Qualcomm permet ainsi la récupération d une image mémoire ; les modems d Intel disposent également de cette fonctionnalité, déclenchable par un menu de diagnostic spécifique (sur les téléphones Samsung avec l APK SamsungServiceMode, composer le *# #*). Cependant, le crash-dump n est généralement pas une copie directe de la mémoire, mais contenue dans un format propriétaire qu il est alors difficile d analyser sans connaissances préalable du format. Une alternative plus générique est d employer l interface JTAG du modem lorsqu elle est disponible. C est généralement le cas sur de nombreux\n20 170 Sécurité des modems mobiles modèles de clefs 3G à base de puce Qualcomm ; la principale difficulté étant l identification des pins correspondants sur le PCB. Il arrive que leur emplacement soit documenté sur Internet ou par un logiciel spécialisé (comme par exemple la RIFF BOX). Alternativement, le projet JTAGulator de Joe Grand  donne la possibilité de tester un grand nombre de combinaisons pour retrouver le pinout complet. Une fois l interface JTAG identifiée, les mécanismes JTAG offrent la lecture et l écriture en mémoire : il est donc possible d effectuer une copie de celle-ci via cette interface. L outil open-source OpenOCD permet alors de récupérer le contenu de la mémoire ; de poser des points d arrêts et de tracer l exécution du code. Cette méthode ne fonctionne plus avec l introduction de puces LTE et d Hexagon par Qualcomm, et donc l abandon de l architecture ARM (pour laquelle les commandes JTAG variaient très peu entre constructeurs). En l absence de documentation, le seul fournisseur tiers de produits de déboguage JTAG pour Hexagon reste Lauterbach . Analyse dynamique de l exécution du modem L analyse dynamique de l exécution du modem, par JTAG, est a priori assez délicate ; en particulier l arrêt prolongé du processeur peut donner lieu au déclenchement inopiné de «watchdog» et au redémarrage du processeur. Le JTAG reste cependant un outil majeur en raison de son indépendance par rapport à un constructeur spécifique. Certains systèmes d exploitation de modems prévoient des fonctionnalités d analyse et de reporting via des outils propriétaires. Qualcomm fournit par exemple une suite d outils (en particulier QPST et QXDM) destinés principalement aux fabricants de terminaux et aux opérateurs mobiles : ces outils permettent de récupérer de nombreuses informations à propos des tâches en cours d exécution dans le système, mais aussi de nombreux paramètres et statistiques concernant la configuration radio et la connectivité du modem. Analyse du comportement du modem sur les réseaux mobiles Une dernière méthode d analyse du modem est de regarder son fonctionnement détaillé à partir de traces faites côté réseau mobile : ceci est présenté dans le chapitre 3. Il existe également des outils qui collectent les logs générés par les modems et en permettent l analyse par exemple avec wireshark (tels que ceux publié par Tobias Engel ou Ramtin Amin). Globalement, peu de\nTesteur de protocole basé PC pour UMTS LTE\nTesteur de protocole basé pour UMTS LTE Les développements pour la nouvelle norme de radiocommunication mobile UMTS Long Term Evolution (LTE) sont en pleine effervescence. Face à cet exceptionnel défi,


Présentation de la base de données Science Direct - ppt video online télécharger\nPublié parPerceval Hamelin Modifié depuis plus de 7 années\nPrésentation au sujet: "Présentation de la base de données Science Direct"— Transcription de la présentation:\n1 Présentation de la base de données Science Direct\nPrésentation réalisée par M. Carron Ludovic. Documentaliste CIRD\nIntroduction à la documentation scientifique Présentation générale de l’interface Recherche d’un article déterminé Recherche sur un thème donné S’enregistrer, enregistrer une recherche Alertes\n3 Introduction à la documentation scientifique\nLa documentation scientifique concerne tous les documents rédigés par des scientifiques. Nous nous concentrerons aujourd’hui sur les documents de type article de périodique. Il s’agit du média principal de communication des scientifiques.\n4 Introduction à la documentation scientifique\nL’objectif du scientifique, lorsqu’il rédige une communication scientifique, est de communiquer à ses pairs le résultat de son travail de recherche. La rédaction d’un article scientifique correspond à une organisation rigoureuse et précise qui permet : La lecture plus aisée des documents L’indexation automatique dans les bases de données.\n5 Comment se présente un article scientifique?\nPrenons l’exemple de l’article suivant : The provision of scholarly journals by libraries via electronic technologies: an economic analysis The integration of open access journals in the scholarly communication system: Three science fields\n6 Présentation générale de l’interface de Science Direct\nScience Direct est une base de données permettant l’accès direct au texte intégral d’articles et d’ouvrages scientifiques. 2500 périodiques scientifiques 6000 ouvrages Tous les documents contenus dans la base de données ne sont pas accessible directement. Cela dépend des abonnements pris par le centre de documentation.\n9 Accès à la base de données\n10 Accès à la base de données\n11 Accès à la base de données\nL’autre possibilité pour accéder à Science Direct est de tout simplement rechercher « Science Direct » via Google. Science direct est une base de données anglophone, comme l’est d’ailleurs la plus grande partie de la littérature scientifique. La langue à utiliser est donc l’anglais.\n12 Présentation générale de l’interface\n13 Recherche d’un article déterminé\nLa recherche d’une référence précise est aisée avec Science Direct. Il s’agit d’indiquer le titre de l’article, son/ses auteur(s), le titre de la publication, etc.\n14 Recherche d’un article déterminé\nIl existe plusieurs méthodes. Il est aussi possible de trouver une référence donnée en recherchant la revue dans laquelle elle est publiée. Il faut utiliser l’onglet « Broswe » puis sélectionner le périodique concerné. Il est possible de présenter les périodiques par thèmes ou par ordre alphabétique.\n15 Classement par ordre alphabétique\n16 Classement thématique\nPrenons l’exemple d’une recherche sur l’article « The Web impact of open access social science research » publié dans le périodique Library & Information Science Research. Volume 29, Issue 4, December 2007, Pages\n19 Recherche d’un article déterminé\nL’autre méthode consiste à lancer une recherche grâce au moteur de recherche de Science Direct.\n21 Recherche sur un thème donné\nTous les articles scientifiques sont décrits par des mots clefs. Ces mots clefs sont choisis par le ou les auteurs de l’article et décrivent sur quoi porte l’article. Il s’agit d’un vocabulaire libre. Prenons l’exemple d’une recherche sur le thème digital library.\n22 Recherche sur un thème donné\n23 Cliquer ici pour passer directement au TD\n24 S’enregistrer S’enregistrer sur le site Science direct permet de mémoriser les recherches effectuées et d’avoir accès aux alertes. S’enregistrer sur Science Direct est simple.\n26 S’enregistrer Historique des recherches\n29 Flux RSS (RSS Feed)\n30 Flux RSS (RSS Feed)\n32 Alertes Il existe d’autres types d’alertes Alerte de recherche\nAlerte de publication Alerte de Citation (alerte lorsqu’un article cite l’article selectionné)\n35 Fin de la présentation Suite de la séance : TD (30 mns)\nExercices (évalués) (30mns)\nTélécharger ppt "Présentation de la base de données Science Direct"


France Poker Series Day 3 : Yaïche mène le field – Poker52\nBasile Yaïche serait-il en passe de signer un exploit ? C’est en tout cas fort de pas moins de 816 000 jetons que le jeune pro de la Team Eurosport a terminé le Day 2 des France Poker Series, lors de la grande finale organisée à Paris depuis déjà 4 jours (dont trois Day 1).\nLe rythme a été soutenu toute la journée puisque près de 200 éliminations ont eu lieu, avec un field passant de 241 à 53 joueurs en l’espace de 9 heures de jeu à peine ! La plupart des têtes de séries n’ont ainsi pas passé ce cap fatidique du Day 2, et de la bulle qui éclatait à 81 joueurs. Le malheureux bubble-boy n’est autre que Claude Marbleu, récent gagnant du tournoi Men Only à Deauville lors de l’EPT, et joueur historique de poker et de backgammon…\nCôté têtes connues encore en lice, on note Thomas Bichon (en dessous de la moyenne à quelques jetons près), Marc Inizan (victime d’un blow-up mémorable lors du WPT National Series, en Day 2), Marc Inizian, Léo Truche, Adrien Allain et un des très rares étrangers à s’être inscrit au tournoi, Michael Tureniec.\nLe rythme du Day 3 devrait être du même acabit, avec des blindes assez élevées (Yaïche possède tout de même 100 BB de tapis), et une structure de payout qui encourage à jouer la table finale plutôt que les places payées…\nEuropean Poker Awards : et les gagnants sont…


IBK: «Je mets au défi mon adversaire: s’il a des choses à dire, qu’il les dise»\nPublié le : 09/08/2013 - 08:22 Modifié le : 09/08/2013 - 17:34\nIbrahim Boubacar Keïta. Pierre René-Worms / RFI\nLes Maliens seront appelés aux urnes dimanche 11 août 2013 pour le second tour de la présidentielle. Face à face, Ibrahim Boubacar Keïta, ancien Premier ministre et Soumaïla Cissé, ancien ministre des Finances. Jeudi 8 août, vous avez entendu sur notre antenne et lu sur notre site l'entretien avec le candidat Soumaïla Cissé. Aujourd’hui, RFI vous propose le point de vue de son adversaire, Ibrahim Boubacar Keïta.\nRFI:Les chiffres définitifs du premier tour de l'élection présidentielle, annoncés par le Conseil constitutionnel, vous placent à une dizaine de points de la victoire. Est-ce que vous êtes confiant ?\nIbrahim Boubacar Keïta : Oui, il n’y a pas de raison que je ne le sois pas. Ce premier tour laisse augurer de bonnes choses. Vous savez, j’entends beaucoup de choses. Mais que je sache, dans un match de football, on ne dit pas que ce qui a été engrangé durant la première mi-temps ne compte pas ? Que l’on repart simplement pour un nouveau match ? Chacun appréciera à sa façon. Moi, je suis tranquille par rapport à tout ce genre de raisonnement. Je sais simplement que dimanche, les Maliens, plaise au ciel, vont encore sortir massivement et à la face du monde, de l’Afrique, réaffirmer leur détermination, dorénavant, à assurer leur destin.\nEst-ce que vous ne craignez pas, tout de même, un scénario « à la guinéenne », où Cellou Dalein Diallo obtient 43 % au premier tour, puis finalement, c’est votre ami de l’Internationale socialiste, Alpha Condé, qui l’emporte, alors qu’il n’avait eu que 18 % au premier tour ?\nLes sujets ne sont pas du tout comparables. Je laisse à ceux qui se font des illusions, le soin d’ergoter. Je n’ai aucun commentaire à faire à ce sujet. A ceux qui voudraient se bercer d’illusions en faisant cette comparaison, grand bien leur fasse.\nVotre adversaire, Soumaila Cissé, affirme qu’on a assisté, au premier tour, à une fraude organisée, « quasiment scientifique » dit-il, qu’est-ce que vous lui répondez ?\nJ’éclate d’abord de rire ! Et je dis simplement ce mot que les criminologues du monde entier savent : à qui profite le crime ? Moi, Ibrahim Boubacar Keïta, dont tout le monde a vu avec quelle ferveur, avec quel enthousiasme, les masses maliennes m’ont accueilli, je ne suis pas du tout en peine et c’est moi qui organiserais une fraude quelconque ? Laissez-moi rire.\nAlors, tout de même, il y a eu 390 000 bulletins nuls selon les chiffres de la Cour constitutionnelle. C’est énorme et est-ce que ce n’est pas suspect ?\nPar rapport à qui ? Je suis tout à fait droit dans mes bottes, clair et propre. Je ne crois pas que ce soit la première fois au monde que le voleur crie au pillage de ses ressources. Je n’ai aucun problème par rapport à ça, les Maliens savent la réalité.\nVous étiez persuadé que vous alliez remporter l’élection dès le premier tour. Que pensez-vous finalement des résultats publiés par la Cour constitutionnelle qui vous contraignent au second tour ?\nJe n’ai jamais dit : « La victoire au premier tour ou la mort ». J’ai dit que ce qui se profilait pouvait nous y conduire ; mais quand cela n'est pas, je suis un démocrate, je n’y ai trouvé absolument aucun inconvénient. Au contraire, je pense que cela sera beaucoup plus clair et beaucoup plus net le 11 août.\nAutre critique de votre adversaire, il vous reproche d’avoir trop joué de la corde religieuse pendant la campagne. Et il dit « ce sont des cordes dangereuses, vraiment, je le mets en garde de trop tirer sur ces cordes-là ».\nJe crois que je demanderai à mon cadet de savoir raison garder. Que j’aie l’appui des autorités religieuses, c’est un fait. Mais personne ne m'a entendu dire autre chose dont on pourrait dire aujourd'hui que ce serait une sorte d’appel à un rassemblement islamique autour de ma personne : jamais. Je fais le constat que les autorités religieuses, que les milieux musulmans, ont considéré que je suis un homme sérieux, que je suis un homme propre. J’ai entendu d’ailleurs, à ce sujet, des allusions perfides. Je mets au défi mon adversaire : il dit qu'il a des choses à dire, qu’il les dise.\nQu’est-ce qui vous différencie de votre adversaire ? Qu’est-ce qui selon vous, va pousser les Maliens à voter pour vous dimanche prochain ?\nJe ne ferai pas les comparaisons qu’il a faites...\nSi vous êtes élu, quelle est la première mesure que vous mettrez en œuvre pour les Maliens ?\nJe mettrai d’abord en place un gouvernement, lequel prendra en charge la mission la plus importante à mes yeux : celle qui consiste à rassembler le Mali et les Maliens. Et je pense que l’accord préliminaire de Ouagadougou est une urgence. On ne peut pas faire redémarrer un pays, sans l’assise de paix. C’est donc un point important pour moi, auquel j’accorderai l’importance qu’il mérite. Et je pense qu’il y a des problèmes dans ce pays, qui sont des problèmes globaux de développement, d’aménagement du territoire et de partage du pouvoir... Mais d’abord, que nous en parlions, que nous nous accordions sur l’essentiel, étant entendu que ce qui, pour moi, est absolument hors de toute négociation, est l’intégrité territoriale du Mali et la souveraineté du Mali.\nSi vous êtes élu, quel type de président souhaitez-vous être ?\nUn homme d’Etat imperturbable, un homme d’Etat qui ne perdrait pas facilement son sang-froid, un homme d’Etat qui, en toutes circonstances, saurait défendre et préserver les intérêts du Mali. Les Maliens l’ont expérimenté et les Maliens, apparemment, en voudraient encore.\nQu’est-ce que vous ferez si vous êtes battu au second tour ?\nJe suis un démocrate. En 2002, chacun sait désormais ce qu’il s’est passé, en 2007 également. Nul ne m’a entendu dire autre chose que « dura lex sed lex », « ainsi j’ai été, ainsi je suis, ainsi je serai ».\nMali: à la sortie de la grande mosquée de Bamako, les élections font toujours débat\nPrésidentielle malienne: il n'y aura pas de débat d'entre-deux tours\nMali: la campagne du second tour se fera au pas de course\nLa ruée vers l'or artisanal du Sahara et du Sahel (1)\nRDC: violences lors de la prière de fin de ramadan à Kinshasa


Un couple du Shandong condamné à la prison pour leur pratique du Falun Gong | Falun Dafa - Minghui.org\nMardi 6 novembre 2018 | Écrit par un correspondant de Minghui de la province du Shandong, Chine\n(Minghui.org) Un homme âgé de 63 ans du canton de Yishui a été envoyé à la prison de Ji'nan pour un peine de trois ans après que la cour intermédiaire de Linyi a rejeté son appel le 13 août 2018, sans qu'il y ait d'audience.\nAprès l'emprisonnement de M. Ma Shengcai, son épouse, Mme Cai Honghua, a été placée en détention le 18 septembre 2018. Elle a reçu une peine d'un an et demi au cours du même procès que son mari en mai, mais elle a été libérée sous caution à cause de son hypertension.\nLe couple a d'abord été arrêté le 21 juillet 2017 pour leur pratique du Falun Gong, une discipline spirituelle persécutée par le régime communiste depuis 1999. La police a saccagé leur domicile et les a emmenés au poste de police pour interrogatoire.\nEnsuite, M. Ma a été transféré au centre de détention de Yishui et il a été gardé là-bas jusqu'à ce qu'il soit emmené en prison.\nMme Cai, 64 ans, a été remise en liberté sous caution après avoir passé quinze jours en détention administrative. Le 25 avril 2018, elle a été informée par un membre du personnel de la cour du canton de Yishui qu'elle devait se rendre au centre de détention de Chaishan pour un procès en commun avec son mari.\nAprès que Mme Cai est entrée dans la salle d'audience improvisée du centre de détention, la police a bloqué l'entrée aux membres de famille et a menacé de les arrêter s'ils insistaient pour entrer.\nM. Ma a défendu leur innocence et a argumenté qu'ils n'avaient enfreint aucune loi en pratiquant le Falun Gong. Le juge l'a empêché de continuer à parler et a ajourné l'audience après vingt minutes.\nLe couple a reçu le verdict le 7 mai. Ils ont reçu chacun une amende de 10 000 yuans en plus de leur peine de prison.\nMme Cai, qui est restée en liberté sous caution après sa première condamnation, a été emmenée au poste de police de la ville de Longjiaquan le 17 mai mais a été remise en liberté le même jour après qu'on a constaté son mauvais état de santé. La police l'a de nouveau condamnée quatre mois plus tard et l'a envoyée au centre de détention de Hedong à la ville de Linyi le 18 septembre.\n“Bazhong, province du Sichuan : 17 personnes arrêtées dont 10 poursuivies en justice pour leur croyance”\n“Une femme de 72 ans reçoit une peine de deux ans et demi pour avoir parlé de la persécution de sa croyance à des gens”


Liste de technologies, logiciels et langages de programmation utilisés\nDisponible pour une mission\nJeu de morpion réalisé d’après un article sur le site Math With Bad Drawings. Démarré en 2013 pour avoir un jeu sous la main pendant trois semaines de randonnées au Canada, le jeu a maintenant été complètement réécrit en Swift. Il offre …\nSaneScanner permet de se connecter sans fil à un serveur SANE, régler les paramètres d’acquisition et scanner un document directement sur votre iPhone ou iPad ! Comment utiliser SaneScanner : ajouter le nom ou l’adresse IP de votre serveur SANE …\nProjet freelance : création d’une application de TV en direct et de Vidéos à la demande pour Aldo Maru en Indonésie. Réalisé avec l’équipe de Veygo, société spécialisée dans la diffusion de contenus vidéos sécurisés sur internet. L’application s’interface avec …\nProjet freelance : planning mobile pour le studio INPulse donnant accès aux fonctionnalités suivantes : planning complet du studio mise en favoris des cours suivis régulièrement page de détail pour chaque cours rappel matinal pour ne pas oublier ses affaires …


Publié par Manutan le 13 juin 2018 | Mis à jour le 14 juin 2018 à 09:19\nA travers le cas pratique d'Eric, responsable de production d'une entreprise industrielle, les machines de distribution sont expliquées en détail : fonctionnement, mise en place... et surtout les nombreux bénéfices induits :\nRéduction de la consommation des produits de 20 à 30% ;\nAugmentation de la productivité en économisant le temps de déplacement des collaborateurs ;\nMise à disposition des produits 24 heures sur 24, 7 jours sur 7 et 365 jours par an. Aucune rupture de stock !\nAmélioration de la sécurité en garantissant à chaque employé d'accéder au bon produit adapté à ses activités ;\nOptimisation des processus d'approvisionnement.\nInscrivez-vous à la newsletter et découvrez d'autres solutions innovantes pour optimiser vos achats.


Céleste Business vous accompagne - CA Optimum\ncontact@caoptimum.com 05 49 46 71 55\nHenri Thibaut, un entrepreneur dans l’âme au service des entreprises !\nAyant fait ses armes dans le développement d’une franchise de boulangeries en Corrèze, Henri Thibaut s’est rapidement découvert une passion pour la communication qui gravite autour de l’entreprise. Il a donc rejoint la plus grande agence web et communication de la région pour développer le département de la Haute-Vienne.\nRapidement, il a compris que le statut de salarié n’était pas à la hauteur de ses ambitions, c’est alors qu’il se lança comme mandataire immobilier indépendant dans une agence puis au sein d’un réseau national. Fort de son potentiel important dans le développement de réseaux commerciaux, il a vite monté une équipe qu’il manage et qui compte aujourd’hui plus de 60 personnes.\nCéleste Business : plus qu’une entreprise, un concept qui saura vous accompagner dans votre quotidien de chef d’entreprise.\nCéleste Business boosté par CA Optimum\nToujours à l’affût de nouveaux challenges, il a décidé de créer Celeste Business, et de s’épauler de CA Optimum SAS, structure de formation et de développement bien connue dans la Vienne, pour faire bénéficier aux entreprises de son savoir-faire dans les domaines suivants :


Création de site web à Verruyes\nCréation de site web Verruyes\nVous êtes une PME / PMI basée à Verruyes (79310) et souhaitez créer un site internet adaptatif sous cms open source transparent et simple à gérer en collaboration avec une agence web locale à taille humaine avec de vrais interlocuteurs? Vous êtes au bon endroit.\nDepuis 2007, le studio 449 accompagne les entreprises, TPE, PME et PMI de Verruyes (79310) dans la création de leur communication visuelle et de leurs outils web à haute valeur ajoutée. Le but premier de toute communication visuelle étant de générer des contacts qualifiés afin de développer la visibilité de l'entreprise et par conséquent de son chiffre d'affaire, nous vous accompagnons sur les sujets d'optimisation technique et éditoriale de vos pages internet. Que cela soit pour un site one-page, e-virtrine, catalogue en ligne ou e-commerce (pour une refonte ou une création), nous sommes force de proposition et vous suivons tout au long du développement de votre site internet afin que celui-ci reste performant pour la visibilité et l'accessibilité de votre projet. Nous développons vos sites internet avec des solutions open source économiques, transparentes et orientées sur les objectifs que nous aurons établis ensemble. Dans le cadre de la mise en route de nos projets, nous vous proposons une formation au back office de votre CMS afin que vous ayez le contrôle complet de votre projet et de son référencement naturel. Nous mettons aussi en place les outils nécessaires à la consultation de statistiques de fréquentation de votre site pour que vous puissiez rester maitre de votre site web et apporter les modifications éditoriales (contenu) et / ou techniques. Nous pouvons aussi vous proposer un suivi dédié webmarketing, référencement naturel. Nos solutions d'hébergement sont assurées par un prestataire unique avec lequel nous travaillons depuis plus de 10 ans. Afin de répondre à une demande croissante de notre clientèle, nous avons mis en place un service de suivi et d'optimisation technique dans laquelle nous vous proposons des audits et apports de solutions qui en découlent.


Les membres du GCIUS 2008 sont Alexandre Pépin-Ross, William Wilson, Simon Pelchat, Karine Beaulieu-Desrochers, Kristell Savard et Stéphanie Lavergne.\nDepuis quelques jours, les membres du Groupe de collaboration internationale en ingénierie de l'UdeS (GCIUS) se mobilisent dans la communauté de Bama, au Burkina Faso, afin de réaliser une infrastructure qui servira à l'étuvage du riz. Leur projet se déroulera jusqu'en décembre.\nL'équipe 2008 construira une série de bâtiments d'un étage en béton couvrant une surface d'environ 450 m2. La coopérative de femmes étuveuses de Bama et le comité interprofessionnel du riz du Burkina (CIR-B) bénéficieront de cette initiative qui favorisera la filière de cette graminée. Abandonnée en 1992 par le gouvernement burkinabé pour se plier aux normes édictées par la Banque mondiale et le Fonds monétaire international, cette céréale nourricière reprendra éventuellement toute sa place sur le marché national.\nEn mars, deux membres de l'équipe ont exploré le terrain près de Bama en rencontrant 200 des 300 femmes étuveuses, le maire et des membres du CIR-B pour évaluer la situation, déterminer leurs besoins et trouver des fournisseurs de matériaux.\nLes membres du GCIUS déploieront leurs expertises en quatre volets : les étudiants en génie civil au nombre de quatre superviseront la construction du bâtiment principal par l'embauche de travailleurs locaux, entre autres, et ils devront acheter les matériaux relatifs à la construction auprès des fournisseurs.\nLa région où le projet a pris racine souffre d'une déforestation causée en partie par les travailleuses qui utilisent le bois pour chauffer l'eau servant à l'étuvage du riz. D'une part, Stéphanie Lavergne, étudiante en génie biotechnologique, aura comme mission d'améliorer le procédé de l'étuvage du riz. En concevant un four qui utilisera les écorces de riz comme combustible, le GCIUS soulagera la population qui paie le prix fort pour s'en débarrasser. D'autre part, Simon Pelchat, étudiant en génie électrique, supervisera l'aspect électrique de l'édifice, l'un des seuls du village à bénéficier de cette source d'énergie.\nMentionnons par ailleurs que dans le cadre du projet Sismik, une division du Club des petits déjeuners du Québec, 13 élèves du secondaire seront initiés à la coopération internationale en séjournant deux semaines à Bama pour donner un coup de main à l'équipe de l'Université de Sherbrooke.\nChaque année, depuis 2002, le GCIUS rassemble six étudiants en formation. Réunis sous la même bannière, les futurs ingénieurs canalisent leur énergie, leur force et leur volonté d'action dans un objectif commun : réaliser un projet d'ingénierie à incidence durable ayant un impact positif sur le niveau de vie de communautés localisées dans des pays en développement.\nVous pourrez suivre l'évolution du projet sur Internet.


Comment devenir Enseignant-suppléant dans l'Enseignement Catholique? - DDEC 64\nVous trouverez ci-dessous les dossiers de demande pour devenir suppléant dans l’Enseignement Catholique.\nCes dossiers sont à imprimer, à remplir, à compléter par les documents demandés et à renvoyer par mail à secretariat@ddec64.fr ou par courrier à :\nDDEC Béarn et Pays-Basque\nService des suppléances\n10, chemin de Frais\nA la suite de la réception de ce dossier, vous serez contacté par mail pour vous proposer de vous inscrire à une réunion d’accueil sur le site DDEC. Cette réunion sera animée M. GUIGNARD, Délégué Général aux affaires scolaires. Il y en a d’organisées à PAU et à BAYONNE. Cette rencontre aura pour but de faire connaissance et de voir si votre projet personnel et celui spécifique de l’Enseignement Catholique sont en adéquation, ainsi que de vous présenter le métier et les voies possibles de titularisation.\nAvant de remplir ce dossier, nous vous conseillons de lire attentivement les deux documents ressources (également téléchargeables ci-dessous) afin que vous puissiez découvrir le caractère propre des établissements catholiques d’enseignement (la plaquette “Etre prof dans l’Enseignement Catholique” et le “Statut de l’Enseignement Catholique”). En effet, nos institutions remplissent une double mission que sont :\nla mission d’Eglise en termes d’éducation de la personne\nla mission d’enseignement par association à l’Etat (Contrat): participation au service public d’éducation.\nTélécharger le dossier pour le 1er degré Télécharger le dossier pour le 2nd degré Télécharger “Etre prof dans l’Enseignement Catholique” Télécharger le “Statut de l’Enseignement Catholique”


Accueil › Abdulah Mohamedi\nJe m’appelle Abdulah Mohamedi. Je vis avec mes parents. J’ai 2 frères et 4 sœurs. Je suis en 5 ème année. Je suis actuellement à l’école primaire et ma matière préférée est l’orthographe. J’aime les jeux de ballon. Je suis en bonne santé.


CAN 2015 : Côte d’Ivoire- Algérie, duel très attendu !- Live sur Africatopsports - Africa Top Sports\nActu CAN 2015 : Côte d’Ivoire- Algérie, duel très attendu !- Live sur Africatopsports\nLe 1 Fév 2015 à 18:58\nLes confrontations entre la Côte d’Ivoire et l’Algérie connaissent toujours des rebondissements. Il est vrai, les deux pays sont parmi les meilleurs sur le continent. Ils ont participé à la dernière Coupe du Monde, Brésil 2014, même si leur parcours ont été différents. Les Eléphants étaient sortis au premier tour alors que les Fennecs ont été éliminés au second tour par les futurs vainqueurs, les Allemands.\nIvoiriens et Algériens se sont déjà affrontés en phase finale de CAN. Deux succès pour chacun (Côte d’Ivoire, 3-0 en 1968 et 3-0, en 1992) ( Algérie, 3-0 en 1990 et 3-2 a.p en 2010) et deux matchs nuls (1-1 en 1988 et 2-2 en 2013).\nPour cette rencontre, l’issue sera incertaine. Hervé Renard, le sélectionneur des Eléphants, le sait: « Je ne suis pas devin, mais je pense que ce match sera à l’image de ce tournoi : très disputé et qu’il se jouera sur des moments clés. Je pense que ce sera très serré. »\nFoued Kadir, lui, a pris part à la dernière victoire des Verts face aux Eléphants et il veut, bien évidemment, que le même scenario se reproduise.\n« J’étais sûr qu’on allait me le ressortir, celui-là. C’est vrai qu’on en garde un bon souvenir, concède l’attaquant algérien. Je ne sais pas si la peur a changé de camp. Mais je sais que les Ivoiriens ont des craintes par rapport à nous, par rapport à ce match de 2010. Ils savent qu’on a une équipe assez joueuse. Mais c’est l’équipe qui en voudra le plus qui l’emportera, je pense. »\nQui va se qualifier pour la rencontre ? Suivez le live d’Africa Top Sports pour pronostiquer.\nArticle précédent CAN 2015: Le Ghana se qualifie tranquillement pour les demi-finales\nArticle suivant CAN 2015: Ambiance de fête après la qualification de la Guinée Equatoriale -Vidéo\nbadri88 1 Fév 2015 22:04\nLien pour regarder algerie vs cote d’ivoire direct streaming


. navire de dragage : DC, for the construction of offshore . . machine d extraction de sable machine pour extraction . Image Produit dragage des, de fer la . Contacter le fournisseur » ... Matériel d'extraction, de lavage, de broyage et de tri des .\nMoyens de production - Reprise par usinage - BVS\nReprise par usinage, Moyens de production chez BVS. Certaines formes ou précisions dimensionnelles ne peuvent être obtenues que par usinage d'ébauches de frappe réalisé, soit en ligne, soit sur des tours de …\nmachine qui sépare lor du sable - icforest.in\nmachine pour separer l'or du sable . machines a separer lor de la terre . machine a separer du sable et . et il se déposera du bioxyde de manganèse brun qui . installation de séparation de lor utilisé - Est utilisé dans de nombreuses . Comment faire pour extraire lor du sable de machine de fabrication de sable …\nde lavage, de broyage et de tri des sables et Gagnez en visibilit de manire prenne sur les moteurs de Socit de distribution de machines google machine de sables | Raymond moulin machine de dragage de sable listes de produit sur french.Alibaba ile de la Runion.\nsable la machine de concassage à vendre - lagiraudiere.eu. pierre de sable pour la fabrication de roche à . Machine à sable,Broyeur de sable . Machine de concassage à vendre en algérie. Concassages, recyclages d'occasion et neufs à vendre . Un traitement de sable . Certains peuvent être réglés pour écraser des pierres .\nMachine à laver de sable de série LSX . Lire la suite . Projet . Broyage de calcaire en belgique . Contacter le fournisseur; vendre machine de fabrication de sable concassé à . feldspath machine de sable concassé à vendre au . fabricants de concasseurs de pierre dans le sable de pune . mâchoire fabricants de concasseurs à sable .\nmachines de sable de robo et plante - sandhyaengineering.in\nconception de la plante de lavage mines de bauxite machines de nettoyage et de tri. des salons sur les . meilleure sable infos et rs de la machine vsi . ... Plante super phosphate machine sable de concassage dans le prix inde à vendre. prix des machines sable de de machines robo usine sable faisant la machine et .\nPlate-forme De Tri De Sable - it-events.eu\nSon parc de machines est à la pointe de la technologie. C'est ainsi la plus grande plate-forme de tri d'Europe. Informations pratiques Lieu : PIC Wissous . ... Vente de sable et . zone de tri des déchets mélangés, zone de stockage des déchets bruts et plate-forme de concassage de .\n· Gulin Machines -Crible Vibrant-Laveur de Sable-Laveur de Sable à vis … tamis d un crible vibrant; tamis vibrant de tri prix … tamiseur vibrant crible rotatif -Crible Vibrant-Laveur de Sable … tamiseur à tambour cylindrique actionn … tubercules introduits une …\nla fabrication de machines de sable en inde - bathroomstore.eu\nMatériel d'extraction, de lavage, de broyage et de tri des sables et ... Matériel d'extraction, de lavage, de broyage et de tri des sables et graviers ... production de minerais et de minéraux (charbon, pierre, céramique, verre) ... Conception/réalisation/entretien d'installations pour le traitement des ...\n· Sable, pierres & gravier décoratif: prix durablement bas, large choix, droit de retour de 30 jours, aussi possible au magasin!PAGEWEB CONGO - 2100 Carrières de pierre - Gravier, sable -ACTIVITES :\ntamis vibrant de tri extraction de encyclopidia . sable vibro machine de criblage bangalore pompe avec tamis vibrante tamis vibrant de tri prix filtre &#; tamis sable, carrière, bangalore oasinido sable de vibro machine de criblage bangalore,, Matériel pour l"extraction, le lavage, le broyage et le tri, materiel pour carriére de sable.\nmachine pour fabriquer de la poudre -SBM Machinery. caractristiques des transporteur bande de minerai; ... beton a base de sable de ... de bicarbonate en poudre dans le tiroir de l'adoucisseur de la machine …\n· Drague De Sable En Lagune listes des fichiers PDF drague de sable en lagune … mise en place d'une mine, un chenal de navigation fut dragué au cours … machine pour extraction de sable suceuse – CGM Project Case\nMachine Automatique De Souffle De Sable - it-events.eu\nDispositif fulminant de sable, machine de nettoyage de . soient fournis avec la machine de souffle de . lavage à contre-courant automatique 2.5 . Obtenir le prix et le support. ... Machine automatique de tri. Machine automatique de tri, Tri et conditionnement chez BVS. Obtenir le prix et le support. Pistolet de sablage - Achat / Vente pas cher.\nMachine de criblage de sable rotatif en Inde Mélange de tambour à écoulement parallèle prix d . Get Price And Support Online; sable machine de fabrication en Allemagne utilisé pour . criblage de sable et laverie . machine broyer des pneus fabrique en Allemagne machine pour broyage de pneus usines de fabrication de ciment En Allemagne .\nsable machines de la mine de la riviere - eucadis. matériel d exploitation minière de l uranium . materiel de dragage de sable d occasion Machine dragage de . L'or se trouve dans des plages de sables et . Obtenez le prix et le support en ligne »\nmachines de lavage de sable a hydrocyclones INSTALLATIONS ET EQUIPEMENT POUR LE Les groupes de récupération de sable avec hydrocyclones et les. ... Tamisage. Tri. · Option sur les deux machines avec détecteur de métaux Mogensen MikroSort ... Unités compactes de lavage de sable • Lavage de sable par hydrocyclones. machine-lave-hydrocyclone -\nMachine De Fabrication De Sable Basaltique. ... Matériel pour l'extraction, le lavage, le broyage et le tri des sables et . Nous sommes spécialisés dans le concassage de béton, vente de produit voirie, récupération de Fabrication de machine de séchage pour industriels.\nJermain fait écraser machin de sable - frietenzo.eu\nJermain fait écraser machin de sable machines utilis&#;es pour la station de lavage du sable vente. Machine concasseur de pierre >> lavage du sable et machines de … de tout faire pour que la station de lavage soit … &#; machine a ecraser le manioc &#; du sable … Lire la suite>> machine &#; &#;craser le sablepcuypers.be\nNettoyeurs de sable Archives - Canicas\nLes nettoyeurs de sable CANICAS sont présents en Europa (France, Espagne, Belgique, Chypre, Grèce et FOD) et à l'international (Chine, Émirats Arabes Unis, Maroc, Tunisie, Algérie, Egypte, Canada, Angolra, île de la Réunion).\nEquipement minier,Machine de fabrication de sables… Mieux connaître notre société. Située à Zhengzhou, en Chine, Nous est une société anonyme, spécialisée dans la R & D, la fabrication, et la vente de machines de grande et moyenne taille, telles que l'équipement minier, l'équipement métallurgique, et les installations de matériaux de construction.\nextraction de lor de sable - hosannacommunitychurch.org\nmachines de tri pour extraire l'or - pulsarex.eu. drague machine pour extraction de l'or -SBM Machinery. Machine d'extraction de l'or silencieuse . Romains au I et de l'or en piochant pour extraire des pierres pour . le tri des sables et .\n. pour lavage de sable SBM machine pour lavage de . le lavage des agrégats, la récupération de sables . lavage de sable machines à fabrication de . Contacter le fournisseur; machine de fabrication de sable pour la vente -SBM . Matériel pour l'extraction, le lavage, le broyage et le tri des sables et .\nTrouver une offre d'emploi en tant que Operateur de machine a jet de sable. La égorie operateur-de-machine-a-jet-de-sable est celle qui renferme le métier Operateur de machine a jet de sable. On compte en tout, 583 opportunités de carrière pour cette recherche.


mes yeux qui brillent - Page 9 - La Fée et la Tortue\nSUMMER SWAP !\nBonjour ! En cette journée humide et après une nuit d'orage terrible ( longue coupure d'électricité ( qui a affolé Capucine ! ), une infiltration d'eau ( que l'on connaissait déjà...! ) ), j'ai reçu un colis qui a mis du soleil dans la maison !!!!!!!! J'ai reçu mon colis du SUMMER SWAP organisé par ma chère Lundi27 ! Le tirage au sort a fait que j'étais la binôme de cette dernière !Quand j'ai déballé avec Capucine, nos yeux se sont mis à briller et les WOUAAAAAAAAAA ( cri d'admiration préféré de ma Minette ! ) ont fusé !Je... [Lire la suite]\nPosté par SandRyne2204 à 15:12 - mes yeux qui brillent - Commentaires  - Permalien [#]\nBonsoir ! Eh oui, encore des cadeaux reçus pour mon anniversaire ! Ils viennent de ma chère Letty693 ! Mercredi, nous avons passé l'après-midi ensemble à bavarder autour de boissons chaudes ! Nous avons "rattrapé le temps écoulé ", car nous ne nous étions pas vues depuis septembre !!!! Mais nous nous sommes promis de faire plus court la prochaine fois !Et maintenant, je vous montre : Un torchon à broder, des boutons, du ruban, du fil. Le fil viendrait de chez Butterfly51 mais Letty n'en était plus sûre... Dis,... [Lire la suite]\nPosté par SandRyne2204 à 22:48 - mes yeux qui brillent - Commentaires  - Permalien [#]\nBonjour ! Aujourd'hui je rattrape un petit gros retard ! A Noël, en effet, j'ai reçu ceci : Une Kimmidoll ! C'est Akari !Mon petit mari, en cherchant mon cadeau, est tombé sur ce porte-clé, et il s'est dit que ça allait me plaire car j'ADORE le Japon et ce qui s'y rapporte !Ce qu'il ne savait pas c'était que les Kimmidolls étaient très connues et très prisées ! Il m'a donc fait encore plus plaisir qu'il ne pensait !!!!!Maintenant elle est sur mes clés de maison en compagnie de Minnie !!!!!! Les Etats-Unis et le Japon... [Lire la suite]\nPosté par SandRyne2204 à 11:46 - mes yeux qui brillent - Commentaires  - Permalien [#]\nNathaliange ! Bonjour !Ce lundi, en relevant mon courrier j'ai découvert une dodue ! C'était mon amie Nathaliange qui venait me fêter mon anniversaire !Cette enveloppe contenait des merveilles, évidemment : Un pinkeep Tortue ! Une pochette en tissu ! Une belle carte ! Et 2 livres pour mes minettes, qui ont adoré ! Des Fées pour Ambre et un livre "Je suis une grande fille" pour Capucine. D'ailleurs lundi soir, cette dernière se promenait avec le livre sous le bras en disant " cadeau, cadeau "... [Lire la suite]\nPosté par SandRyne2204 à 14:06 - mes yeux qui brillent - Commentaires  - Permalien [#]\nBonjour à toutes ! Bonne fête à toutes les mamans qui me liront, et bonne fête à la mienne, évidemment ! Je viens vous montrer aujourd'hui ce que j'ai reçu de ma grande ce vendredi ! Pendant toute la semaine à l'heure du déjeuner, Ambre et son Papa ont préparé cette petite carte en secret ! Je vous laisse aussi admirer l'enveloppe : totalement girly ! Et oui chez nous, nous sommes de vraies filles !Ça fait une nouvelle carte à accrocher sur le frigo ! Je vous embrasse et je vous laisse profiter du soleil avec vos... [Lire la suite]\nPosté par SandRyne2204 à 14:22 - mes yeux qui brillent - Commentaires  - Permalien [#]\nBonsoir ! Tout à l'heure, en allant à notre rencontre mensuelle, je ne pensais pas que je recevrais, de la part de mon amie Butterfly51, un cadeau d'anniversaire !J'ai été bien gâtée, vous allez le voir : Deux toiles, dont une teintée par ses mains expertes ! C'est la mauve, elle a même des paillettes ! J'ADORE !Une belle paire de ciseaux : très bon choix ! Je n'ai pas eu le temps de lui dire, car les filles ont détourné notre attention, mais j'ai une paire de ciseaux depuis des années et il se trouve qu'elle a une de... [Lire la suite]\nPosté par SandRyne2204 à 22:52 - mes yeux qui brillent - Commentaires  - Permalien [#]\nBonsoir ! Ce matin, il y avait de belles choses qui m'attendaient dans ma boîte aux lettres ! Elles me venaient de mon amie Nath/Lulu ! Il y a aussi un livre-puzzle de Cendrillon, dont Capucine s'est déjà emparé !!!!!Maintenant je dois me mettre au boulot joyeusement !Ces cadeaux sont à l'occasion de mon anniversaire qui arrivera dans 2 jours !!!!! Alors, grâce à Nath/Lulu je commence la fête en avance !!!!Nath/Lulu est une super brodeuse, imaginative et TRES... [Lire la suite]\nPosté par SandRyne2204 à 21:53 - mes yeux qui brillent - Commentaires  - Permalien [#]\nBonsoir ! Attention, vous allez en avoir plein les yeux en lisant cet article, comme moi quand j'ai ouvert le colis que le facteur m'a apporté mercredi !Il vient de mon amie Lundi27 !C'est le colis de Noël ! Mais oui, on peut encore fêter Noël ! D'abord, pour Capucine : Une superbe robe réversible ! Je l'ADORE !Vivement qu'il fasse plus chaud ! Ensuite, pour Ambre. Elle a eu les yeux qui brillent en découvrant ça : Une trousse dont seule ( je n'en ai jamais vu ailleurs !!!!!!! ) Lundi27... [Lire la suite]\nPosté par SandRyne2204 à 23:28 - mes yeux qui brillent - Commentaires  - Permalien [#]\nBonjour ! Non, non, ne vous inquiétez pas la neige n'est pas revenue chez nous ! Et comme je me souviens des galères du mois de décembre, heureusement !J'ai simplement reçu un colis de la part de Geneviève, une brodeuse que j'ai connue pendant ma grossesse et ce fut une très bonne surprise car l'année dernière, elle a arrêté son blog, eu des problèmes avec sa messagerie internet... Moi, comme vous le savez, ça a été une dure année... Du coup, nos chemins ne s'étaient plus croisés pendant longtemps... Alors ce colis est une belle... [Lire la suite]\nPosté par SandRyne2204 à 17:38 - mes yeux qui brillent - Commentaires  - Permalien [#]\nCoucou ! Mais de quoi est-ce que je parle, quand je parle de Dodue ? Non, pas de ma fille, pourtant ce qualificatif lui va à ravir ! C'est d'une petite enveloppe que j'ai reçue mardi dont je parle !Elle provient des soeurs du blog Oh là là broderie ! Il y a quelques jours je laisse un petit com chez elles, et bingo : je suis le 1515ème com ! C'était le com gagnant de leur petit concours ! Moi qui ne gagne jamais rien, je leur avais écrit en toute amitié parce que leur article m'avait inspirée ( comme toujours d'ailleurs... [Lire la suite]\nPosté par SandRyne2204 à 16:21 - mes yeux qui brillent - Commentaires  - Permalien [#]


[GP] Sepang, 25 octobre 2015\nAdco, cromagnon, ivan 2, jack177071, janpol84, Jeffonimo, lancelot1, Srx56\nROAD bourg 1980 honda coupe RACING yamaha 2013 1976 charade suzuki side bresse 1974 france daytona geco wanted 1973 classic zone rouge eurosport ducati aprilia race\nSujet: [GP] Sepang, 25 octobre 2015 Mer 21 Oct 2015 - 12:49\nC'est moi qui fait erreur ou il y en à un qui roupille !!\nSujet: Re: [GP] Sepang, 25 octobre 2015 Mer 21 Oct 2015 - 12:58\n3 GP de suite à 5h du mat, et on n'a même plus le droit de souffler un peu.\nSujet: Re: [GP] Sepang, 25 octobre 2015 Mer 21 Oct 2015 - 13:05\nQuelle délicatesse pour dire que le Chef commence à se faire vieux , Bravo philippe !!\nSujet: Re: [GP] Sepang, 25 octobre 2015 Mer 21 Oct 2015 - 13:11\nMoi, je suis aux abris...\nBrève : Des fumées en provenance d'Indonésie inquiètent les organisateurs du GP de Malaisie !\n21-10-2015 12:00 Marc Seriau [Vous devez être inscrit et connecté pour voir ce lien]\nCausés par l'usage du brûlis afin de dégager des terrains pour exploiter l'huile de palme, ils nécessitent l'envoi de plus de 10 000 hommes de troupes pour les combattre alors que près de 500 000 personnes ont été affectées en Indonésie. Leurs fumées toxiques remontent jusqu'en Malaisie et y ont entraîné la fermeture des écoles dans trois états, le chiffre de 120 ayant été atteint lundi sur l'échelle de mesure gouvernementale ([Vous devez être inscrit et connecté pour voir ce lien]).\nTout le pays est donc plus ou moins envahi par cette sorte de brouillard, qualifié de "malsain" par les autorités, et qui réduit la visibilité, ce qui a entrainé l'annulation de certains vols. Cela commence à inquiéter les organisateurs du Grand Prix, même si , ce matin, d'après nos correspondant sur place, la situation s'était ponctuellement améliorée autour du circuit. A l'échelle du pays et des jours à venir, la situation reste très compliquée...\nAutre fait météorologique à noter, le climat y est cette année nettement plus sec et chaud que d'habitude à la même époque. Une conséquence d'El Nino qui pourrait également jouer son rôle dans le championnat; les traditionnelles pluies de l'après-midi se font de moins en moins fréquentes...\nSujet: Re: [GP] Sepang, 25 octobre 2015 Mer 21 Oct 2015 - 13:17\nMoto3 FP1 : 03:00 - 03:40\nMotoGP FP1 : 03:55 - 04:40\nMoto2 FP1 : 04:55 - 05:40\nMoto3 FP2 : 07:10 - 07:50\nMotoGP FP2 : 08:05 - 08:50\nMoto2 FP2 : 09:05 - 09:50\nMoto3 FP3 : 03:00 - 03:40\nMotoGP FP3 : 03:55 - 04:40\nMoto2 FP3 : 04:55 - 05:40\nMoto3 QP : 06:35 - 07:15\nMotoGP FP4 : 07:30 - 08:00\nMotoGP Q1 : 08:10 - 08:25\nMotoGP Q2 : 08:35 - 08:50\nMoto2 QP : 09:05 - 09:50\nMoto3 WUP : 02:40 - 03:00\nMoto2 WUP : 03:10 - 03:30\nMotoGP WUP : 03:40 - 04:00\nSujet: Re: [GP] Sepang, 25 octobre 2015 Mer 21 Oct 2015 - 14:57\nTiens, Mickey qui profite honteusement de son temps retrouvé pour cause de plus de SBK pour se venger...\nSujet: Re: [GP] Sepang, 25 octobre 2015 Mer 21 Oct 2015 - 21:35\nC'est encore tot mais moi, je serai là haha!^^\nMarquez a souffert toute la saison avec sa moto réglée sur sépang, ^^ il serait normal qu'il en profite durant ce W.E...\nSujet: Re: [GP] Sepang, 25 octobre 2015 Mer 21 Oct 2015 - 22:39\nEn tout cas, la météo annonce encore de la pluie samedi et dimanche. Lorenzo va stresser, pluie, nuage toxique ...\nSujet: Re: [GP] Sepang, 25 octobre 2015 Mer 21 Oct 2015 - 23:58\nVoici les prévis d'Accuweather.\nRien d'absolument sûr et certain, ni dans un sens ni dans l'autre. [Vous devez être inscrit et connecté pour voir cette image]\nSujet: Re: [GP] Sepang, 25 octobre 2015 Jeu 22 Oct 2015 - 8:52\nWeather.com annonce "orages dans l'après-midi" pour dimanche.\nSujet: Re: [GP] Sepang, 25 octobre 2015 Jeu 22 Oct 2015 - 8:57\nPour avoir vécu un peu en Malaisie, je peux vous garantir que les prévisions météo ne valent pas grand chose ...\nLa pluie arrive généralement en fin d'après-midi (16h/17h) et rarement dans la journée, mais il se peut qu'un orage de 10min vienne faire un petit tour ...\nSujet: Re: [GP] Sepang, 25 octobre 2015 Jeu 22 Oct 2015 - 9:02\nC’est normal, il y a un orage là-bas chaque après-midi (vers 16h, 17h, donc après les essais et les courses)\nExemple sur 7 jours à Kuala Lumpur (source : météo gouvernementale malaisienne [Vous devez être inscrit et connecté pour voir ce lien])\nSujet: Re: [GP] Sepang, 25 octobre 2015 Jeu 22 Oct 2015 - 16:57\nLes problèmes financiers vont peut-être bien disparaitre pour LCR honda\nRetour de castrol en motoGP!!\nSujet: Re: [GP] Sepang, 25 octobre 2015 Jeu 22 Oct 2015 - 17:23\nConférence de presse, c'est l'ambiance tout de suite :\nEn gros Rossi a dit que Marquez en Australie le dépassait pour ralentir ensuite, en cachant donc son jeu puisque son rythme était suffisant pour laisser partir Lorenzo et le rattraper en peu de tours.\nSon but était au contraire de ralentir Rossi pour que Iannone et possiblement Pedrosa et Crutchlow viennent lui piquer des points.\nEn un mot, Marquez ne veut pas de Rossi champion du monde, ce qui fait du chagrin à l'italien au point de se demander s'il est vrai que petit l'espagnol avait le poster de l'italien dans sa chambre (oui oui!) ; source:\n(en italien et en anglais)\nDernière édition par LDA le Jeu 22 Oct 2015 - 17:30, édité 1 fois\nSujet: Re: [GP] Sepang, 25 octobre 2015 Jeu 22 Oct 2015 - 17:29\nInterview soumise à la libre interprétation de chacun suivant qui l'on supporte(dans le sens fan) parce que d'autres il faut vraiment en vouloir pour les supporter (apparemment), bref ,avec les images et suite à ces phrases rarement anodine de Valentino,ils étaient tous en train de se marrer, alors ? humour, cheval de Troie de Rossi ? Pressions et avertissement pour ce week*end, tout est possible ...\nSujet: Re: [GP] Sepang, 25 octobre 2015 Jeu 22 Oct 2015 - 17:37\nMoi comme je les aimes tous je me contente du verdict de la piste.\nAprès je connais Rossi et je vois que le dénouement pour le titre étant proche il ressort l'arsenal qu'on croyait faire partie du passé ; cela dit le rythme de Marquez à Phillip Island avait déjà soulevé des questions dans nôtre petit forum, justement par son irrégularité singulière.\nSujet: Re: [GP] Sepang, 25 octobre 2015 Jeu 22 Oct 2015 - 17:42\nC'est clairement bizarre que Marquez soit aussi irrégulier bien qu'il y' ai eu ces moments de passe d'armes, mais supposition, il devait savoir que son rythme était très bon pour viser la victoire vu le dernier tour d’anthologie sur mr "sac à excuses", par contre impossible d'obtenir la confirmation que c'est volontaire de la part de Marc de rester jouer avec ses copains ou d'aider quelqu'un avant de dégommer le temps au tour dans le final et de gagner, ça vas être tendu dès demain ...\nSujet: Re: [GP] Sepang, 25 octobre 2015 Jeu 22 Oct 2015 - 17:54\nTout ça est très étrange... Et assez puérile, donc dommage\nIls sont tous en train de se dandiner d'une fesse sur l'autre sans vraiment rien dire (Et sans avoir les moyens de le faire, j'ai l'impression que leur anglais est assez.. Pauvre, ce qui est assez triste à ce niveau là quand même), et les propos rapportées sur motogp.com concernant la conférence de presse en italien par la suite, donnée par Rossi, me renvoie à une lointaine période appelée collège.\nJe ne comprends pas l'intérêt...\nEn gros la course, oui, l'"en-dehors",.... Euh, non merci\nSujet: Re: [GP] Sepang, 25 octobre 2015 Jeu 22 Oct 2015 - 17:58\nJ'ai l'impression qu'ils rient jaune, en particulier Rossi qui est remonté comme une pendule, il se trompe de cible et devrait s'adresser à son copain Iannone qui a fait l'exploit du siècle: battre Rossi. En tous cas si Lorenzo faisait une telle déclaration j'aimerai écouter les commentaires des nombreux Rossi fans. Marquès risque bien de gagner les 2 dernières et foutre le bordel dans cette foire.\nTrop belles les honda castrol!!Je pense que Rossi jette surtout un pavé dans la marre afin d'éviter que marquez ou un autre(même si je pense que seul Marquez ne puisse faire ça )ne s'amuse à le faire ce week end,sinon il sera fusillé en conférence de presse!\nSujet: Re: [GP] Sepang, 25 octobre 2015 Jeu 22 Oct 2015 - 18:19\nIannone qui a fait l'exploit du siècle: battre Rossi.\net avec 10% de carburant en plus, en effet quel exploit !\nSujet: Re: [GP] Sepang, 25 octobre 2015 Jeu 22 Oct 2015 - 18:23\nAvec 10% en plus en permanence, pourquoi seulement cette fois ci...\nSujet: Re: [GP] Sepang, 25 octobre 2015 Jeu 22 Oct 2015 - 18:33\n1-lu ici que Marquez voulait sans doute "tirer" Rossi vers Lorenzo car Marquez serait second si Lorenzo enquillait un troisième titre. (au niveau national)\nDonc que le meilleur gagne... Aïe!\nSujet: Re: [GP] Sepang, 25 octobre 2015 Jeu 22 Oct 2015 - 18:47\nMais "Nationaliste" n'est pas un gros mot ! Pour être allé à Rome un jour de GP de formule 1 la couleur rouge était plus que majoritaire !( super ambiance) Beaucoup d'Italiens son "nationalistes"\nje préfère voir Zarco gagner plutôt qu'un pilote Italien ( par exemple)\nDernière édition par cat le Jeu 22 Oct 2015 - 18:53, édité 1 fois\nSujet: Re: [GP] Sepang, 25 octobre 2015 Jeu 22 Oct 2015 - 18:52\nCe n'était pas nationalisme, au contraire. Sa majesté Rossi soutient que el petito Marquez veut l'effacer des tablettes et que cela sera plus simple si l'italien a 9 titres que s'il en a 10.\nLorenzo lui il en a 4 et monterait à 5, donc il représente une menace moins lourde pour les rêves de gloire démesurés de Rossi Marquez.\nJusque là l’arithmétique lui donne raison.\nMais en plus le dieu vivant de la moto* (toujours Rossi, je le précise pour les agnostiques) considère que Marquez veut tuer le père comme il est évident si l'on est parano depuis l'incident en Argentine et le finish en Hollande.\nPour faire bonne mesure le leader du championnat a ressorti le dépassement à Laguna Seca, à forte teneur oedipienne selon lui puisque semble-t-il que Marquez avait toute une palette de choix pour dépasser sa majesté mais que il a voulu lui rendre la fameuse attaque que l'homme de Tavullia avait infligée à Stoner.\nPour terminer l'italien de chez Yamaha a regretté Biaggi avec lequel -au moins- il n'y avait pas d'hypocrisie, il se détestaient ouvertement.\nJe sais pas vous mais moi je suis enchanté d'avoir suivi le mondial toutes ces années pour enfin entendre Rossi regretter Biaggi.\n* : épithète que j'ai entendu de mes propres oreilles (ou lu, je sais plus) chez des journalistes italiens, il y a quelques années.\nPS : le nationalisme à mon avis est comme l'orgueil : il suggère aux uns des choses formidables, et inspire à d'autres des pensées qui te donnent envie de te dissocier de l'espèce humaine toute entière\nSujet: Re: [GP] Sepang, 25 octobre 2015


Mentions Légales et RGPD - KASA Invest\nLe site http://kasa-invest.com est la propriété de Kasa.\n97 rue Martyrs de la Résistance\nResponsable de rédaction : Laurent DUPIECH\nLe site http://kasa-invest.com collecte les informations personnelles fournies par les utilisateurs à l’occasion de leur visite sur le site.\nL’utilisateur est notamment informé que les renseignements donnés à partir des formulaires présents sur le site http://kasa-invest.com seront transmis et exploités par KASA dans le but de répondre aux demandes de l’utilisateur.\nL’utilisateur dispose en outre d’un droit d’accès et de rectification portant sur ses données en nous retournant un e-mail rectificatif à l’adresse suivante : laurent.dupiech@kasa-invest.com.\nLe site http://kasa-invest.com peut être amené à demander à l’utilisateur d’accepter des cookies pour des besoins de statistiques et d’affichage.\nL’ensemble des données (textes, sons ou images) figurant sur les pages de ce site sont la propriété exclusive de KASA. Toute reproduction, représentation ou diffusion, en tout ou partie, du contenu de ce site sur quelque support ou par tout procédé que ce soit est interdite. Le non-respect de cette interdiction constitue une contrefaçon susceptible d’engager la responsabilité civile et pénale du contrefacteur.\nLe site http://kasa-invest.com contient des liens hypertextes dirigeant les utilisateurs vers des sites internet gérés par des tiers. Ces sites n’étant pas gérés par KASA, celle-ci ne peut être tenue pour responsable de leur contenu (qualité, véracité, pertinence, etc.) ni des difficultés que pourrait rencontrer l’internaute pour y accéder.