title: Guerre d'indépendance de l'Équateur

text: Mais Guayaquil est un port, et peut donc recevoir des renforts. Ainsi, après que la Province Libre ait appelé à l'aide, le "Libertador" Simón Bolívar, président de la Grande Colombie, envoie à Guayaquil le général Antonio José de Sucre, qui débarque avec ses troupes le . Une nouvelle étape commence dans la lutte pour libérer le territoire de la Real audiencia de Quito du joug espagnol.


title: Guerre d'indépendance de l'Équateur

text: Début janvier 1821, Bolívar envoie à Guayaquil le général José Mires avec d'importants moyens matériels, puis son meilleur général, Antonio José de Sucre, en remplacement de Mires. Sucre arrive le avec quelque qui s'ajoutent aux . Les instructions données à Sucre sont les suivantes : prendre le commandement des troupes qui se trouvent à Guayaquil, assurer l'incorporation de la province à la Colombie et préparer en liaison avec le "Liberator" les opérations qui contribueraient à libérer Quito.


title: Guerre d'indépendance de l'Équateur

text: Sucre signe un accord avec le gouvernement de Guayaquil et place ses troupes à Samborondón et Babahoyo pour interdire l'entrée de la province aux royalistes. Le , un soulèvement anticolombien et pro-réaliste survient, qui est réprimé avec succès. Les royalistes, ayant connaissance de la rébellion, tentent de l'appuyer. Le gouverneur Aymerich se dirige vers le sud avec , tandis que le colonel Gonzalez marche de Cuenca à Guayaquil, menaçant les communications de Sucre qui s'avance pour combattre Aymerich. Conscient du mouvement de Gonzalez, Sucre se retire pour l'affronter et le battre le 19 août lors de la bataille de Yaguachi.


title: Guerre d'indépendance de l'Équateur

text: La victoire obtenue lors de la bataille de Yaguachi signifie l'indépendance totale de la province de Guayaquil. Sucre retourne dans le Nord pour faire face à Aymerich, mais celui-ci s'est retiré vers le nord. L'armée patriote poursuit les royalistes sur un long chemin, mais la situation politique à Guayaquil force Sucre à y retourner. Les campagnes d'indépendance continuent dans la région inter-andine, où un contingent militaire de l'Armée péruvienne envoyé par José de San Martín et commandé par le colonel Andrés de Santa Cruz vient renforcer l'armée patriote. La campagne conjointe des forces colombo-péruviennes s'achève le par la bataille de Pichincha, qui assure la libération de la totalité de l'ancienne Real audiencia de Quito.


title: Guerre d'indépendance de l'Équateur

text: Le , Bolívar envoie son meilleur général, Antonio José de Sucre en remplacement de Mires. Il est nommé par le gouvernement de Guayaquil chef suprême de l'armée et établit son quartier général à Samborondón d'où il envoie des troupes à Babahoyo sous le commandement du lieutenant-colonel Nicolás López.


title: Guerre d'indépendance de l'Équateur

text: Un groupe de conspirateurs se constitue à Guayaquil, dirigé par le colonel Juan de Dios Araujo, commandant de la province, le lieutenant-colonel Nicolas Lopez, commandant du bataillon "Libertadores", le commandant Bartholomew Salgado, second commandant du bataillon "Libertadores" et le lieutenant Ramón Ollague, chef de la flotte stationnée dans la río Guayas se composant d'un brick, un sloop, deux goélettes et 10 canonnières.


title: Guerre d'indépendance de l'Équateur

text: La sédition est effectuée les 16, 17, 18 et , mais ne parvient pas à provoquer une adhésion des troupes libératrices à leur cause. Quelques traîtres coupent alors la route Guaranda-Riobamba. Le général Sucre charge le lieutenant-colonel Cestáris et le commandant Vicente Castro de poursuivre les rebelles. Le premier les rejoint à Palo Largo et les vainc, tandis que le second les contacte à Playas et réintègre 300 des mutins dans l'armée patriote.


title: Guerre d'indépendance de l'Équateur

text: Pendant ce tems, le général Melchor Aymerich atteint Riobamba avec et établit son quartier général dans la ville. Au courant de la situation, Aymerich décide de diviser ses forces et d'attaque sur deux fronts, le premier suivant le trajet Riobamba-Guaranda-Balzapamba-Babahoyo et l'autre division sous le commandement du colonel Francisco González suivant le trajet Cuenca-Tambo-Suscal-Boliche-Yaguachi Viejo-Babahoyo, les deux fronts devant se réunir à Babahoyo le . González quitte Cuenca le , laissant une garnison dans la ville commandée par le capitaine Agustín Agualongo et le lieutenant-colonel Carlos José Marín.


title: Guerre d'indépendance de l'Équateur

text: Sucre, disposant d'une force inférieure en nombre, analyse la situation et décide de concentrer ses forces pour attaquer le colonel González aux alentours de Yaguachi. Il organise une force de réserve qu'il place sous le commandement du commandant Sebastián Pinilla et envoie à Portoviejo, ordonne l'avance de l'avant-garde dirigée par le général Mires jusqu'au point nommé "Boca de Montaña" et programme la marche de ses propres troupes pour le . Ce jour-là les armées patriotes avancent à marche forcée sur pour atteindre Yaguachi. Le matin du les forces patriotes sortent de Yaguachi et occupent les positions préalablement définies par le lieutenant-colonel Cestáris. Elles trouvent sur leur chemin les troupes royalistes du colonel González.


title: Guerre d'indépendance de l'Équateur

text: Une fois en route le général Sucre atteint la "Boca de Montaña" de Yaguachi à l'endroit appelé "Cone". Le terrain malgré son caractère plat est recouvert d'une haute forêt dans laquelle des forces ne peuvent pas pleinement se déployer en raison de la route étroite qui ne permet pas le passage de deux hommes de front. Cependant, la compagnie de chasseurs du bataillon "Santander" se met en position des deux côtés de la route pour prendre les royalistes dans un feu croisé soutenu jusqu'à ce que le reste du bataillon trouve un moyen d'attaquer l'ennemi, les obligeant à se replier à un point où ils peuvent essayez de résister aux attaques patriotes. Le commandant patriote Félix Soler brise finalement le front et les soldats royalistes battent en retraite, donnant ainsi une nouvelle victoire pour la cause indépendantiste.


title: Guerre d'indépendance de l'Équateur

text: Le nombre de victimes parmi les troupes est assez élevée. Le colonel Gonzalez réussit à s'échapper avec seulement et retourne à Cuenca. Frustré de cette défaite, Melchor Aymerich décide de retourner à Riobamba avec un contingent de et , pour repenser sa stratégie de combat.


title: Guerre d'indépendance de l'Équateur

text: Victorieux lors de la bataille de Yaguachi, Sucre s'avance vers Quito. Les espagnols se positionnent à Huachi où les forces guayaquileñas ont été battues un an auparavant.


title: Guerre d'indépendance de l'Équateur

text: Après un bref contact entre les deux forces, les Espagnols tentent de fuir. Le général José Mires permet aux bataillons "Guayaquil" et "Albion" de poursuivre les royalistes, mais ils sont attaqués par la cavalerie et par l'infanterie royaliste qui se retourne et cerne les bataillons patriotes.


title: Guerre d'indépendance de l'Équateur

text: Sucre blessé, l'armée patriote retourne à Guayaquil avec quelques hommes et laisse sur le champ de bataille de nombreux hommes et matériels tandis que les royalistes ont réussi à sauver Quito de l'attaque des indépendantistes.


title: Guerre d'indépendance de l'Équateur

text: Le , un contingent militaire de l'Armée péruvienne est envoyé par José de San Martín afin de porter secours aux troupes de Antonio José de Sucre dans les territoires de la Province Libre de Guayaquil. Ces forces sont commandées par le colonel Andrés de Santa Cruz et renforcées par des troupes des Provinces-Unies du Río de la Plata. Le 20, elles pénètrent en territoire équatorien en franchissant le río Macará, puis entrent sans combattre dans la ville de Loja, évacuée par les royalistes.


title: Guerre d'indépendance de l'Équateur

text: De son côté, après sa défaite lors de la bataille de Huachi, le , Antonio José de Sucre change de stratégie pour libérer Quito et commence une campagne depuis le sud de Guayaquil à Machala, où il a transporté par la mer son armée depuis la fin et réorganisé ses forces.


title: Guerre d'indépendance de l'Équateur

text: Le , les forces Santa Cruz font leur jonction avec les forces de Sucre dans le village indigène de . Les deux armées agissent dès lors ensemble, remontant la région inter-andine vers le nord. Le , les forces combinées arrivent en vue de Cuenca, évacuée le jour suivant par les royalistes. La cavalerie patriote atteint Riobamba le 21 avril où elle se heurte à des cavaliers royalistes.


title: Guerre d'indépendance de l'Équateur

text: Le , c'est donc un combat est cavalerie que se livrent les deux armées, et plus particulièrement les patriotes de la première charge de l'argentin Juan Lavalle commandant un escadron du créé par José de San Martín comprenant .


title: Guerre d'indépendance de l'Équateur

text: Cette première charge audacieuse contre la cavalerie royaliste de est appuyée par une seconde et dernière charge des dragons et chasseurs montés. Les patriotes remportent le combat et entrent dans Riobamba.


title: Guerre d'indépendance de l'Équateur

text: La reprise de Cuenca, au sud a coupé toute communication entre Quito et Lima. Une avance lente et progressive des basses terres vers les Andes a permis une adaptation graduelle des troupes aux effets physiologiques de l'altitude, seul moyen d'éviter de livrer un autre combat dans des conditions défavorables contre les forces royalistes qui descendent de Quito.


title: Guerre d'indépendance de l'Équateur

text: Après la prise de Riobamba, à la suite de la bataille homonyme, Sucre y reste jusqu'au 28 avril, date à laquelle il reprend son avancée vers le nord. Le , les forces patriotes atteignent la ville de Latacunga, à au sud de Quito. Sucre y réorganise ses troupes et grossit ses rangs avec des volontaires venus des villes voisines, en attendant l'arrivée du bataillon colombien "Alto Magdalena" ainsi que des rapports sur les intentions de l'armée royaliste. Pendant ce temps, Melchor de Aymerich met en place des points fortifiés et des positions d'artillerie dans les principales passes montagneuses conduisant à Quito.


title: Guerre d'indépendance de l'Équateur

text: Sucre, désireux d'éviter une confrontation en terrain défavorable, décide de flanquer les positions royalistes en avançant le long des pentes du Cotopaxi pour atteindre la vallée de Chillos, sur l'arrière des positions fortifiées royalistes. Le 14 mai, l'armée royaliste, devinant les intentions de Sucre, recule sur Quito et, le 18 mai, après une marche difficile, l'armée de Sucre occupe Sangolquí.


title: Guerre d'indépendance de l'Équateur

text: Dans la nuit du 23 au , l'armée patriote commence à grimper les pentes du Guagua Pichincha, avec une avant-garde de 200 colombiens du "Alto Magdalena" suivie par le corps principal et, à l'arrière, la Légion britannique qui protège le train de munitions. À l'aube, à la consternation de Sucre, l'armée n'a pas beaucoup progressé, se trouvant à peine à mi-chemin du sommet, à d'altitude, et surtout à la vue des sentinelles royalistes de Quito. À 8 heures du matin, Sucre, anxieux à propos de la lente progression de la Légion britannique et avec des troupes exténuées et souffrant de l'altitude, ordonne une halte en enjoignant à ses lieutenants de cacher leurs bataillons du mieux qu'ils peuvent. Il envoie une partie du bataillon péruvien "Cazadores del Paya" en reconnaissance et le fait suivre par le bataillon "Trujillo", également composé de Péruviens. Une heure et demie plus tard, ces troupes sont soudainement frappées par une mitraille de balles. La bataille a commencé.


title: Guerre d'indépendance de l'Équateur

text: Le premier contact s'étant effectué sur un terrain particulièrement difficile, les deux commandants n'ont d'autre choix que de jeter petit à petit leurs troupes dans la bataille. Bientôt, les bataillons patriotes, commençant à subir des pertes importantes et à manquer de munitions, entreprennent de battre en retraite. Alors que la position de la Légion britannique, qui transporte l'essentiel des munitions, est inconnue, l'armée royaliste semble prendre l'avantage. Le bataillon "Piura" fuit avant même de prendre contact avec l'ennemi et, par désespoir, une partie des troupes du "Cazadores del Paya" effectue une charge à la baïonnette qui stabilise la situation pendant un moment avec de lourdes pertes des deux côtés.


title: Guerre d'indépendance de l'Équateur

text: Néanmoins, Aymerich, a détaché durant sa marche le bataillon d'élite "Aragón" du corps principal de façon qu'il tombe sur l'arrière des patriotes et brise leurs lignes par une attaque surprise. L"Aragón", une unité de vétérans espagnols ayant participé à de nombreux combats durant la guerre d'indépendance espagnole et en Amérique du Sud, accomplit parfaitement son mouvement et s'apprête à assaillir par l'arrière les lignes adverses quand il est surpris par l'arrivée à point nommée de la Légion britannique. Celle-ci occupe une position plus haute que celle des Espagnols et, avec l'aide du bataillon "Alto Madgalena", inflige de lourdes pertes au bataillon "Aragón" et le met hors de combat. Les Colombiens chargent alors les lignes royalistes, qui finissent par rompre.


title: Guerre d'indépendance de l'Équateur

text: À midi, Aymerich ordonne la retraite et l'armée royaliste, désorganisée et éreintée, se replie sur Quito, en bon ordre dans sa majorité. Les Colombiens atteignent les abords de Quito mais ne vont pas plus loin, suivant les ordres de leurs officiers qui ont prudemment décidé de ne pas laisser entrer leurs soldats dans la ville. La bataille de Pichincha, d'une durée de moins de trois heures, se termine par la victoire des patriotes.


title: Guerre d'indépendance de l'Équateur

text: Le , l'armée de Sucre entre dans Quito où elle reçoit la capitulation de l'armée espagnole. Cette capitulation, qui met fin à la résistance royaliste dans la région, permet à Bolívar d'entrer dans Quito le 16 juin et de déclarer, au milieu de l'enthousiasme général de la population, que la province est désormais incorporée à la République de Colombie.


title: Guerre d'indépendance de l'Équateur

text: Cinq jours après la victoire sur les pentes du Pichincha, Quito accepte l'annexion et déclare l'intégration à la Colombie de l'ensemble du territoire de la Real audiencia de Quito. Cuenca et Loja acceptent immédiatement la décision.


title: Guerre d'indépendance de l'Équateur

text: Le problème est que la Province Libre de Guayaquil, en tant qu'État souverain, n'est pas reconnu. À Guayaquil émergent trois partis politiques :


title: Guerre d'indépendance de l'Équateur

text: Face au danger du maintien d'un bastion royaliste en Amérique du Sud (c'est encore le cas de la Vice-royauté du Pérou, qui n'est pas totalement conquise), Bolívar accepte l'invitation de Saint-Martin d'unir leurs forces. Bolívar choisit la ville de Guayaquil comme lieu de l'entrevue.


title: Guerre d'indépendance de l'Équateur

text: Le , Bolívar arrive à Guayaquil, statuant que la province doit se joindre la Colombie. Dans un premier temps, il estime que l'incorporation doit se faire à la suite d'un vote libre et spontané, mais, en raison d'un groupe de riches marchands voulant garder le contrôle (et s'il ne parviennent pas à l'obtenir, rejoindre le Pérou), Simón Bolívar assume tous les pouvoirs et place la ville de Guayaquil sous la protection de la République de Colombie, se chargeant du commandement politique et militaire.


title: Guerre d'indépendance de l'Équateur

text: Quelques jours plus tard, le , San Martín, arrivé la veille avec ses collaborateurs et son escorte dirigée par à bord de la goélette "Macedonia", s'entretient seul à seul avec Simón Bolívar.


title: Guerre d'indépendance de l'Équateur

text: La nuit du , Bolívar invite San Martín à un banquet. À la moitié de celui-ci et dans le plus grand secret, San Martín se retire et fait voile vers le Pérou en laissant une partie de son armée de Bolivar.


title: Guerre d'indépendance de l'Équateur

text: Les deux hommes se sont rencontrés seuls et sans témoins, de sorte que nul ne sait ce que les deux "Libertadores" se sont dit. Toutefois, deux questions principales ont probablement été débattues : le sort de la province de Guayaquil et la fin de la campagne contre les royalistes, dont la dernière étape est de débarrasser le Pérou récemment indépendant des royalistes, certaines régions des hauts plateaux péruviens abritant les derniers vestiges des armées royalistes installées en Amérique du Sud.


title: Guerre d'indépendance de l'Équateur

text: L'annexion forcée de la Province Libre de Guayaquil à la Grande Colombie provoque l'exil volontaire de José Joaquín de Olmedo, qui écrit à Bolívar une lettre décrivant son désaccord avec les mesures prises pour son peuple. Le , la ville de Guayaquil déclare son annexion à la Grande Colombie et avec elle le reste de l'éphémère nation guayaquileña.


title: Guerre d'indépendance de l'Équateur

text: Le colonel , commandant royaliste de Pasto, profitant d'une halte de Bolívar à El Garzal, dans la province de Los Ríos, se révolte le . Bolívar, apprenant qu'Agualongo a vaincu le colonel Juan José Flores, se met en marche pour mâter la rébellion de Pasto.


title: Guerre d'indépendance de l'Équateur

text: Bolívar regroupe ses troupes à Otavalo et après sept jours de marche forcée, le , il défait Agualongo dans les rues d'Ibarra et près de l'hacienda "La Victoria", sur l'autre rive du río Tahuando, lieu où se trouve la pierre nommée "Chapetona" qui rappelle le fait. Il est dit que Bolívar est monté sur cette pierre pour diriger ses troupes.


title: Guerre d'indépendance de l'Équateur

text: La bataille garde une importance spéciale pour être la seule dirigée personnellement par Bolívar en territoire équatorien.


title: Guerre d'indépendance de l'Équateur

text: À la suite de sa rencontre avec Bolívar à Guayaquil, San Martín renonce à toutes ses fonctions en arrivant au Pérou. Accompagné d'une petite escorte et d'un assistant, la même nuit, il se rend à cheval à Ancón, au nord-est de Lima. C'était , le jour même de l'installation du premier Congrès constituant de la République du Pérou. À l'aube du 22 septembre, sur le brick "Belgrano", il embarque pour Valparaíso.


title: Guerre d'indépendance de l'Équateur

text: Au Pérou, le Protectorat de San Martín est remplacé par un comité directeur, composé du général José de La Mar, du marchand Antonio Felipe Alvarado et du comte Manuel Salazar y Baquíjano. Le premier Congrès promulgue la Constitution le , la première constitution de la République de tendance clairement libéralisme.


title: Guerre d'indépendance de l'Équateur

text: Avec San Martín disparu de la scène, Bolívar accepte d'envoyer ses forces pour aider le Pérou. Ainsi, à l'arrivée de Simon Bolívar, le Congrès constituant suspend ses activités et donne des pouvoirs dictatoriaux à Bolívar. L'ultime campagne de Bolívar pour chasser définitivement les Espagnols d'Amérique du Sud peut commencer.


title: Hohenzollerndamm

text: Le Hohenzollerndamm est une artère importante de Berlin qui traverse les quartiers de Wilmersdorf et de Schmargendorf, dans l'arrondissement de Charlottenburg-Wilmersdorf, joignant ainsi l'ouest du centre-ville à l'arrondissement de Steglitz-Zehlendorf. Elle continue au Berliner Ringbahn (ligne ferroviaire périphérique de Berlin). Au coin de la Salzbrunner Straße se trouve le lycée berlinois du monastère franciscain, l'établissement scolaire le plus ancien de la ville, puisqu'il a été fondé en 1574. Il a ouvert à son emplacement actuel après la Seconde Guerre mondiale.


title: Hohenzollerndamm

text: Cette avenue a été percée en 1875 et porte depuis 1900 le nom de la famille royale et impériale de Prusse, les Hohenzollern.


title: (1131) Porzia

text: (1131) Porzia est un astéroïde de la ceinture principale aréocroiseur, découvert le par l'astronome allemand Karl Wilhelm Reinmuth depuis l'observatoire du Königstuhl.


title: (1131) Porzia

text: Sa désignation provisoire était 1929 RO.


title: (1131) Porzia

text: Il est nommé d'après le personnage de Porcie, fille de Caton et femme de Brutus.


title: (1131) Porzia

text: Son paramètre de Tisserand est de 3,587.


title: Dyzin

text: Dyzin (prononciation : ) est un village polonais de la gmina de Celestynów dans le powiat d'Otwock de la voïvodie de Mazovie dans le centre-est de la Pologne.


title: Dyzin

text: Il se situe à environ 4 kilomètres au nord de Celestynów (siège de la "gmina"), 9 kilomètres au sud-est d'Otwock (siège du "powiat") et à 31 kilomètres au sud-est de Varsovie (capitale de la Pologne).


title: Dyzin

text: Le village compte approximativement une population de 256 habitants en 2011.


title: Dyzin

text: De 1975 à 1998, le village appartenait administrativement à la voïvodie de Varsovie.


title: Jatne

text: Jatne (prononciation : ) est un village polonais de la gmina de Celestynów dans le powiat d'Otwock de la voïvodie de Mazovie dans le centre-est de la Pologne.


title: Jatne

text: Il se situe à environ 6 kilomètres au nord de Celestynów (siège de la "gmina"), 10 kilomètres à l'est d'Otwock (siège du "powiat") et à 31 kilomètres au sud-est de Varsovie (capitale de la Pologne).


title: Jatne

text: Ma première mention du village date de 1866. Le village compte approximativement une population de 317 habitants en 2011.


title: Jatne


title: Koudriavy

text: Le Koudriavy, en japonais ' ou ', est un volcan de Russie situé dans les îles Kouriles, à l'extrémité septentrionale de l'île d'Itouroup. Il fait partie du complexe volcanique du Medvezhya composé de plusieurs caldeiras et cônes volcaniques.


title: Ponurzyca

text: Ponurzyca (prononciation : ) est un village polonais de la gmina de Celestynów dans le powiat d'Otwock de la voïvodie de Mazovie dans le centre-est de la Pologne.


title: Ponurzyca

text: Il se situe à environ 6 kilomètres au sud de Celestynów (siège de la "gmina"), 17 kilomètres au sud-est d'Otwock (siège du "powiat") et à 38 kilomètres au sud-est de Varsovie (capitale de la Pologne).


title: Ponurzyca

text: Le village compte approximativement une population de 235 habitants en 2011.


title: Ponurzyca


title: Regut

text: Regut (prononciation : ) est un village polonais de la gmina de Celestynów dans le powiat d'Otwock de la voïvodie de Mazovie dans le centre-est de la Pologne.


title: Regut

text: Il se situe à environ 2 kilomètres au sud de Celestynów (siège de la "gmina"), 13 kilomètres au sud-est d'Otwock (siège du "powiat") et à 34 kilomètres au sud-est de Varsovie (capitale de la Pologne).


title: Regut

text: Le village compte approximativement une population de 599 habitants en 2011.


title: Regut


title: Zabieżki

text: Zabieżki (prononciation : ) est un village polonais de la gmina de Celestynów dans le powiat d'Otwock de la voïvodie de Mazovie dans le centre-est de la Pologne.


title: Zabieżki

text: Il se situe à environ 8 kilomètres au sud-est de Celestynów (siège de la "gmina"), 19 kilomètres au sud-est d'Otwock (siège du "powiat") et à 40 kilomètres au sud-est de Varsovie (capitale de la Pologne).


title: Zabieżki

text: Le village compte approximativement une population de 770 habitants en 2011.


title: Zabieżki


title: Championnat de Bahreïn de football 2008-2009

text: La saison 2008-2009 du Championnat de Bahreïn de football est la cinquante-troisième édition du championnat national de première division à Bahreïn. De façon similaire à la saison 2002, cette édition rassemble l'ensemble des clubs de première et de deuxième divisions. Les dix-neuf clubs s'affrontent une seule fois au cours de la saison et seuls les dix premiers se maintiennent parmi l'élite.


text: C'est Al Muharraq Club, triple tenant du titre, qui remporte à nouveau la compétition, après avoir terminé en tête du classement final, avec un seul point d'avance sur Riffa Club et trois sur Al-Ahli Club. C'est le trente-et-unième titre de champion de Bahreïn de l'histoire du club.


text: Le classement est basé sur le barème de points classique (victoire à 3 points, match nul à 1, défaite à 0).


text: Les clubs de Al Hadd SC et Al Hala SC terminent à égalité de points à la , synonyme de maintien. Un barrage est organisé pour les départager et c'est Al Hala qui reste en première division après avoir gagné 1-0.


title: (1132) Hollandia

text: (1132) Hollandia est un astéroïde de la ceinture principale, découvert le par l'astronome néerlandais Hendrik van Gent depuis l'observatoire de l'Union à Johannesbourg.


title: (1132) Hollandia

text: Sa désignation provisoire était 1929 RB1.


title: (1132) Hollandia

text: Son nom est une forme latinisée de la Hollande.


title: Mon secrétaire travaille la nuit

text: Mon secrétaire travaille la nuit (titre original : "") est un film américain en noir et blanc réalisé par Mitchell Leisen et sorti en 1942.


title: Mon secrétaire travaille la nuit

text: Une ravissante cadre publicitaire suscite la jalousie de ses clients. Elle embauche un artiste fauché pour qu'il tienne le rôle de son assistant et fiancé officiel, et ne tarde pas à tomber amoureuse de lui.Acteurs non crédités :


title: Hugo van Zuylen van Nijevelt

text: Le baron Hugo van Zuylen van Nijevelt, né à Rotterdam le et mort à La Haye le , est un diplomate et homme politique néerlandais.


title: Hugo van Zuylen van Nijevelt

text: Il est le frère de Jan Adriaan van Zuylen van Nijevelt et l'oncle de Jacob van Zuylen van Nijevelt.


title: Ketoï

text: Ketoï, en russe , en japonais , est une île volcanique de Russie située dans l'océan Pacifique et faisant partie des îles Kouriles, entre les îles de Simouchir au sud-ouest et Rasshua au nord-est. Elle constitue le sommet émergé d'un stratovolcan et culmine à mètres d'altitude.


title: Mont Belvieu

text: La ville de Mont Belvieu est située dans les comtés de Chambers et Liberty, dans l’État du Texas, aux États-Unis. Lors du recensement de 2010, sa population s’élevait à .


title: Colombie aux Jeux olympiques d'été de 2004

text: La Colombie participe aux Jeux olympiques d'été de 2004 à Athènes en Grèce qui se déroulent du 13 au 29 août 2004. Il s'agit de sa quinzième participation à des Jeux d'été. Elle remporte deux médailles de bronze lors de cette édition.


title: Hala Legionów

text: La Hala Legionów est une enceinte sportive située à Kielce en Pologne. La salle est inaugurée en 2006 et dispose d'une capacité totale de places. Elle est utilisée généralement pour le handball et le volley-ball, avec pour clubs résidents respectivement le KS Kielce et l'Effector Kielce.


title: Gruppo 63

text: Le (écrit aussi "" en référence à l'année 1963) est un mouvement littéraire qui naît à Palerme en à la suite d'une réunion qui s'est tenue à Solonte de jeunes intellectuels très critiques envers les œuvres littéraires encore liées aux modèles traditionnels typiques des années 1950.


title: Gruppo 63

text: Le groupe rassemble des poètes, des écrivains, des critiques et des intellectuels animés du désir d'expérimenter de nouvelles formes d'expression, rompant avec les schémas traditionnels.


title: Gruppo 63

text: Se réclamant à l'avant-garde du début du siècle, le groupe est proche des idées marxistes et des théories du structuralisme. Sans se donner des règles, il est à l'origine d'œuvres d'une absolue liberté sans une trame précise, comme Alberto Arbasino en est l'exemple, parfois marquée par l'engagement social militant, comme les écrits de Elio Pagliarani. Dans tous les cas, ils contestent et rejettent les formes typiques du roman néoréaliste et de la poésie traditionnelle, poursuivant une étude expérimentale de formes linguistiques et de leurs contenus.


title: Gruppo 63

text: Ignoré par le grand public, le groupe suscite l'intérêt des critiques littéraires en raison des polémiques qu'il suscite en critiquant vivement les auteurs à l'époque déjà «consacrés» par la renommée tels que Carlo Cassola, Giorgio Bassani et Vasco Pratolini, ironiquement appelé « », en référence à Liala, l'auteure de romans d'amour.


title: Gruppo 63

text: Le Groupe 63 propose et tente un renouvellement du panorama plutôt fermé de la littérature italienne, mais son détachement aristocratique du sentiment commun et la complexité des codes de communication en font un mouvement élitiste, « cérébral ». En outre, certaines accusations portées contre les « conservateurs » de la littérature, puis avec le temps reconsidérés, sont amplifiées par des journaux et leurs adversaires.


title: Gruppo 63

text: Parmi les auteurs, critiques et écrivains du Groupe 63, on trouve : Arbasino, Luciano Anceschi, Nanni Balestrini, Renato Barilli, Achille Bonito Oliva, Giorgio Celli, Furio Colombo, Corrado Costa, Fausto Curi, Roberto Di Marco, Umberto Eco, Enrico Filippini, Alfredo Giuliani, Alberto Gozzi, Angelo Guglielmi, Germano Lombardi, Giorgio Manganelli, Giulia Niccolai, Elio Pagliarani, Michele Perriera, Lamberto Pignotti, Antonio Porta, Edoardo Sanguineti, Giuliano Scabia, Adriano Spatola, Aldo Tagliaferri, Gian Pio Torricelli et Sebastiano Vassalli. Plus à la marge : Nanni Cagnone, Gianni Celati, Alice Ceresa, Giordano Falzoni, Luigi Gozzi, Francesco Leonetti, Luigi Malerba, Marina Mizzau, Rossana Ombres, Nico Orengo, Amelia Rosselli, Gaetano Testa, Carla Vasio et Cesare Vivaldi.


title: Gruppo 63

text: Le groupe, qui se dissout en 1969, donne naissance aux revues ', ' et ', et influence les choix des collections de livres comme celles de ' de Feltrinelli et plus tard, "" de Einaudi.


title: Château Ruddershove

text: Le château Ruddershove est un château situé dans la commune belge de Bruges.


title: Château Ruddershove

text: En 1866, le domaine est acquis par Joseph Coppieters-Stochove, juge de paix à Bruges et fils de Charles Coppieters-Stochove. Il passe ensuite à son fils , puis au fils de celui-ci, , qui fait restauré le château vers 1910.


title: Sécurité des hyperviseurs

text: La sécurité des hyperviseurs est relative à toute menace ou toute attaque par des virus informatiques qui remettrait en question la sécurité (au sens informatique) basée sur les services de confidentialité, d’intégrité et de disponibilité.


title: Sécurité des hyperviseurs

text: Cet article aborde successivement la description, l’évolution de la sécurité et les risques encourus quant à l’utilisation des hyperviseurs. Puis, il traite de la vulnérabilité des hyperviseurs, des attaques et des solutions apportées pour les sécuriser.


title: Sécurité des hyperviseurs

text: La virtualisation consiste à faire fonctionner un ou plusieurs systèmes d'exploitation ou applications sur un ou plusieurs ordinateurs/Serveur informatique au lieu d'en installer un(e) seul(e) par machine. Ces ordinateurs virtuels sont aussi appelés serveur privé virtuel ("Virtual Private Server" ou VPS) ou encore environnement virtuel (Virtual Environment ou VE). Un Hyperviseur est une plate-forme de virtualisation qui permet à plusieurs systèmes d’exploitation de travailler sur une même machine physique en même temps. Les hyperviseurs sont classés en 2 catégories Type 1 natif et Type 2: La sécurité en informatique est l’ensemble des moyens techniques, organisationnels, juridiques et humains nécessaires et mis en place pour conserver, rétablir et garantir la sécurité du système d’information.


title: Sécurité des hyperviseurs

text: Les technologies de virtualisation prennent une part de plus en plus importante depuis les années 2000. Ce phénomène est lié notamment au développement de nouveaux usages comme la virtualisation des postes de travail, la virtualisation des applications d’entreprise, la virtualisation du stockage, ou l’apparition du cloud computing. De plus la virtualisation permet de faire des économies de place, d’énergie et de budget en diminuant le nombre de serveurs utilisés en les mutualisants et en optimisant leurs usages. Cette technologie est mise en avant comme élément d'amélioration que ce soit dans le cadre de la sécurité, de la fiabilité ou de la disponibilité. Cette technologie touche de plus en plus les grandes entreprises mais également les PME (Petite et Moyenne Entreprise) et PMI (Petite et Moyenne Industrie).


title: Sécurité des hyperviseurs

text: L'Hyperviseur améliore la sécurité du point de vue :


title: Sécurité des hyperviseurs

text: L'Hyperviseur repose sur le matériel et en cas de défaillance sur la machine il suffit de posséder un équipement compatible avec le produit de virtualisation pour en fabriquer une équivalente.


title: Sécurité des hyperviseurs

text: Avec l’utilisation des solutions de stockage partagé de type SAN (Storage Area Network), l'Hyperviseur permet la réplication synchrone.


title: Sécurité des hyperviseurs

text: L'Hyperviseur permet de concevoir des architectures isolées au sein d’un hôte. Il permet également d’œuvrer sur le réseau local sans utiliser physiquement de carte réseau.


title: Sécurité des hyperviseurs

text: L'Hyperviseur de par sa technologie engendre de nouveaux risques comme les attaques entre machines virtuelles, la fuite d'information d’une machine virtuelle, la prise de contrôle du système hôte…  Ci-dessous un ensemble des risques liés à ces nouvelles technologies:


title: Sécurité des hyperviseurs

text: La compromission est la prise de contrôle par un acteur malveillant d’un système invité depuis un autre système invité ou de la couche d’abstraction depuis un système invité. Le risque qui en découle est la fuite d'information ou des perturbations du système pouvant aller jusqu'à l'indisponibilité d'un service. Il est essentiel que chaque brique matériel, système d’exploitation hôte et système d’exploitation invité soient à jour de tous les correctifs de sécurité.


title: Sécurité des hyperviseurs

text: La panne d’une ressource commune peut engendrer l'indisponibilité simultanée de plusieurs systèmes et potentiellement tous les services hébergés sur la même machine.


title: Sécurité des hyperviseurs

text: Dans le cas de la virtualisation, les instances que sont le système d’exploitation, les applications, le système de stockage de données et autres… se partagent une même ressource. De ce fait il devient difficile de maitriser les différents échanges internes à une même machine physique et donc de garantir que les ressources bas niveaux partagés n'introduisent pas de possibilité de fuite d’information.


title: Sécurité des hyperviseurs

text: La virtualisation fait apparaitre des opérations d’administration nouvelles comme la mise en place des quotas sur des ressources partagées ou la gestion d'ajout de disque ou de périphérique de stockage réseau entre les machines virtuelles. L'administration s'en trouve complexifiée d'autant plus que ce sont en général des personnes différentes qui gèrent les parties réseaux, serveurs, sauvegardes et stockages.


title: Sécurité des hyperviseurs

text: Les opérations de supervision peuvent s’avérer complexes du fait de l’incompatibilité entre le cloisonnement nécessaire des machines virtuelles et la nécessité de vision d’ensemble de la part de la supervision. Dès lors il devient difficile de tracer un événement ou une action de bout en bout.


title: Sécurité des hyperviseurs

text: Les systèmes invités sont moins adhérents aux équipements c'est-à-dire qu'un système se voit reproduit à l'identique sur plusieurs machines. En conséquence la localisation précise d’une donnée s'en trouve complexifiée et les risques de copie non maîtrisée s'en trouve accrus avec les conséquences graves que cela peut engendrer comme la modification ou le vol d'informations.


title: Sécurité des hyperviseurs

text: Avec la virtualisation il est possible à la suite de dysfonctionnements d'arrêter et de redémarrer plusieurs systèmes invités sur un même système hôte mais il devient complexe de gérer ces erreurs sans leur prise en compte globale.


title: Sécurité des hyperviseurs

text: Il convient donc de mettre en place une centralisation et une corrélation des journaux sur l'ensemble des systèmes.


title: Sécurité des hyperviseurs

text: Certaines investigations menées après incident lié au partage de ressources matérielles par plusieurs systèmes peuvent s'avérer plus difficile. L'optimisation de la gestion de la mémoire vive par la solution de virtualisation rend plus délicate l'analyse de l'historique des états de la machine et par conséquent le traitement d'un incident dans la mesure où cette mémoire est réallouée à une autre machine virtuelle dès que celle-ci n’est plus utilisée.


title: Sécurité des hyperviseurs

text: Les hyperviseurs ont été graduellement utilisés dans des applications de plus en plus critiques, leur fiabilité est d'une importance vitale. Contrairement aux systèmes d'exploitation traditionnels qui doivent supporter le système de fichier, les piles réseaux, etc., un hyperviseur présente des abstractions relativement simples telles la CPU et la mémoire. En conséquence de ces propriétés, les hyperviseurs ont été largement considérés comme une architecture pour construire des systèmes d'exploitation sécurisés.


title: Sécurité des hyperviseurs

text: Cependant, il y a diverses inquiétudes concernant les hyperviseurs actuels. Avec de plus en plus de machines virtuelles déployées sur une seule plate-forme gérée par un seul hyperviseur, la robustesse est aussi un point posant problème. Les hyperviseurs modernes dérivent des systèmes d'exploitation contemporains. Malheureusement beaucoup de décisions de conception "restent inchangées, même si dans le même temps le matériel et logiciel ont évolué". Exemple de la conception monolithique qui utilise des langages procéduraux tels que le langage de programmation C. Un trop grand nombre de lignes de code n'est pas adapté à une vérification formelle. En fait les meilleurs techniques de vérification disponibles peuvent gérer environ 10K lignes de code. De cela résulte une piètre maintenabilité. Il est donc difficile d'étendre les fonctionnalités des hyperviseurs.


title: Sécurité des hyperviseurs

text: Pour construire un hyperviseur robuste le choix du langage de programmation est critique. Le langage doit être suffisamment efficace pour manipuler les objets de bas niveau, expressif et permettre de vérifier l'intégrité du code. Le TCB (Trusted Computing Base) est défini comme la totalité des mécanismes de protection dans un système informatique, incluant le "hardware" (matériel informatique), le "firmware", et le "software" (logiciel).


title: Sécurité des hyperviseurs

text: De leur combinaison ressort la partie responsable du renforcement de la politique de sécurité. Ainsi, malgré une faible empreinte de l'hyperviseur en lui-même, ces plates-formes ont un large TCB. Un micro-hyperviseur tel NOVA propose une architecture dans laquelle la réduction du TCB fait partie intégrante de la conception.


title: Sécurité des hyperviseurs

text: Les plates-formes de virtualisation telles que Xen, Vmware ESX et Hyper-V sont responsables de l'isolation et de la gestion de la mémoire des machines virtuelles. Puisque l'hyperviseur s'exécute au plus haut niveau de privilège, il forme avec le matériel la partie dite TCB.


title: Sécurité des hyperviseurs

text: Architecturalement, ces plates-formes dépendent de composants additionnels, des pilotes logiciels, des composants d'émulation, etc.


title: Sécurité des hyperviseurs

text: La compromission d'un de ces composants permettra à un attaquant d'obtenir des privilèges tels que l'accès à des zones mémoires ou d'injecter du code malveillant.


title: Sécurité des hyperviseurs

text: L'hyperviseur est une couche entre le système d'exploitation de la machine hôte et l'environnement virtuel, il offre de nouvelles opportunités pour les logiciels malicieux.


title: Sécurité des hyperviseurs

text: L'hyperviseur étant lui-même un logiciel, il comporte en son sein les bugs traditionnels et les vulnérabilités inhérentes à la création de programmes informatique.


title: Sécurité des hyperviseurs

text: Les environnements virtualisés sont vulnérables du fait même des systèmes d'exploitations s'exécutant comme des machines virtuelles, à l'ensemble des exploits et attaques traditionnelles qui se retrouvent sur les environnements plus classiques.


title: Sécurité des hyperviseurs

text: L'attente sécuritaire pour les environnements virtuels est d'autant plus élevée qu'elle dépend du nombre de systèmes d'exploitation virtuels à protéger, du nombre de points d'entrées potentiels, du nombre de failles à patcher et des points d'interconnexions.


title: Sécurité des hyperviseurs

text: Dans un environnement non virtuel, les applications s'exécutant sur une machine peuvent se voir l'une ou l'autre et dans certains cas communiquer entre elles. Tandis que dans un environnement virtuel les programmes tournant sur une machine sont en principe isolés des autres programmes tournant sur les autres machines. De ce point de vue le degré d'isolation devrait être assez fort pour que les vulnérabilités d'une machine ne puissent pas affecter les autres machines virtuelles ainsi que la machine hôte.


title: Sécurité des hyperviseurs

text: La couche de virtualisation est très impliquée à travers tout le cycle de vie de la machine virtuelle. Chaque interaction entre la machine virtuelle et l'hyperviseur est un vecteur potentiel d'attaque qui peut être exploité par un système d'exploitation virtualisé non autorisé. La machine virtuelle interagit directement avec l'hyperviseur et indirectement avec le système d'exploitation de la machine hôte et l'émulateur à travers lequel la VM (Virtual Machine) fait ses appels systèmes.


title: Sécurité des hyperviseurs

text: Un appel système est un événement qui se produit quand la VM exécute un code de sortie alors le code l'hyperviseur gère un évènement (par exemple émuler un accès mémoire). Un hypercall est similaire à un appel système, il est utilisé par les machines virtuelles pour demander des services explicites à l'hyperviseur.


title: Sécurité des hyperviseurs

text: Chaque appel système de la machine virtuelle peut être vu comme un canal de communication où une VM envoie implicitement ou explicitement des informations à l'hyperviseur que ce dernier doit traiter. L'ensemble des appels représente une partie de la surface d'attaque. Certaines solutions telles que Nohype permettent de réduire la surface d'attaque en éliminant le besoin d'interaction entre les machines virtuelles et l'hyperviseur.


title: Sécurité des hyperviseurs

text: Un des premiers bénéfices apportés par la virtualisation est l'isolation, elle permet d'assurer qu'une application tournant sur une VM n'accède pas à une application tournant sur un autre VM. L'isolation doit être fortement maintenue, pour que l'intrusion dans une machine virtuelle ne permette pas l'accès aux autres machines virtuelles, à l'hyperviseur et à la machine hôte. Pour exemple, le partage du presse-papiers dans un environnement virtuel est une fonctionnalité pratique qui permet aux données d'être transférées entre les machines virtuelles et la machine hôte. Mais cette fonctionnalité peut aussi servir de passerelle pour transférer des données entre des codes malicieux agissant en collaboration au sein de différentes machines virtuelles. Certaines technologies de virtualisation ne mettent pas en œuvre l'isolation dans le but de permettre à des applications conçues pour un système d'exploitation, d'être opérationnelles sur un autre système d'exploitation, ce genre de solution permet l'exploitation des failles de sécurités des deux systèmes d'exploitation, et donne aussi un accès sans limites aux ressources de la machine hôte, tel que le système de fichiers.


title: Sécurité des hyperviseurs

text: Les machines virtuelles sont autorisées à partager les ressources de la machine hôte mais tout en fournissant l'isolation entre machines virtuelles et entre les VM et l'hôte. Cela dit les machines virtuelles sont conçues de telle manière qu'un programme tournant sur l'une ne puisse communiquer avec les programmes tournant sur l'autre, ou avec les programmes s'exécutant sur la machine hôte. Mais en réalité les organisations compromettent l'isolation. Elles configurent des isolations "flexibles" pour répondre aux besoins de leur architecture. Dans cette situation l'évasion de machine virtuelle est l'attaque la plus grave si l'isolation entre les machines virtuelles est compromise. Dans l'évasion de machine virtuelle, le programme s'exécutant dans la VM est capable de contourner l'hyperviseur et obtenir l'accès à la machine hôte. La machine hôte étant la racine, le programme qui a obtenu l'accès acquiert les privilèges administrateur. Cela a pour résultat de rendre caduque la sécurité d'ensemble de l'environnement. L'exploit Cloudburst est un exemple d'évasion de VM, il prend l'avantage sur une fonction d'affichage d'un produit Vmware, ce qui a permis l'évasion d'une VM et ainsi d'accéder à l'hyperviseur.


title: Sécurité des hyperviseurs

text: Dans le cas du trafic réseau, l'isolation dépend complètement de la manière dont l'environnement virtuel est connecté. Dans la majorité des cas la machine virtuelle est reliée à l'hôte au moyen d'un switch virtuel, ce qui permet à la VM d'utiliser l'ARP poisoning pour rediriger les paquets venant et entrant d'une autre machine virtuelle. L'isolation requiert un Hyperviseur sans défaut de conception et sans bug.


title: Sécurité des hyperviseurs

text: L'hyperviseur est responsable de l'isolation entre les machines virtuelles, les VM sont protégées si l'hyperviseur se comporte correctement. Dans le cas contraire l'hyperviseur introduit une faille de sécurité à l'ensemble de système. Une solution est de protéger l'hyperviseur de toutes modifications non autorisées.


title: Sécurité des hyperviseurs

text: Lors de la migration à chaud de machine virtuelle, les trois principales ressources physiques utilisées sont la mémoire, le réseau et le disque local.


title: Sécurité des hyperviseurs

text: La mémoire peut être copié directement d'un hôte vers l'autre, pour le disque local et l'interface réseau la migration n'est pas trivial.


title: Sécurité des hyperviseurs

text: La migration à chaud de machines virtuelles est une caractéristique essentielle de la virtualisation. Elle permet le transfert d'une machine virtuelle d'un serveur physique vers un autre sans interrompre les services en cours d'exécution sur la VM. La migration à chaud offre les avantages suivants : équilibrage de la charge de travail, la consolidation des machines virtuelles, etc.


title: Sécurité des hyperviseurs

text: L'hyperviseur est un logiciel qui émule la partie matérielle vue par les machines virtuelles, il contrôle complètement les ressources du système. La plupart des versions commerciales et open source des hyperviseurs supportent la migration à chaud.


title: Sécurité des hyperviseurs

text: La migration à chaud inclut beaucoup d'état de transferts à travers le réseau. Durant la procédure, protéger le contenu des fichiers d'état de la VM est important. La plupart des travaux, pour mettre en œuvre la migration à chaud, se sont concentrés sur l'implémentation de cette migration avec peu ou pas de considération pour la sécurité s'y rattachant. La mémoire est un point crucial par ce qu'il est difficile pour une machine virtuelle de chiffrer sa propre mémoire. Les protocoles de migration à chaud ne chiffrant pas les données en cours de transferts, toutes les données migrantes, tel que les mots de passe sont transmises en clair. De plus, après la migration l'environnement d'exécution de la machine virtuelle, aura peut-être changé en termes de ressources processeur, mémoire, drivers. De tels changements peuvent être détectés, et un attaquant capable de caractériser ces changements pourrait déclencher des attaques de type side-channel.


title: Sécurité des hyperviseurs

text: Une politique d'accès inappropriée permet à un utilisateur non autorisé d'initialiser, de migrer ou d'arrêter une machine virtuelle. La politique de contrôle d'accès prend aussi en compte l'accès à l'hyperviseur, l'isolation entre les VM, le partage des ressources, etc. Une politique d'accès inappropriés permettra à un attaquant de réaliser les attaques suivantes :


title: Sécurité des hyperviseurs

text: Le protocole de migration ne chiffre pas les données lors de leur circulation sur le réseau. Il est donc possible de mettre en place des attaques passives ou actives en utilisant des techniques telles que l'ARP/DHCP poisoning, DNS poisoning et l'IP/route hijacking. Les attaques passives peuvent être par exemple l'écoute du réseau pour récupérer des données sensibles. Les attaques actives peuvent être la manipulation des services d'authentification telles que sshd/bin/login ou la manipulation de la mémoire noyau. Il a été montré que le RTT (Round-trip delay time) des paquets ICMP est une métrique prometteuse pour détecter à distance le processus de migration d'une machine virtuelle. En ciblant une machine virtuelle avec les paquets ICMP, il est possible de déterminer quand cette machine a migré sur une autre machine physique .


title: Sécurité des hyperviseurs

text: Dans un environnement où les migrations à chaud sont initiées automatiquement pour distribuer la charge sur un grand nombre de serveurs, un attaquant pourrait faire la "promotion " de fausses ressources via le "Control Plane". Ainsi l'attaquant pourra influencer le "Control Plane" pour migrer une VM vers un hyperviseur compromis. Le "Control Plane" est le mécanisme de communication employé par les machines virtuelles pour déclencher et gérer les migrations à chaud.


title: Sécurité des hyperviseurs

text: Le module de migration implémente les fonctionnalités nécessaires à la migration des machines virtuelles, il doit donc être résistant aux attaques. Les vulnérabilités dans les modules de migration sont les débordements de pile, de tas, etc.. De telles vulnérabilités peuvent être utilisées par un attaquant pour y injecter du code malicieux ou même arrêter le processus de migration. Le module de migration de l'hyperviseur peut donner la possibilité à l'attaquant d'atteindre l'ensemble des machines virtuelles, le code du module de migration doit être scruté en profondeur pour y supprimer de telles vulnérabilités. Une approche pour sécuriser la migration à chaud est d'isoler le trafic en assignant les VM à un Virtual Lan (Vlan). Le problème principal posé par les VLAN est l'augmentation de la complexité et le coût administratif élevé quand le nombre de machines virtuelles croît.


title: Sécurité des hyperviseurs

text: Les hyperviseurs ne peuvent en principe s'attaquer directement l'un l'autre, parce que chaque instance s'exécute dans son propre espace d'adressage et un canal direct de communication n'existe pas entre les hyperviseurs.


title: Sécurité des hyperviseurs

text: Pour contourner cela un attaquant devra passer par des services partagés par plusieurs hyperviseurs, par exemple les pilotes.  Les pilotes utilisent un canal de communication dédié pour chaque hyperviseur. Quand un hyperviseur malicieux exécute une attaque de type déni de service en soumettant trop de requêtes, le pilote peut couper le canal de communication. La première préoccupation de sécurité concernant les drivers et leur utilisation de la DMA (Direct Memory Access). Si une plate-forme n'inclut pas un IOMMU (Input/Output Memory Management Unit ()), alors tout pilote qui accède directement à la mémoire doit être de confiance.


title: Sécurité des hyperviseurs

text: Sur les nouvelles plates-formes qui fournissent une IOMMU, l'hyperviseur réduit l'usage de la DMA, un pilote compromis ou un driver malicieux peut seulement affecter la disponibilité de son propriétaire, l'intégrité et la confidentialité de la région mémoire qui lui est assignée.  Donc si un hyperviseur délègue l'ensemble de la mémoire physique d'une machine virtuelle à un driver alors ce dernier pourra manipuler la VM tout entière. En utilisant la IOMMU l'hyperviseur bloque les transferts vers sa propre zone mémoire et restreint les vecteurs d'interruption disponibles pour les pilotes. Dans les architectures où les drivers sont intégrés à l'hyperviseur, un matériel non sûr peut saper la sécurité du système dans son entier.


title: Sécurité des hyperviseurs

text: DMA capable devices : ce sont des dispositifs qui peuvent directement lire la mémoire sans intervention de la CPU. Ainsi ils peuvent passer outre les protections de l'hyperviseur. Ces attaques peuvent être en grande partie réalisées par l’émergence de dispositifs d'entrées/sorties virtuels.


title: Sécurité des hyperviseurs

text: Un hypercall est l'équivalent d'un appel système sur les systèmes d'exploitations classiques . D'un point de vue sécuritaire les hypercall sont des véhicules commodes pour un attaquant. Si un attaquant compromet une machine virtuelle pour lancer un hypercall malicieux, il peut causer de sérieux problèmes à l'ensemble du système virtualisé. Des études récentes suggèrent que les interfaces des hypercalls peuvent être exploitées pour injecter du code malicieux dans l'hyperviseur. Ci-dessous le scenario typique d'une attaque d'hypercall dans une architecture XEN :Bien qu'une machine virtuelle ne puisse directement modifier les structures de données tels les tables, les descripteurs globaux… Ces opérations peuvent être demandées à travers les hypercalls. Si un attaquant peut modifier un hypercall, il peut potentiellement modifier les droits d'accès à ces structures de données. Il peut ainsi avoir accès aux pages mémoire d'autres machines virtuelles ou modifier le code de ces machines. Il peut aussi causer un déni de service à l'encontre des utilisateurs légitimes de la VM.


title: Sécurité des hyperviseurs

text: Rejouer un machine virtuelle peut être pratique pour le diagnostic mais cela peut créer des problèmes pour certains algorithmes de cryptographie. Par exemple, la valeur occasionnelle d'une clé symétrique ne devrait jamais être réutilisée. Si une machine virtuelle est réinitialisée à un état précédent, une même valeur pourrait être répétée. Un attaquant pourrait exploiter cette propriété pour réaliser une attaque contre le système de cryptographie.


title: Sécurité des hyperviseurs

text: Ces attaques exploitent les propriétés physiques du matériel pour récolter des informations pouvant donner un schéma ou pattern de fonctionnement du système à attaquer. Le fait que plusieurs machines virtuelles partagent le même matériel rend l'attaque side channel relativement aisée à réaliser. Sans mise en place de dispositif de sécurité au niveau matériel, le partage du matériel est dangereux. L'un des buts de ce type d'attaque est de révéler les clés cryptographiques. Ces attaques sont généralement catégorisées en trois classes :


title: Sécurité des hyperviseurs

text: Dans les environnements Cloud Computing, il est possible de mapper l'infrastructure et d'identifier là-où une machine virtuelle réside. Il est alors possible d'instancier de nouvelles machines virtuelles, jusqu'à ce qu'une soit placée en corésidence avec la VM cible. Après ce placement la VM instanciée peut extraire des données confidentielles en provenance de la VM légitime. Ceci est un type d'attaque side-channel.


title: Sécurité des hyperviseurs

text: Les attaques side-channel sont donc très liées à l'existence de phénomènes physiques causés par le traitement sous-jacent des données par les dispositifs électroniques. Quelles sont les contre-mesures?


title: Sécurité des hyperviseurs

text: Cette attaque consiste à installer un hyperviseur non autorisé qui prendra le contrôle complet du serveur. Les mesures standards de sécurité sont dans ces cas inefficaces, car le système d'exploitation ne se rendra pas compte que la machine a été compromise. Des attaques telles que l'hyperjacking peuvent mettre en balance la sécurité d'architecture comme le cloud computing.


title: Sécurité des hyperviseurs

text: Pour faire face aux failles et/ou aux attaques de plus en plus sophistiquées révélées par l’utilisation des hyperviseurs, les entreprises ont besoin d'une suite complète de solutions pour les sécuriser.


title: Sécurité des hyperviseurs

text: L'une des premières tentatives pour concevoir un hyperviseur sécurisé est faite par Karger & al lors d’une recherche menée entre 1981 et 1990 sur la production d’un noyau de sécurité Virtual Machine Monitor (VMM). Ce projet de recherche a obtenu le niveau de sécurité A1 par le  National Computer Security Center (NCSC). Il s’agit du niveau de sécurité le plus élevé conformément aux critères d’évaluation du Trusted Computer System Evaluation Criterial publié par NCSC en 1985 et qui est également connu sous le nom de Livre Orange. Le développement du noyau de sécurité VMM est effectué à partir de l’extension d’adresse virtuelle de l'architecture VAX conçue par Digital Equipment Corporation au cours des années 1970.


title: Sécurité des hyperviseurs

text: Conformément aux exigences du niveau de sécurité A1, le VAX Hyperviseur prend en compte les systèmes de contrôle d’accès DAC et MAC de toutes les machines virtuelles. Avec MAC, le VMM VAX utilise le modèle de protection Bell-Lapadula Model pour la protection de la vie privée et le modèle de protection d’intégrité Biba.


title: Sécurité des hyperviseurs

text: Le noyau de sécurité VAX prend en compte et fait fonctionner simultanément et en toute sécurité plusieurs machines virtuelles sur un seul système physique VAX tout en assurant l’isolement et le partage contrôlé des données sensibles. Il est doté d’un système d’authentification sécurisé, avec un niveau de performance élevé et des outils de gestion du système très développés soumettant ainsi les machines virtuelles à des contrôles d’accès et d’audits obligatoires. Ainsi chaque machine virtuelle est dotée d’une classe d’accès composée d’une classe secrète et d’une classe d’intégrité similaire aux classes dans les VMS Security Enhancement Services (VMS SES).


title: Sécurité des hyperviseurs

text: Pour répondre à la fois aux exigences du niveau élevé de sécurité A1 et aux exigences du monde réel des utilisateurs, les techniques suivantes sont introduites dans le noyau de sécurité VAX.


title: Sécurité des hyperviseurs

text: Tout comme les contrôles d'accès, les lignes directrices de conception et le code sont obligatoires ou discrétionnaires. Les lignes directrices obligatoires sont fondées sur une expérience préalable dans l'évolution du noyau de sécurité. Des lignes directrices facultatives sont utilisées pour éviter les pièges bien connus dans la programmation et pour avoir des codes lisibles et cohérents.


title: Sécurité des hyperviseurs

text: À chaque fois qu'un utilisateur veut accéder à une machine virtuelle, il doit d'abord s'authentifier au VMM VAX. À cet effet, le VAX hyperviseur offre un processus de confiance en cours d'exécution dans le noyau. Ce processus ne s'exécute qu’après validation de l’Authentification de l’utilisateur. Puis, le VAX hyperviseur crée un chemin de confiance entre le processus serveur et l'utilisateur. Le serveur fournit des commandes permettant à l'utilisateur de se connecter à une machine virtuelle en fonction de ses droits d'accès. Dans le cas où l'utilisateur a les droits nécessaires pour se connecter à une machine virtuelle une autre voie de sécurité est établie entre l'utilisateur et la machine virtuelle, lui permettant d'interagir avec le système d'exploitation en cours d'exécution dans la machine virtuelle.


title: Sécurité des hyperviseurs

text: En résumé, le VMM VAX offre un niveau de sécurité élevé en répondant aux niveaux d'exigence de sécurité A1 avec non seulement la mise en œuvre des modèles de sécurité formels, DAC, MAC, de l'analyse des canaux cachés mais aussi aux exigences du monde réel avec une distribution sécurisée des ressources finales et un niveau élevé de confiance à l'utilisateur.


title: Sécurité des hyperviseurs

text: En 2003, Tal Garfinkel et al ont écrit un article présentant une Machine virtuelle basée sur une plateforme de confiance appelée Terra. L'architecture Terra est basée sur un moniteur de machine virtuelle qui permet à plusieurs machines virtuelles d'être multiplexées sur une seule machine physique. Terra utilise le moniteur de machine virtuelle sécurisée appelée Trusted Virtual Monitor Machine (TVMM). L’architecture TVMM propose des services variés avec des mécanismes de protection avancés.Pour atteindre ces objectifs en matière de sécurité le TVMM offre une interface pour le maintien de l'application en sécurité. À cet effet, Terra fournit plusieurs classes de disques virtuels qui sont utilisés pour assurer la Confidentialité et l'intégrité des données. Le TVMM chiffre/déchiffre et HMAC les données d’une VM au nom de cette VM assurant ainsi l'intimité du stockage et de l'intégrité. En conclusion, Terra présente une architecture très flexible qui fournit certaines fonctions de sécurité très importantes dont l'attestation. Toutefois, pour pouvoir utiliser toutes les fonctions de sécurité offertes par Terra, le système doit être exécuté sur du matériel inviolable. Ce qui n’est pas le cas pour les puces matérielles pour PC. Ceci étant, cela peut changer dans un proche avenir avec le Module TPM implémenté dans les PC depuis 2010.


title: Sécurité des hyperviseurs

text: L'architecture de sécurité sHype est surement l’une des approches les plus connues quand il s’agit de créer un hyperviseur sûr. Elle est née d’un projet de recherche d’IBM développé pour IBMs rHype avec un hyperviseur open-source. Peu de temps après la sortie de sa première version, elle est implémentée dans un hyperviseur Open source. Son objectif principal est de contrôler les flux d’information explicites entre les machines virtuelles. sHype utilise la politique de sécurité formelle MAC.


title: Sécurité des hyperviseurs

text: sHype utilise le concept d'un moniteur de référence qui applique les relations d’accès autorisées entre les sujets et objets d'un système. Cela signifie que le moniteur de référence est appelé chaque fois qu’un utilisateur veut accéder à un objet. Toutefois, le moniteur de référence ne décide pas si un utilisateur peut accéder à un objet. Il impose seulement la décision qui est souvent prise ailleurs dans le système. C’est le Module de Contrôle d’Accès (MAC) qui est responsable de cette décision. Le MAC utilise la politique de sécurité formelle avec des étiquettes qui sont fixées sur les sujets et les objets du système et le type d'opération qu’un sujet peut exécuter pour rendre une Access Control Decision (DAC). Ainsi le flux de travail complet que le système exécute si un sujet tente d'accéder à un objet est la suivante : l'appel d'accès de l'objet est intercepté par le moniteur de référence, qui à son tour appelle le MAC en plaçant une requête d'autorisation (Authorization Query : AQ). Cet AQ contient les étiquettes de l'objet et les opérations qui peuvent être exécutées sur l'objet (lecture, écriture ...). Le MAC utilise la politique de sécurité formelle et les données de l'AQ pour faire un DAC qui est ensuite renvoyé à l'écran de référence. Enfin, le moniteur de référence applique le DAC en autorisant ou en refusant d’exécuter l'opération. Dans ce processus, le moniteur de référence est effectivement mis en œuvre en utilisant des crochets d'exécution qui sont répartis sur l'hyperviseur.


title: Sécurité des hyperviseurs

text: L'élément clé de l'architecture sHype pour répondre à son objectif de contrôler les flux d’information explicites entre les machines virtuelles est le moniteur de référence qui isole sHype des machines virtuelles et permet le partage des ressources entre les machines virtuelles uniquement si cela est permis par un contrôle d’accès obligatoire (Mandatory Access Control).


title: Sécurité des hyperviseurs

text: Par l’intermédiaire de MAC, sHype applique la politique de contrôle d'accès basée sur l'application des contraintes inter-partition aux flux d'information. sHype contrôle le flux d'information explicite par l'utilisation de ressources partagées explicitement virtuel (ex : VLAN) pour garantir la surveillance de l’accès non exclusif aux ressources de la partition virtuelle et assurer l’assignement exclusif des ressources virtuelles aux partitions.


title: Sécurité des hyperviseurs

text: Le contrôle d’accès aux domaines MAC limite l'accès aux ressources virtuelles uniquement à des domaines qui appartiennent à la même coalition que la ressource virtuelle. Les domaines MAC deviennent ainsi partie intégrante de la base informatique sécurisée ou Trusted Computing Base.


title: Sécurité des hyperviseurs

text: sHype utilise l’attestation Trusted Platform Module qui offre la possibilité de générer et d’apporter des mesures d'intégrité d'exécution sur l'hyperviseur et les Machines virtuelles. Cela permet aux systèmes distants de déduire les propriétés d'intégrité du système en cours d'exécution.


title: Sécurité des hyperviseurs

text: Pour répondre aux exigences métier, sHype utilise les différentes politiques MAC comme le Modèle de Biba, le Modèle Bell-LaPadula, Caermarvon ainsi que le Chinese Wall.


title: Sécurité des hyperviseurs

text: En conclusion, la sécurité proposée par le sHype repose sur l'isolement fourni par le noyau qu’il complète par la supervision du partage des ressources entre les machines virtuelles. Le sHype agit en tant que médiateur à l'intérieur de l'hyperviseur et entre les machines virtuelles dans la gestion des ressources en fonction de la politique de sécurité active et du contrôle d'accès dans les communications inter-virtuelles. Tout ceci concourt à une grande flexibilité de l’architecture sHype avec des politiques de sécurité mesurées et indépendantes de la mise en œuvre technique.


title: Sécurité des hyperviseurs

text: Une autre approche pour assurer la sécurité est proposée avec l’architecture HyperWall. Il s’agit de protéger les machines virtuelles invitées à partir d'un hyperviseur non fiable. Avec HyperWall, l’hyperviseur gère librement la mémoire, les cœurs de processeur et d'autres ressources d'une plate-forme. Une fois les machines virtuelles créées, le CIP (Confidentiality and Integrity Protection) protège la mémoire des machines virtuelles invitées à partir de l'hyperviseur ou par le DMA(Direct Memory Access) selon les spécifications du client. Le client peut spécifier que certaines plages de mémoire soient protégées contre les accès par l'hyperviseur ou par le DMA. L’HyperWall est l’élément clé qui assure la protection de la confidentialité et de l'intégrité des objets qui ne sont accessibles que par le matériel. Ils protègent tout ou partie de la mémoire d'une machine virtuelle basée sur les spécifications du client.


title: Sécurité des hyperviseurs

text: Pour assurer son objectif de protéger les machines virtuelles invitées quand l’hyperviseur est compromis, l’HyperWall utilise les mécanismes de protection qui sont détaillées ci-dessous : De nouvelles tables de protection de confidentialité et d'intégrité (CIP) sont introduites dans les machines virtuelles pour garantir à la fois la confidentialité et l’intégrité des données de la machine virtuelle et les codes des régions de la machine virtuelle que le client souhaite protéger. L’utilisation des tables CIP pour isoler la machine virtuelle est combinée à la cryptographie pour augmenter la sécurité.


title: Sécurité des hyperviseurs

text: Avec HyperWall, l'hyperviseur est capable de gérer entièrement la plateforme, pour démarrer, mettre en pause ou en arrêt les machines virtuelles ou de modifier l'affectation de la mémoire, de vérifier que l'hyperviseur n’a pas un comportement contraire à ce qui est attendu. Pour ce faire, l’HyperWall fournit des données de hachage pour attester que l'image du client VM initiale et les protections spécifiées étaient instanciées lors du lancement de la machine virtuelle. En outre, les preuves de confiance peuvent être générées pendant la durée de vie de la machine virtuelle pour vérifier que ses protections spécifiées ne sont pas corrompues. Lorsque la machine virtuelle est interrompue, sa mémoire protégée est mis à zéro par le matériel pour prévenir la fuite de données ou de code. Ainsi l'hyperviseur et le DMA retrouvent les droits d'accès à la mémoire de la machine virtuelle.


title: Sécurité des hyperviseurs

text: En 2009, David Grawrock annonce la notion de Trusted Computing avec une approche modulaire de la conception de la sécurité des plateformes et PC dans son livre Dynamics of a Trusted Platform. Le processeur Intel (TXT) est un bloc utilisé pour créer une plateforme sécurisée en implémentant des fonctionnalités de sécurité et de nouvelles capacités dans le processeur. L’utilisation de la technologie d’exécution fiabilisée Intel TXT permet la protection de l’infrastructure informatique contre les attaques logicielles au démarrage d’un serveur ou d’un ordinateur.


title: Sécurité des hyperviseurs

text: Intel TXT fonctionne en créant un environnement de lancement mesuré (MLE) qui permet de lancer certains éléments essentiels de l'environnement par rapport à une source connue servant de référence. Intel TXT crée un identifiant cryptographique unique pour chaque lancement de code approuvé. Ce mécanisme permet de bloquer le lancement des codes non approuvés. Cette solution basée sur la sécurisation du matériel fournit la plateforme sécurisée sur laquelle les solutions de confiance peuvent être déployées pour se protéger contre les attaques logicielles qui menacent l'intégrité, la confidentialité, la fiabilité et la disponibilité du système.Pour atteindre ses objectifs, les serveurs Intel TXT intègrent :


title: Sécurité des hyperviseurs

text: L’intégration de ces éléments est complétée par les principales caractéristiques des deux méthodes suivantes dans ces serveurs pour avoir une racine de confiance ou Root of Trust : L'architecture Intel TXT utilise le modèle S-RTM pour fournir des méthodes pour mesurer et enregistrer dans le module TPM un des logiciels du système qui se trouve dans la zone de confiance .


title: Sécurité des hyperviseurs

text: Cette approche est utilisée par VMware ESXi pour renforcer la sécurité matérielle dans sa nouvelle architecture vSphere 5.0 et a supprimé le système d’exploitation en Console (COS) et les fonctionnalités d’administration nécessaires ont été directement intégrées dans le noyau VM kernel au cœur de l’architecture. La suppression des failles de sécurité associées au système d’exploitation générique contribue à améliorer la sécurité et la fiabilité.


title: Sécurité des hyperviseurs

text: En 2010, toujours dans l’optique de sécuriser les hyperviseurs Xuxian Jiang et son étudiant en doctorat Zhi Wang proposent l’Isolation de l’hyperviseur via Hypersafe. Il s’agit d’un logiciel appelé HyperSafe qui tire parti des fonctionnalités matérielles existantes pour garantir les hyperviseurs contre de telles attaques. Les programmes malveillants doivent exécuter leur propre code dans l’hyperviseur. Pour éviter que cela se produise, le logiciel Hypersafe utilise une technique de verrouillage mémoire non contournable qui interdit de manière fiable l’introduction d’un nouveau code dans l’hyperviseur par une personne en dehors de l’administrateur de l’hyperviseur tout en empêchant toute tentative de modification du programme source de l’hyperviseur par des utilisateurs externes par la technique d’indexation.


title: Sécurité des hyperviseurs

text: Pour répondre à ses objectifs de protéger l’hyperviseur, les auteurs de Hypersafe utilisent un matériel de confiance de type TPM assistée d’une racine statique/dynamique (Trusted Boot) où sont implémentées les deux techniques principales suivantes :


title: Sécurité des hyperviseurs

text: En conclusion et comme le dit Jiang : “We can guarantee the integrity of the underlying hypervisor by protecting it from being compromised by any malware downloaded by an individual user, ” “By doing so, we can ensure the hypervisor’s isolation.”, le logiciel Hypersafe garantit seulement l'isolation de l'Hyperviseur et pas son intégrité en le protégeant contre les attaques malveillantes.


title: Sécurité des hyperviseurs

text: Les approches énumérées ci-dessus pour sécuriser les hyperviseurs proposent dans l’ensemble un niveau de sécurité élevé mais avec quelques nuances.


title: Sécurité des hyperviseurs

text: Le VAX Hypervisor propose le plus haut niveau de sécurité car cette approche répond au niveau d’exigence de sécurité A1 du NCSC en combinant : En plus des fonctions de sécurité, le Vax Hyperviseur impose des obligations pour le processus de développement logiciel avec des normes de codage sécurisées. Cependant, ce haut niveau de sécurité est limité à la plateforme VMM VAX sans prendre en compte les processeurs VAX. l’architecture proposée par le Vax Hypervisor est complexe et peu flexible.


title: Sécurité des hyperviseurs

text: L’architecture Terra offre une bonne flexibilité sans apporter un niveau de sécurité similaire à ceux de VAX Hyperviseur et de SHype. Ceci est du essentiellement au fait que Terra ne propose pas le mandataire d’accès contrôlé (MAC). De ce fait, Terra n’est pas en mesure de sécuriser de façon fiable la circulation des informations. Terra reste donc une architecture très flexible qui s’adapte au besoin avec les boites Open-Box et Closed-Box.


title: Sécurité des hyperviseurs

text: sHype offre une architecture très souple avec l’option MAC lui permettant de respecter les différents modèles de sécurité formels. Avec MAC, sHype gère les flux d'information explicites et offre des garanties d'intégrité du contenu. Aussi, le SHype sécurise la circulation des informations en la limitant à lui-même et réduit également le nombre de canaux cachés dans l'architecture. sHype s’appuie sur l’isolement fournit par le noyau et traduit l'isolement sous-jacent de la machine virtuelle dans les propriétés d'isolation liées aux charges différentes de travail. Les canaux cachés constituent un problème pour l’architecture sHype. Ce problème peut être résolu dans un proche avenir avec les travaux en cours. Ces travaux en cours vont permettre une attestation à distance pour sHype. Le sHype ne repond pas aujourd’hui aux objectifs fixés contrairement à l’architecture Vax Hypervisor. Cependant, le niveau de sécurité offert par sHype est convenable et sera amélioré avec les travaux en cours dans un proche avenir.


title: Sécurité des hyperviseurs

text: Il est à noter que pour sécuriser les hyperviseurs, il faut vérifier que le système est mis en œuvre correctement et ne contient aucune lacune grave susceptible de compromettre la sécurité de l’ensemble du système.


title: Dorsa Smirnov

text: La dorsa Smirnov est une dorsale lunaire située sur la Mare Serenitatis situé sur la face visible de la Lune.


title: Dorsa Smirnov

text: Cette longue crête mesure de longueur. Les données sélénographiques sont 27°18′N et 25°18′E / 27.3°N et 25.3°E.


title: Dorsa Smirnov

text: La dorsa Smirnov porte le nom du géologue russe Sergueï Sergueïevitch Smirnov (1895-1947).


title: Marais de Pousseau

text: Le marais de Pousseau est un ensemble de prairies humides s'étendant sur environ 149 hectares sur les communes de Royan et de Médis, en Charente-Maritime.


title: Marais de Pousseau

text: Au contact tant de zones urbaines (sud du quartier Saint-Pierre et abords de la zone d'activités de Royan) que rurales ou semi-rurales (jardins maraîchers du quartier de Bernon) il doit son nom au hameau de Pousseau, sur la commune de Médis. Drainé par une série de canaux et de fossés, il est un conservatoire d'espèces animales et végétales rares, et constitue un des derniers marais urbains de la côte atlantique française.


title: Marais de Pousseau

text: Une partie du marais a été aménagée et intégrée au parc Planet Exotica. Les visiteurs du parc peuvent ainsi, en saison, sillonner une partie des canaux en barque et mieux appréhender la richesse biologique de ce vaste ensemble si souvent méconnu. Le marais de Pousseau est protégé au niveau européen dans le cadre du réseau de protection des espaces naturels de grande valeur patrimoniale Natura 2000, et est inscrit dans une zone naturelle d'intérêt écologique, faunistique et floristique (ZNIEFF) de type I (petits espaces homogènes).


title: Marais de Pousseau

text: Le marais de Pousseau s'inscrit dans un ensemble de marais littoraux et arrière-littoraux couvrant une partie de la presqu'île d'Arvert. Si certains ont été reconvertis en espaces de loisirs (marais du Rhâ et de Nauzan a Saint-Palais-sur-Mer et Vaux-sur-Mer) ou simplement « effacés de la carte » et lotis (marais du Font-de-Cherves), d'autres conservent un caractère plus « sauvage », comme ceux de Bréjat, de Saint-Augustin, de Pontaillac et de Chenaumoine.


title: Marais de Pousseau

text: La hauteur moyenne du marais est de . Il est bordé à l'ouest par le plateau de Saint-Pierre et les hauteurs de La Garenne et de Montperrier, s'étend le long de la combe de la Coudraye et est entaillé au nord par deux « presqu'îles » au relief moyennement accentué, particulièrement au « Peu Blanc », petite colline de de haut qui ménage une vue d'ensemble sur le marais. À l'est, il suit le Fief de la Motte et le plateau de Belmont.


title: Marais de Pousseau

text: Un cordon dunaire sépare à l'origine le marais de Pousseau de l'estuaire de la Gironde, qui est naturellement drainé par un petit ruisseau, le riveau de Pousseau ou « Grand riveau ». Au Moyen Âge, on y installe des salines, véritable « or blanc » qui permet la conservation des aliments.


title: Marais de Pousseau

text: Au , des chantiers navals sont aménagés au débouché du marais de Pousseau. Au siècle suivant, alors qu'est importée d'Angleterre la mode des bains de mer, une ordonnance du maire interdit les « dépôts de terre, bourriers sur la conche entre le port et le Grand riveau (Pousseau) ». La dune est progressivement plantée de pins, suivant un procédé éprouvé ailleurs (dans les Landes de Gascogne voisines mais aussi dans la forêt de la Coubre), puis lotie, formant un nouveau quartier résidentiel (Le Parc). Le Grand riveau est canalisé. Après-guerre, les architectes décident de transformer une partie du marais en un espace vert, baptisé « La Tache verte ». La partie intérieure du marais n'est pas ou peu urbanisée, et conserve sa vocation de zone de pâturage pour les bovins, qui contribuent à entretenir naturellement le marais. La culture extensive du maïs y est également développée.


title: Marais de Pousseau

text: De petites routes de campagne permettent de se promener au travers des marais, entre Bernon, Monsonge (Royan) et Pousseau (Médis). Les milieux déterminants sont les prés salés méditerranéens et atlantiques, les eaux eutrophes, les prairies humides et les mégaphorbiaies. Dans les fossés fleurissent iris jaune, phragmites et nénuphars. De nombreuses espèces d'oiseaux, pour qui les marais sont un site de reproduction et/ou de migration peuvent y être observées : rousserolle turdoïde, martin-pêcheur d'Europe, cigogne blanche, cigogne noire, busard des roseaux, pie-grièche écorcheur, milan noir, etc.


title: Championnat de Bahreïn de football 2009-2010

text: La saison 2009-2010 du Championnat de Bahreïn de football est la cinquante-quatrième édition du championnat national de première division à Bahreïn. Les dix meilleurs clubs du pays sont regroupés au sein d'une poule unique et s'affrontent deux fois au cours de la compétition, à domicile et à l'extérieur. À l'issue de la saison, le dernier du classement est relégué tandis que l'avant-dernier doit disputer un barrage de promotion-relégation face au vice-champion de D2.


text: C'est Al-Ahli Club qui remporte la compétition, après avoir terminé en tête du classement final, avec un seul point d'avance sur le quadruple tenant du titre, Al Muharraq Club et trois sur Riffa Club. C'est le cinquième titre de champion de Bahreïn de l'histoire du club.


text: Le classement est basé sur le barème de points classique (victoire à 3 points, match nul à 1, défaite à 0).


text: Les clubs de Malikiya Club et Al Hala SC terminent à égalité de points à la , synonyme de maintien. Un barrage est organisé pour les départager et c'est Al Hala qui reste en première division après avoir gagné 3-2.


text: Les deux clubs se maintiennent dans leur championnat respectif.


title: Daisetta

text: La ville de Daisetta est située dans le comté de Liberty, dans l’État du Texas, aux États-Unis. Sa population s’élevait à lors du recensement, estimée à .


title: Château de Duras (Belgique)

text: Le château de Duras est un château situé à Duras, entité de la commune belge de Saint-Trond.


title: Château de Duras (Belgique)

text: En 1789, le château fut construit pour le comte Jean-Joseph-Philippe van der Noot, baron de Meldert, par l'architecte Ghislain-Joseph Henry. Marié à Florence de Ruysschen, comtesse d’Elissem, sa fille Louise épousa le prince Louis de Ligne, fils de Charles-Joseph de Ligne, et sera la mère du prince Eugène Ier de Ligne. Veuve, Louise van der Noot épousa le comte Charles d’Oultremont, dont la famille devint propriétaire du château.


title: Pınar Selek

text: Pınar Selek, née le à Istanbul, est une sociologue, militante antimilitariste féministe et écrivaine turque, vivant en exil en France où elle a obtenu la nationalité française en 2017.


title: Pınar Selek

text: Fille d'Alp Selek, un avocat qui a passé quatre ans et demi en prison après le coup d’État de septembre 1980, et de Ayla Selek, pharmacienne, Pınar Selek est par ailleurs la petite-fille de Haki Selek, un des fondateurs du Parti des travailleurs de Turquie. Ancienne élève du lycée Notre-Dame de Sion à Istanbul, elle est actuellement doctorante en sciences politiques à l’université de Strasbourg.


title: Pınar Selek

text: Connue pour ses écrits sur les groupes opprimés en Turquie, elle plaide pour une approche sociologique qui ne situe pas en surplomb des personnes enquêtées mais repose sur une immersion de longue durée (comme elle le résume dans un des articles récents paru en français). Ainsi son mémoire de DEA soutenu en 1997 portait sur la rue Ulkër à Istanbul. Ayant partagé la vie des enfants de la rue pour mieux les connaître, parfois enfants de prostituées, jeunes homosexuels, elle mena sa recherche sur les personnes trans qui furent exclus de cette rue.


title: Pınar Selek

text: Après ce travail, elle commence une enquête d'histoire orale sur la diaspora politique kurde au Kurdistan, en Allemagne et en France. La police turque l’arrête le 11 juillet 1998 et lui demande de livrer les noms de ses enquêtés. Elle refuse de les donner malgré les actes de torture qu'elle subit. Commence alors une des affaires judiciaires les plus emblématiques de la répression que subissent intellectuels, universitaires étudiants, artistes et journalistes en Turquie.


title: Pınar Selek

text: Sa thèse en cours porte sur les mouvements sociaux turcs. Elle a déjà publié plusieurs travaux de sociologie en Turquie dont une partie commence à être traduite en français. Elle enseigne les sciences politiques à l'université Nice-Sophia-Antipolis depuis 2016. Elle est également écrivaine et a publié plusieurs essais et romans, ainsi qu'un conte pour enfants. Son essai "Parce qu'ils sont arméniens" (2015) allie de façon originale autobiographie intellectuelle, témoignage social et historique, et réflexion critique. Pınar Selek a cofondé en 2001 l'association "Amargi", qui lutte contre les violences faites aux femmes.


title: Pınar Selek

text: En septembre 2017, elle obtient la nationalité française


title: Pınar Selek

text: Une explosion a lieu le 9 juillet 1998 sur le bazar aux épices à Istanbul faisant 7 morts et une centaine de blessés. Il a été établi par plusieurs experts que cette explosion était due à une fuite de gaz. Alors que Pınar Selek est enfermée, les autorités policières produisent des preuves falsifiées prouvant que cette explosion était due à une bombe posée par des partisans du PKK. La police reproche à Pınar Selek d'avoir collaboré à ce supposé attentat. En l'attente d'un jugement, en 2000, Pınar Selek est libérée une première fois.


title: Pınar Selek

text: À sa libération, Pınar Selek crée en 2001, avec d'autres militantes féministes, l'association Amargi qui s'engage notamment contre les violences faites aux femmes. En 2006, lorsque vient l'heure d'un premier procès, un des faux témoins produits pour les besoins de ce procès politique se rétracte et confie que ses aveux ont été obtenus sous la torture. Pınar Selek est relaxée une première fois mais le procureur fait appel. En 2008, elle est relaxée une seconde fois mais l'appel de la Cour de Cassation l'oblige à fuir la Turquie. Elle vient de publier "Sürüne Sürüne erkek olmak", une étude sur la construction de la masculinité à travers le service militaire en Turquie. Bénéficiant d'une bourse du PEN club, Pınar Selek se rend alors en Allemagne.


title: Pınar Selek

text: Bien qu’elle soit relaxée une troisième fois en 2011, le procureur fait encore appel. La pénale d'Istanbul revient sur sa propre décision le 24 janvier 2013, prononçant une condamnation à vie pour terrorisme à l'encontre de Pınar Selek malgré l'absence de nouveaux éléments recevables dans le dossier. Les avocats de Pınar Selek ayant une nouvelle fois fait appel, cette procédure judiciaire, parmi les plus longues de l'histoire pénale de la Turquie, est toujours en cours et devrait déboucher sur un nouveau procès auprès de la Cour de cassation dans les prochains mois. Dans l'attente de ces nouvelles décisions judiciaires, Pınar Selek vit et travaille toujours à Strasbourg, où elle poursuit sa thèse à l'université de Strasbourg sur les mouvements d'émancipation en Turquie.


title: Les Compagnons d'Eleusis

text: Les compagnons d'Eleusis est une série française réalisée par Claude Grinberg et diffusée à partir du sur TF1.


title: Les Compagnons d'Eleusis

text: Une mystérieuse organisation, qui se fait appeler "Les Compagnons d'Eleusis", fait tomber des quantités importantes d'or sur le marché des métaux précieux, ce qui provoque un fort affolement dans les cercles financiers. Un jeune journaliste et sa copine décident d'enquêter sur l'affaire...


title: Les Compagnons d'Eleusis

text: Feuilleton mythique, futuriste dont le but était de faire rêver à une société harmonieuse comme au temps d'Éleusis, cité de la Grèce Antique.


title: Théo Grinevald

text: Théodore Joseph, dit Théo Grinevald est un syndicaliste chrétien français, entré, en 1951, au Bureau international du travail (BIT) dans le Service des relations avec les travailleurs, organe de l'Organisation internationale du travail fondée en 1919.


title: Théo Grinevald

text: Théo Grinevald est né à Strasbourg le , mort à Genève le . Il utilisa pour pseudonymes : Kengrin, Albert Lecomte et Joseph Verbois. Il est tout à la fois : alsacien, père de famille nombreuse, chrétien pratiquant, syndicaliste, européen convaincu, africaniste, internationaliste, mondialiste, fonctionnaire international dans le système des Nations unies, grand lecteur de Péguy puis de Teilhard de Chardin...


title: Théo Grinevald

text: Petit-fils du peintre Anselme dit Augustus Grinevald (1819-1875) et fils de Léon Grinevald, rédacteur à la Caisse des assurances sociales d'Alsace-Lorraine et de Lucie Kenzel, sans profession. En tant qu'Alsacien, il a trois langues maternelles : l'allemand, le français et l'alsacien. Il y ajoutera l'anglais et un peu d'espagnol et d'italien.


title: Théo Grinevald

text: Orphelin de père à 7 ans, il doit exercer divers métiers pour vivre. Il entre au secrétariat de l'hôpital universitaire de Strasbourg alors transféré à la cité-sanitaire de Clairvivre, Dordogne dès , il passe sa capacité en droit en 1942 à Clermont-Ferrand.


title: Théo Grinevald

text: Alors qu'il est au Sanatorium de Saint-Hilaire du Touvet (Isère), il rencontre et épouse en 1942 Madeleine Célestine Promonet (Auboué, -Genève, ), alors assistante sociale du groupement des réfugiés et exilés alsaciens-lorrains de l'Isère. Ils auront 7 enfants. Au lendemain de la Seconde Guerre mondiale, Théo Grinevald fut l'un des artisans du mouvement syndical international.


title: Théo Grinevald

text: À la libération, il retourne à Strasbourg et milite au sein de la Confédération Française des Travailleurs Chrétiens (CFTC). En , appelé par Gaston Tessier, président de la CFTC, il vient à Paris et devient secrétaire général de la Fédération générale de la fonction publique, et de la Fédération internationale de la fonction publique. En 1949, fonde et anime comme secrétaire général le Mouvement des travailleurs chrétiens pour l'Europe (MTCE). C'est en 1951 que Gaston Tessier lui demande d'accepter le poste de collaborateur au service des relations avec les travailleurs au Bureau International du Travail à Genève, siège de l'Organisation Internationale du Travail (OIT/ILO). Par la suite il deviendra conseiller auprès du Directeur général. Il est le premier fonctionnaire du BIT à se rendre à l'Est, au Conseil de la Fédération Syndicale Mondiale à Berlin (). Dans le cadre du BIT, il fait de nombreux voyages dans les pays d'Afrique et d'Asie. Européen convaincu, il défend une fonction publique internationale et milite pour la formation continue des travailleurs.


title: Théo Grinevald

text: Membre de la Commission suisse "Justice et Paix". Membre à Paris des Amitiés Charles Péguy, il travailla à une étude sur "Péguy et l'Alsace".


title: Théo Grinevald

text: La lecture des œuvres de Pierre Teilhard de Chardin par Théo G. ne commence que vers le milieu des années 1960, et c'est son fils aîné Jacques Grinevald, alors élève du Collège Jésuite de Dôle, qui lui communique cet enthousiasme porté aussi par les controverses qui entourent la figure de ce savant Jésuite et la publication de ses œuvres posthumes (à ne pas confondre avec ses travaux proprement scientifiques dans le domaine de la géologie et de la paléoanthropologie). Les intellectuels chrétiens qui découvraient l'importance de l'Évolution et de ce que Teilhard appelait la planétisation de l'espèce humaine. C'était aussi pour eux une manière de dialoguer avec certains marxistes. Théo Grinevald fut un membre actif de l'association des Amis de Pierre Teilhard de Chardin. Il rédige plusieurs textes concernant la pensée teilhardienne sur le monde du travail, la socialisation et l’internationalisme. Sa mort prématurée ne lui permet pas de terminer l’ouvrage qu’il avait en chantier consacré à Teilhard de Chardin et les travailleurs. Le manuscrit de son "Teilhard a-t-il un message pour les travailleurs ?" comprend 272 folios, est inédit.


title: Théo Grinevald

text: Il collabora sous le pseudonyme d'Albert Lecomte à la revue des jésuites de "l'Action populaire", actuellement la revue "Projet".Plusieurs articles dans "Revue de l'Action populaire" (actuelle revue "Projet"), sous le nom d'Albert Lecomte :


title: Théo Grinevald

text: Acticles dans le journal "Syndicalisme", organe des syndicats chrétiens de la Suisse romande, signés T.G. ou Théo Grinevald dont voici les titres :


title: Théorème d'Immerman-Szelepcsényi

text: Le théorème d'Immerman-Szelepcsényi est un théorème d'informatique théorique, et notamment de la théorie de la complexité, démontré en 1987 indépendamment par Neil Immerman et Róbert Szelepcsényi, et qui leur a valu d'obtenir conjointement le prix Gödel en 1995. Une version simplifiée de ce théorème est NL = co-NL.


title: Théorème d'Immerman-Szelepcsényi

text: Le théorème concerne la complexité en espace des calculs effectués par des machines de Turing non déterministes. La complexité en espace est mesurée par le nombre de cellules qu'occupent sur la bande les calculs de la machine de Turing. Elle est exprimée en fonction de la taille de l'entrée.


title: Théorème d'Immerman-Szelepcsényi

text: Il est toujours un peu délicat de parler de complexité dans le cas des machines non déterministes puisque, pour une donnée, il peut exister plusieurs, voire une infinité de calculs. D'abord, on ne considère que les calculs qui se terminent. Et parmi ces calculs, celui qui est le plus favorable quant à la mesure que l'on adopte, soit le plus rapide pour une complexité en temps, soit le plus économe en place pour une complexité en espace. Enfin, dans les problèmes qui sont à réponses « oui-non », ce qui est le cas ici, on ne considère que les calculs réussis, qui donc apportent une réponse positive.


title: Théorème d'Immerman-Szelepcsényi

text: On note par NSPACEformula_1 l'ensemble des problèmes qui peuvent être ainsi résolus par une machine de Turing non déterministe en place au plus formula_2 en fonction de la taille formula_3 de la donnée, et par co-NSPACEformula_1 l'ensemble des problèmes dont le complémentaire qui peut être résolu par une machine de Turing non déterministe en place au plus formula_2.


title: Théorème d'Immerman-Szelepcsényi

text: Dans le modèle de calcul décrit plus haut, si une machine de Turing apporte une réponse positive en utilisant un certain espace, rien ne garantit "a priori" que cet espace est suffisant pour apporter une réponse négative à un problème qui n'a pas de solution : il ne suffit pas de considérer les calculs qui ont échoué dans la machine, puisqu'ils peuvent être très volumineux, voire ne pas se terminer sur un ensemble borné de cellules, et alors comment choisir le meilleur ?


title: Théorème d'Immerman-Szelepcsényi

text: Dans sa forme générale, le théorème d'Immerman-Szelepcsényi énonce l'égalité : pour toute fonction formula_7.


title: Théorème d'Immerman-Szelepcsényi

text: Le théorème donne comme cas particulier une preuve positive au « deuxième problème » concernant les automates linéairement bornés, et par là même prouve que l'ensemble des langages contextuels est fermé par complémentation, une question restée ouverte pendant plus de trois décennies.


title: Théorème d'Immerman-Szelepcsényi

text: Un énoncé équivalent concerne les classes de complexité NL et co-NL. En fait, NL est une abréviation pour NSPACEformula_8, c'est-à-dire NL = NSPACEformula_8 et de même  co-NL=co-NSPACEformula_8. L'énoncé dit :  Il est apparemment plus faible puisque c'est le cas particulier du premier avec formula_12, mais un argument, assez fréquemment employé dans cette théorie et appelé l' (en anglais "padding argument"), permet de prouver l'équivalence.


title: Théorème d'Immerman-Szelepcsényi

text: La démonstration du théorème est qualifiée d'élémentaire mais subtile. Le résultat en lui-même est fondamental, et plutôt unique dans la théorie de la complexité. On ne connaît pas de résultat analogue pour la complexité en temps, et il est en général conjecturé que les classes de complexité NP et co-NP sont différentes.


title: Théorème d'Immerman-Szelepcsényi

text: Depuis sa publication, le théorème et sa démonstration font partie du socle de la théorie de complexité, et sont donc enseignés au niveau master, et contenus dans des livres d'enseignement. On peut citer notamment les livres de Papadimitriou et de Arora et Barak.


title: Théorème d'Immerman-Szelepcsényi

text: Dans le même article, Immerman démontre, comme corollaire, l'égalité entre la classe NL et la hiérarchie logarithmique, c'est-à-dire les langages acceptés par des machines de Turing alternantes avec accès direct en temps logarithmique et avec un nombre borné d'alternances. Il utilise pour cela l'égalité entre la classe NL et la logique du premier ordre avec fermeture transitive , égalité qu'il établit par la complexité descriptive.


title: Sergueï Sergueïevitch Smirnov

text: Sergueï Sergueïevitch Smirnov (en russe : "Серге́й Серге́евич Смирно́в"), né le 4 ou le à Ivanovo-Voznessensk dans l'Empire russe et mort le à Leningrad en URSS, est un géologue, minéralogiste et académicien soviétique d'origine russe.


title: Sergueï Sergueïevitch Smirnov

text: En 1919, Sergueï Smirnov est diplômé de l'Institut minier de Pétrograd. En 1939, il devint membre correspondant de l'Académie des sciences d'URSS au département de mathématiques et de sciences naturelles.  Le , il est élu académicien au département de géologie et de géographie.


title: Sergueï Sergueïevitch Smirnov

text: Sergueï Smirnov est lauréat du Prix Staline en 1946.


title: Sergueï Sergueïevitch Smirnov

text: Il meurt en 1947 et il est enterré au cimetière Volkovo de Léningrad.


title: Sergueï Sergueïevitch Smirnov

text: Une dorsale lunaire, longue de 156 kilomètres, porte son nom, la Dorsa Smirnov.


title: Qian Gong

text: Qian Gong ou Ch'ien Kung ou Ts'ien Kong (錢貢), surnom: Yufang (禹方), nom de pinceau: Cangzhou (滄洲) est un peintre de genre, de figures, de paysages, chinois des . Ses dates de naissance et de décès, ainsi que ses origines, ne sont pas connues. Qian Gong est actif pendant l'ère Wanli (1573-1620), comme peintre de paysages et de figures, laissant plusieurs œuvres signées et datées, non décrites le Dictionnaire Bénézit.


title: James Griffith

text: James Griffith est un acteur et scénariste américain, né le à Los Angeles (Californie), mort le à Avila Beach (Californie).


title: James Griffith

text: Au cinéma, comme second rôle de caractère (parfois non crédité), James Griffith contribue à quatre-vingt-six films américains (dont des westerns), sortis entre 1948 et 1977.


title: James Griffith

text: Citons "Quand les tambours s'arrêteront" d'Hugo Fregonese (1951, avec Stephen McNally et Coleen Gray), "La Loi de la prairie" de Robert Wise (1956, avec James Cagney et Don Dubbins), "L'Ultime Razzia" de Stanley Kubrick (1956, avec Sterling Hayden et Coleen Gray), "L'Incroyable Homme invisible" d'Edgar G. Ulmer (1960, avec Douglas Kennedy et Ivan Triesault), ou encore "Le Bataillon des lâches" de George Marshall (1964, avec Glenn Ford et Stella Stevens).


title: James Griffith

text: Pour la télévision, de 1950 à 1984, il apparaît dans dix téléfilms et cent-vingt-trois séries, dont "La Grande Caravane" (huit épisodes, 1957-1964), "Batman" (trois épisodes, 1966-1967) et "La Petite Maison dans la prairie" (deux épisodes, 1975-1982).


title: James Griffith

text: Oocasionnellement, James Griffith est scénariste, collaborant à trois films dans les années 1960 (dont "Shalako" d'Edward Dmytryk en 1968, coproduction germano-britannique), ainsi qu'à un épisode (diffusé en 1967) de la série "Mission impossible". Enfin, il compose la musique du film "Lorna, l'incarnation du désir" sorti en 1964 (sans être crédité).


title: Bhikhan

text: Bhikahn est un bhagat mal connu; cependant deux de ses compositions sont incluses dans le Guru Granth Sahib. Les dates supposées de son passage terrestre sont 1480-1573. C'était un saint hindou du Moyen Âge, il était très savant à l'époque de l'empereur Akbar. Il a cependant vécu une vie simple, de chef de famille. Il avait la réputation d'être humble dans sa vie comme dans sa pensée. Selon la tradition, il vivait à Lucknow en Inde. Ses hymnes dans le Guru Granth Sahib reflètent son dévouement envers le Nom de Dieu, qu'il décrit comme « le remède de tous les maux du monde ».


title: Bhikhan

text: Bhakta Bhikhan était le surnom de cet Hindou qui aimait appeler dieu Hari, un des synonymes de Vishnou. Un autre personnage renommé portant de le nom de Bhikhan le Soufi a vécu à peu près à la même époque.


title: Evan Patak

text: Evan Hoburg Patak est un joueur américain de volley-ball né le à Santa Maria (Californie). Il mesure et joue Attaquant. Il totalise 79 sélections en équipe des États-Unis.