title: Laurent Foirest

text: En , il se voit confier un poste d'assistant, avec Christophe Denis, auprès de Pascal Donnadieu qui prend en charge une de l'équipe de France.


title: Laurent Foirest

text: Le il est nommé entraîneur principal de l'UJAP Quimper 29, club évoluant en NM1 ( française). Il remplace Hugues Occansey limogé après un nouveau revers. L'objectif fixé est de faire monter le club en Pro B. Cet objet est réalisé au terme des playoffs de la saison 2016-2017 face au club de Souffelweyersheim. Au terme d'une saison 2018-2019 où le club assure son maintien, Foirest prolonge de deux ans son contrat.


title: Laurent Foirest

text: En parallèle de sa carrière en club, Laurent Foirest continue son travail au sein des équipes de France. En 2017, il intègre l'encadrement de l'équipe de France dirigée par Vincent Collet en remplacement de Jacky Commères, aux côtés de Pascal Donnadieu.


title: Laurent Foirest

text: Laurent Foirest est honoré par la Fédération française de basket-ball en faisant partie de la de l'Académie du basket-ball français, promotion également composée de Val Bouryschkine, Frédéric Forte, Geneviève Guinchard, Nathalie Lesdema et Moustapha Sonko.


title: Tyson (lutte)

text: Tyson est le nom d'arène de Mouhamed Ndao, un athlète de lutte sénégalaise, tête de file de la génération « Boul Falé » . Il mesure pour .


title: Tyson (lutte)

text: Né à Kaolack, il a passé son enfance à Pikine, dans la banlieue de Dakar. Il est un disciple de Cheikh Ibrahim Niasse.


title: Tyson (lutte)

text: Tyson est le lutteur qui a bouleversé la lutte sénégalaise en faisant exploser les cachets qui sont passés de quelques milliers de francs CFA, pour les anciens lutteurs, a une cinquantaine voire une centaine de millions de francs CFA, transformant ainsi ce sport en véritable business. Depuis, les télévisions, les commerciaux mettent en place des partenariats avec la lutte sénégalaise et de grands promoteurs de lutte sont nés.


title: Tyson (lutte)

text: Cet afflux d'argent dans la lutte fait que beaucoup de jeunes sénégalais veulent devenir des lutteurs professionnels. Preuve en est le célèbre lutteur Balla Gaye 2 qui déclare avoir été un grand supporter de Tyson dans sa jeunesse.


title: Tyson (lutte)

text: Sportivement, il a balayé toute la génération qui l'a précédé en terrassant tous ses adversaires jusqu'à Manga 2 qui était alors le Roi des Arènes, lui confisquant ainsi son titre.


title: Tyson (lutte)

text: Après avoir suspendu sa carrière durant les années 2007-2008, à la suite d'une controverse liée au combat qui l'a opposé à Serigne Dia dit « Bombardier », il envisage la reprise de sa carrière en 2009.


title: Tyson (lutte)

text: C'est le , jour du de l'indépendance du Sénégal, que l'enfant de Kaolack fait son retour lors d'un combat contre le « roi des arènes » Yékini. Combat dont Yékini sort vainqueur.


title: Tyson (lutte)

text: Le , il perd contre Balla Gaye 2 dont il est l'idole, au cours d'un match expéditif. Le il perd son combat contre Gris Bordeaux.


title: Tyson (lutte)

text: Match historique au terme duquel Tyson devient roi des arènes ; Manga 2 rend sa couronne après l'avoir défendue pendant 15 ans.


title: Tyson (lutte)

text: Tyson perd finalement son titre en l'ayant defendu victorieusement deux fois. Il aura été roi des arènes pendant deux ans et demi.


title: Steel (comics)

text: Le . John Henry Irons est le connu sous le nom de Steel, c'est un personnage fictif de DC Comics. Il est également connu sous le nom de Man of Steel (l'homme d'acier). Il a été créé par Louise Simonson et Jon Bogdanove et est apparu dans "Adventures of Superman" #500, ils se sont inspirés du héros afro-américain John Henry et de Superman pour le créer.


title: Steel (comics)

text: John John Henry Irons était un brillant ingénieur d'armes, mais il fut dégouté de voir que le BG-60, un homme-canon qu'il avait conçu, fut utilisé pour tuer des personnes innocentes après être tombé dans de mauvaises mains. Comme la société le contraint à rester, John feint sa mort et arrive à Metropolis. Travaillant comme constructeur sur un gratte-ciel, il tombe de ce gratte-ciel en empêchant un ami de connaitre le même sort, sa vie fut sauvée par nul autre que Superman. Lorsque John Irons lui demande comment lui prouver sa gratitude, Superman lui dit Lors du combat fatal de Superman face à Doomsday, Irons tente d'aider Superman en prenant un marteau, mais il fut enterré sous les décombres au milieu de la dévastation. Peu de temps après la mort de Superman, il se réveille et, constatant les dégâts, il dit qu'il « doit arrêter Doomsday ».


title: Steel (comics)

text: Il a récupéré, mais il découvre que les bandes criminelles de Metropolis ont été massacrées par le BG-80 "Toastmasters", une version améliorée de sa précédente invention. Irons crée et revêt une armure indestructible faite d'acier inoxydable (similaire à celle du héros de Marvel Iron Man) en rajoutant à son armure quelques détails à la mémoire de Superman (la cape et le S sur sa poitrine par exemple).


title: Steel (comics)

text: Durant "le Règne des Supermen", il est souvent appelé (l'Homme d'Acier) pour le différencier des autres Supermen, ce sera abrégé en "Steel" par Superman lui-même.


title: Steel (comics)

text: Chose intéressante, bien que "Steel" n'ait jamais prétendu être le vrai Superman (contrairement à certains autres Superman), Lois Lane a sérieusement envisagé qu'il s'agissait d'une réincarnation de Superman. Lois a rencontré les quatre Superman apparus après la mort de Superman, et même si elle n'a jamais conclu que l'un d'eux ait été le vrai Superman, elle était moins sceptique pour Steel que pour les autres.


title: Steel (comics)

text: Steel a été diffusé dans une série solo, écrit par la créatrice co-créatrice Louise Simonson et plus tard par Christopher Priest, de 1994 à 1998.


title: Steel (comics)

text: La série a commencé cinq après le départ de Steel de Metropolis pour rentrer chez lui à Washington, DC. Il croit à tort que ses anciens employeurs, AmerTek, ne s'intéresseraient plus à lui. Cela s'est révélé faux lorsqu'ils ont attaqué sa maison. Entre cette attaque et sa connaissance que les Toastmasters étaient maintenant utilisés dans les rues de D.C., il a renforgé son armure (il était maintenant plus fort que jamais); Il a commencé sa croisade contre AmerTek, qu'il savait responsable de la fuite des armes dans la rue. Steel a décidé de ne pas utiliser l'emblème "S", cependant, puisqu'il a estimé que sa bataille pourrait le prendre en dehors de la loi.


title: Steel (comics)

text: La famille de Steel a été introduite dans cette série : ses grands-parents, Butter et Bess, sa belle-sœur Blondell et ses cinq enfants (Jemahl, Natasha, Paco, Tyke et Darlene, les deux derniers étant des enfants nourriciers). [Steel #1 (February 1994)]


title: Steel (comics)

text: Les premières aventures de Steel l'ont opposé à AmerTek et les gangs qui utilisaient ses armes. Son neveu, Jemahl, était impliqué dans l'une des gangs, ce qui, selon lui, lui offrait une protection. Il a prouvé que c'était faux, cependant, lorsque les gangs se sont retournés contre lui pour arriver à Steel. Tyke était paralysé par une balle destinée à Jemahl et Blondell a été agressée. Steel a finalement retiré AmerTek et les gangs, et s'est concentré sur qui aidait AmerTek à distribuer les armes. Cela l'a conduit à retrouver un groupe appelé Black Ops, dirigé par le méchant Hazard. [Steel #2-8 (March–September 1994)]


title: Steel (comics)

text: Steel s'est rapidement joint à Maxima, qui était toujours sur Terre à l'époque et travaillant avec la Justice League, pour l'aider avec un seigneur de guerre étranger nommé De'cine. Pendant ce temps, Steel a développé la possibilité de se téléporter sur son armure. Au début, il semblait purement par réflexe (chaque fois qu'il était en danger mortel), mais il commença bientôt à mieux le contrôler, bien qu'il n'ait pas compris comment ca se passe. [Steel #11-13 (December 1994 – February 1995)]


title: Steel (comics)

text: Steel a continué sa bataille contre Hazard, Black Ops et contre le retour du White Rabbit. Un chasseur de primes appelé Chindi a tenté de contrer Steel, mais après avoir réalisé que Hazard faisait des expériences sur des enfants, il a fini par être un allié de Irons. [Steel #14-19 (March–August 1995)] Il a été appelé loin de la Terre dans le cadre du Superman "Rescue Squad" lorsque Superman a été jugé pour la destruction de Krypton. [Steel #22 (November 1995) - A crossover with the regular Superman titles.]


title: Steel (comics)

text: La tragédie frappe la famille Irons à son retour de l'espace. Tyke, frustré et en colère contre son handicap, a trahi la véritable identité de John Henry aux hommes qui travaillent avec Hazard. Hazard a déclenché un cyborg appelé Hardwire, qui a ouvert le feu sur la famille Irons. La plupart d'entre eux ont subi des blessures mineures, mais Butter a été grièvement blessé. Les services de protection de l'enfance sont venus réclamer Tyke et Darlene. Tyke plus tard a fini sous la garde de Hazard. Hardwire a combattu Steel au Washington Monument, ce qui a entraîné le suicide de Hardwire. Steel a dû renvoyer son armure pour sauver sa vie, ce qui a révler son identité secrète au monde entier. Steel a ensuite été pris par Hazard, mais a réussi à s'échapper. Steel a récupéré une arme anti-matière appelée l'Annihilator, qu'il avait conçu et caché des années auparavant, pour son affrontement avec Hazard. Il a également appris à ce sujet qu'il pouvait se téléporter lui-même, pas seulement son armure. Il a détruit Hazard et son repaire, et a apparemment tué trois jeunes soldats de Hazard dans la bataille. [Steel #23-27 (December 1995 – April 1996)]


title: Steel (comics)

text: Une fois que l'identité de Steel était révélée, sa famille n'avait pas de répit. Ils ont été harcelés par des voisins et des foules. Ensuite, ils ont été attaqués par le docteur Polaris, Parasite et d'autres. La grand-mère aimée de John Henry, Bess, a été tuée et la famille a été obligée de se cacher, relogée par un ami de Steel appelé Double. [Steel #28-29 (May–June 1996)]


title: Steel (comics)

text: Steel a appris que les trois agents de Black Ops n'étaient pas vraiment tués. Ils l'ont brièvement rencontré en luttant contre une forme monstrueuse et animée de son armure qui l'a attaqué. Steel a spéculé que l'armure a pris vie en raison de sa propre culpabilité et des étranges effets de téléportation. Il a réussi à bannir le monstre et à rappeler sa véritable armure. [Steel #30-31 (July–August 1996)]


title: Steel (comics)

text: Le titre a reçu une secouse lorsque Christopher Priest est devenu l'écrivain principal pour le numéro 34. Steel a déménagé à Jersey City, New Jersey avec Natasha et a commencé à travailler au Garden State Medical Center. Il a construit un nouveau costume d'armure qui était nettement moins puissant que le précédent (mais il avait le retour d'un bouclier "S"). Alors que dans Jersey City, il s'est affronté avec Dennis Samuel Ellis, un résident de Garden State Medical et rival pour les affections d'un autre collègue, Amanda Quick. L'administrateur de l'hôpital et chef de gang Arthur Villain a recruté Ellis pour devenir son garde du corps personnel. Compte tenu d'un costume avec plusieurs armes cachées, Ellis a adopté le nom "Skorpio" et est devenu un ennemi récurrent pour Steel. Finalement, Steel a été réunie avec son frère Clay, un tueur que tout le monde a supposé coupable. Clay a pris l'alias "Crash" et a réussi à acquérir une paire de bottes de Steel avant de changer de camp pour sauver sa fille Natasha lorsqu'elle avait besoin d'une transfusion sanguine. La série a été annulée après le numéro 52, qui a présenté à Steel l'hôpital après le démasquage de son ancien coordinateur, le Dr Villain (prononcé «Will-hane»).


title: Steel (comics)

text: Au cours de la série de croisements Worlds Collide entre DC et Milestone Media, Steel a rencontré Hardware équivalent Milestone. Chaque héros a remis en question les motivations de l'autre, Steel croyait Hardware est trop rebelle et Hardware croyait que Steel est trop confiant et naïf.


title: Steel (comics)

text: Steel fut recruté par la Ligue de justice d'Amérique comme membre en raison de la préoccupation de Batman qui pensait que la Ligue était déjà au sommet côté "muscles" mais avait besoin de plus de penseurs. Lors de son passage dans la ligue, Steel joue un rôle crucial dans la défaite d'ennemis tels que Prometheus et Queen Bee. Il a même été le chef d'une équipe réserve composée de Huntress, Barda, Plastic Man et Zauriel. Après la bataille contre Mageddon, il a cessé d'être un membre à temps plein dans la Ligue, mais il est resté comme allié pendant un certain temps. Il redevient un membre régulier après avoir déménagé à Metropolis avec Natasha Irons pour créer sa propre aciérie. Il révèle également qu'il a connu l'identité de Superman, ils deviennent partenaires et il aide Superman à construire une nouvelle Forteresse de la Solitude.


title: Steel (comics)

text: Steel s'est retiré du service durant la guerre d'Imperiex après avoir été blessé alors qu'il portait le Entropy Aegis, une armure alien crée sur la planète du mal: Apokolips.


title: Steel (comics)

text: Durant sa retraite, Irons fabrique une armure pour sa nièce Natasha Irons, qui est devenu la nouvelle Steel. Bien qu'il ne participait plus activement à la lutte contre le crime, il resta un allié important de Superman.


title: Steel (comics)

text: John Henry Irons a revêtu son armure à la suite de la bataille de Metropolis lors de Infinite Crisis. Avec la plupart des héros unis de la Terre, Steel a aidé à vaincre la Société secrète des Super-Villains à Metropolis, mais il est devenu amer avec la vie et un narcissisme perçu dans la communauté des super-héros de la Terre. Après la catastrophe, John appuya sa nièce Natasha dans un argument dans lequel il l'empêchait de quitter Metropolis pour rejoindre les Teen Titans. John a refusé de la laisser partir et lui a ordonné de continuer à recueillir tous les débris de la ville, ce qui a abouti à la destruction de son armure en dépit.


title: Steel (comics)

text: Il a plus tard identifié un cadavre récemment découvert comme celui d'un Lex Luthor d'un univers parallèle, Alexander Luthor, Jr., qui exonère le vrai Lex Luthor de tous ses crimes récents.


title: Steel (comics)

text: Une semaine plus tard, dans ses installations de Steelworks, John Henry semblait halluciné en raison des effets d'une toxine métabolique inconnue. Sa chair semblait être au milieu d'un transformation en métal juste avant l'explosion du laboratoire.


title: Steel (comics)

text: Trois jours plus tard, Steel, à nouveau porté son armure, a été appelé par le docteur Mid-Nite pour l'aider avec les héros blessés à revenir de l'espace après la crise. Il a utilisé Pseudocytes pour aider à la récupération de Mal Duncan.


title: Steel (comics)

text: Avec l'aide de Kala Avasti de S.T.A.R. Labs, John a appris qu'il avait été injecté avec une petite dose de la nouvelle thérapie exo-gène de Lex Luthor, ce qui faisait muter sa peau en acier inoxydable et revenir à nouveau. Il est retourné à Steelworks pour trouver Natasha tentant, et à défaut, de construire un nouveau costume. Ignorant la vérité, elle l'a accusé d'hypocrisie pour avoir accepté le traitement exo-gène de Lex.


title: Steel (comics)

text: Trois jours et deux nuits plus tard, Irons est apparu, transformé en un homme d'acier vivant (semblable au personnage de Legion de DC, Ferro Lad et au Colossus de personnage de Marvel) lors d'une soirée tenue par Lex Luthor. En colère, il a attaqué Luthor, exigeant de voir Natasha et menaçant ou mettant en danger quiconque s'interposera. Cependant, Natasha elle-même est apparue pour arrêter John avant qu'il ne puisse tuer Luthor. Natasha a battu d'un seul coup le John enragé jusqu'à ce qu'il vienne à ses sens. Il a admis que Natasha avait raison de l'empêcher de tuer Luthor, mais a soutenu qu'il avait raison aussi. Il a ensuite demandé à Natasha de «renoncer, rentrer à la maison». Natasha a répondu en frappant John à plusieurs reprises et l'envoyant voler dans la baie de Metropolis.


title: Steel (comics)

text: Il réapparut plusieurs semaines plus tard, ayant construit une nouvelle armure pour Natasha, pour compenser son comportement envers elle, mais a eu une crise émotionnelle en se rendant compte qu'il était trop tard pour réparer.


title: Steel (comics)

text: Il est retourné plus tard pour sauver des vies et a découvert à Kala que la thérapie exo-génétique permettait à Luthor de supprimer les pouvoirs qu'il avait reçu. Il a ensuite partagé ses soupçons avec les Teen Titans et un ancien sujet de test qui avait perdus ses pouvoirs.


title: Steel (comics)

text: En examinant le projet Everyman sur le Thanksgiving avec le docteur Mid-Nite, Beast Boy et Kala, John a découvert que sa peau métallique se détachait et se rendit compte que la thérapie exo-gène n'a accordé de pouvoirs que pendant un temps limité avant de disparaître complètement.


title: Steel (comics)

text: Dans 52 semaine 40, après la capture de Natasha par Luthor, Irons, dans son armure complète, a dirigé les Teen Titans - Raven, Beast Boy, Aquagirl et Offspring - dans un assaut ouvert contre LexCorp. Après avoir vaincu les gardes de robots armés et Infinity, Inc., Irons, avec son armure détruite, a engagé Luthor dans la bataille. Mais Luthor, ayant acquis des capacités similaires à celle de Superman, frappe Irons. Natasha a utilisé le marteau de Irons pour créer une impulsion électromagnétique qui a fermé l'exo-gène de Luthor, et John Henry l'a vaincu. [52 Week 40 (February 7, 2007)]


title: Steel (comics)

text: Steel était l'un des principaux personnages de Infinity Inc. vol. 2, qui a fait ses débuts en . ["Update 2: DC Nation Panel From WW:LA". Newsarama. March 16, 2007. Retrieved January 28, 2011] Un an après la fin du projet Everyman. Natasha vit avec son oncle John Henry Irons et est en psychothérapie avec Erik, qui se réfère à elle comme «notre religion nationale» et Gerome. Un autre patient à long terme, l'adolescent Dale Smith, attaque son thérapeute et réalise ses pouvoirs en tant que vampire psychique. Smith prend le nom de "Kid Empty". Apparemment, un effet secondaire de la thérapie par exogène est qu'une fois que l'exogène lui-même est supprimé, les énergies déclenchées par la thérapie restent, réactivant le métagène d'une manière différente. Par conséquent, Natasha se retrouve en train de se tourner vers une substance semblable à celle du brouillard, McKenna gagne à se dupliquer, et Storn gagne une puissance. Le groupe gagne de nouveaux membres avec Mercy Graves et Lucia, un sujet de Everyman qui peut infliger une souffrance psychique aux autres. Dans le numéro 8, l'équipe gagne des costumes officiels et des noms de code, et poursuis sa première mission.


title: Steel (comics)

text: Lors de la fin très sollicitée pour la série, [Infinity Inc. vol. 2, #12 (October 2008)], les Infinitors sont enlevés par le Dark Side Club, en raison de la thérapie d'exogène, ils sont imprévisibles et indétectables par la technologie Apokoliptan et un atout dans la prochaine crise finale. Irons promet de parcourir la Terre pour sa nièce.


title: Steel (comics)

text: Au cours des derniers mois, John a travaillé avec Batman, Zatanna, Mister Miracle, Metal Men et divers autres génies techniques pour créer un nouveau corps pour Red Tornado. Malheureusement, le programme Amazo a infecté le nouveau corps. En travaillant ensemble, Batman et John ont utilisé les portes de téléportation de JLA pour envoyer Amazo dans un soleil rouge, après quoi ils ont complété un nouveau corps pour Red Tornado.


title: Steel (comics)

text: Lorsque Clock King prend le Dark Side Club de Darkseid, il «hérite» des Infinitors emprisonnés, alors, lorsque le Dark Side Club est finalement détruit, Miss Martian envoie un «courrier cérébral» à Irons, qui libère sa nièce, et sont enfin réunit avec elle.


title: Steel (comics)

text: John Henry Irons a fait plusieurs apparitions dans la série Superman régulière de James Robinson. [Superman #686-687 (May–June 2009)] Il est attaqué par le méchant Atlas et rendu comateux. [Superman #690 (September 2009)] Pendant son séjour à l'hôpital, sa technologie permet de réparer les dégâts infligés à Metropolis. [Superman #692 (November 2009)] Il joue un rôle dans l'événement War of the Supermen, où il aide Superboy, The Guardian et Natasha à faire tomber le complot de Sam Lane ["DC's War of the Supermen, A 100 Minute War". Newsarama. Retrieved January 28, 2011.]. Il a sa revanche avec Atlas, ou il sort gagnant.


title: Steel (comics)

text: Steel est apparue plus tard comme l'un des anciens membres de JLA appelé à Washington D.C afin d'aider à percer un dôme énergétique massif qui avait encapsulé la ville. Après une série de tentatives échouées de percer le dôme, Steel suggère à Superman qu'il peut être trop puissant pour que les héros détruisent. [Justice League of America vol. 2, #51 (January 2011)]


title: Steel (comics)

text: En , Steel est présentée dans une bande dessinée unique, écrite par le romancier de Doctor Who Steve Lyons. ["The characters take center stage in January". The Source. DC Comics.com. October 14, 2010. Retrieved January 28, 2011.] Sean Chen a d'abord été annoncé comme l'artiste, mais en raison de problèmes de planification, Ed Benes a repris les fonctions artistiques. ["DC Newcomer to Initiate Doomsday Return in Steel #1". Newsarama. Retrieved January 28, 2011.] Steel se trouve la seule personne qui peut défendre Metropolis d'une attaque de Doomsday. Au cours de la bataille, Doomsday développe inexplicablement l'armure métallique et le pouvoir de vol, contrecarrant les capacités de Steel. Steel tente d'immobiliser Doomsday avec des nanites, mais il les surpasse rapidement et le bat très mal. Doomsday reprend la forme Steel et s'envole avec lui. [Reign of Doomsday: Steel (March 2011)] Lorsque Steel se réveille pour se retrouver dans une prison dimensionnelle avec Superboy, Supergirl, l'Eradicator et Hank Henshaw, tous capturés par Doomsday, il spécule que Henshaw a été inclus dans le groupe pour les diviser et les empêcher de travailler ensemble pour trouver Une façon d'échapper. Leur exploration ultérieure de leur prison révèle qu'ils ont effectivement été capturés par des clones de Doomsday créés par Lex Luthor pour distraire les héros de la Terre alors qu'il cherchait le pouvoir de l'anneau de puissance noir, chaque clone Doomsday conçu pour éliminer le Superman, il a été envoyé après [Action Comics #900]


title: Steel (comics)

text: Dans The New 52 (un redémarrage de l'univers DC Comics), John Henry Irons apparaît d'abord dans Action Comics de Grant Morrison en tant que jeune scientifique travaillant sur le programme "Steel Soldier" du gouvernement. Il réprime après avoir vu le mauvais traitement de Superman par Lex Luthor (qui était sous le commandement du général Sam Lane pour le torturer). Irons quitte immédiatement . [Action Comics vol. 2, #2 (October 2011)] Lorsque John Corben fait un rampage après avoir enfilé le costume "Metal 0" du gouvernement, John Henry aide Superman à le combattre en utilisant son propre prototype d'armure pour la première fois, en téléchargeant un virus dans le costume Metal 0. Virus qu'il a conçu spécifiquement pour éteindre Métal 0, dans le cas où l'utilisateur aurait de mauvaises intentions. [Action Comics vol. 2, #4 (December 2011)]


title: Steel (comics)

text: John Henry apparaît également chez Animal Man lors du croisement de Rotworld, où il aide Buddy Baker lorsque le monde a été dépassé par The Rot, la force élémentaire de la pourriture. [Animal Man #13 (October 2012)]


title: Steel (comics)

text: Brainiac a utilisé Doomsday pour infecter Superman et distraire le monde comme Cyborg Superman et lui-même a essayé de voler les esprits de chaque personne sur terre. Steel fait équipe avec Lana Lang pour aider Superman et arrêter Brainiac. Par la suite, Lana et John ont commencé à sortir ensemble.


title: Steel (comics)

text: Steel est recruté lorsque Warworld apparaît au-dessus de la Terre. Il s'est associé à Batgirl et a été inséré secrètement sur la planète afin de neutraliser sa principale menace , un pistolet de craquage planétaire. Ils parviennent à le neutraliser. ["Batman/Superman" Annual (2014)]


title: Steel (comics)

text: Dans la minisérie DC Comics: The New Frontier, un homme noir, John Wilson, prend le nom de "John Henry" en enfilant un capuchon noir sécurisé par un nœud de bourreau et produit un marteau pour tenter de venger sa famille, qui Ont été assassinés par le KKK. Il tue deux Klansmen et en blesse beaucoup plus avant d'être a son tour aussi blessé; Tout en se cachant dans une étable, il est découvert par une jeune fille blanche. Il est ensuite tué par les Klansmen. [DC: The New Frontier #4] John Henry Irons est vu dans l'épilogue à l'entrée près de la pierre tombale de John Henry. Cela permet de relier émotionnellement le héros Steel et son homonyme au héros populaire. [DC: The New Frontier #12]


title: Steel (comics)

text: Dans les événements de la série Elseworlds 'Kingdom Come, Steel est venu rejoindre la faction de Batman, en raison de l'exil auto-imposé de Superman. Son costume doit maintenant son style à Batman, plutôt que Superman, et il porte une hache en forme de baton plutôt que son marteau. [ Kingdom Come #2]


title: Steel (comics)

text: Dans l'histoire "Hyper-Tension", dans la bande dessinée Superboy vol. 3 # 62, il montre un Steel dans une réalité alternative qui rejoint Black Zero, une version adulte alternative de Superboy (Kon-El) dans une guerre pour les droits de clone.


title: Steel (comics)

text: Dans un conte Elseworlds présenté dans Steel Annual # 1, "Steel: Crucible of Freedom", John Henry est un esclave et un forgeron qui construit un costume d'armure pour son maître pour qu'il se batte dans la guerre civile. Cependant, comme son maître n'esseyera pas le costume pour les mesures, John est forcé de tenir lui-même le costume et l'utilise pour conduire les esclaves dans une révolte. Lorsque son fils et les enfants des autres esclaves se noient à cause de l'insouciance du surveillant . L'épilogue de l'histoire raconte comment, après des années passées à se battre pour la liberté de ses esclaves et à voyager dans les États-Unis en expansion, John Henry continue à devenir "steel drivin' man" du folklore américain.


title: Steel (comics)

text: Dans le crossover Superman contre le Terminator: Death to the Future, Superman a été temporairement transféré dans l'avenir de l'univers Terminator, où il a rencontré une ancienne version de Steel qui a combattu aux côtés de la résistance de John Connor contre Skynet comme l'un des derniers héros costumés. De nombreux héros sont morts dans l'attaque de Skynet et il a opéré seul pour rencontrer la Résistance. Bien que vieux, Steel est resté aussi intelligente que jamais, ayant installé son marteau avec une unité d'activation vocale et anti-gravité qui lui a permis d'appeler son marteau dans le cas où il a été capturé, il utilise cette capacité quand lui et Superman sont capturés par Skynet.


title: Steel (comics)

text: Dans le crossover JLA / Avengers, Steel joue un rôle mineur, développant un pack de batterie pour le Flash afin qu'il ait accès à ses pouvoirs dans l'Univers Marvel - puisque la Speed Force n'existe pas dans le Marvel Universe, l'appareil de Steel permet à Wally d'absorber l'énergie Speed Force alors qu'il court dans l'univers DC qu'il peut utiliser lorsqu'il se trouve dans l'univers Marvel - apparaissant plus tard sur Paradise Island aux côtés du Flash pour empêcher la Vision, Quicksilver et la sorcière Scarlet d'acquérir le Evil Eye of Avalon . Il participe ensuite à la lutte contre les sbires de Krona lors de la bataille finale, luttant contre les Atlantes aux côtés de Namor, Beast, Plastic Man et Maxima.


title: Steel (comics)

text: Dans ce (dont les événements se situent sur une terre alternative), John Henry Irons meurt dans la destruction de Metropolis (causée par une bombe du Joker). Natasha Irons, sa nièce, reprendra son armure par la suite.


title: Steel (comics)

text: En 1997, un long-métrage fut réalisé sur ce personnage, mais l'histoire est presque totalement différente. Steel est interprété par la star de basket de la NBA, Shaquille O'Neal. Le personnage s'appelle bien John Henry Irons et a un marteau étonnamment puissant et armé, mais dans ce film, Steel ne vole pas et n'a pas de "S" sur sa poitrine, d'ailleurs il n'y a apparemment pas de Superman dans l'univers du film, mais Irons porte un tatouage avec le symbole de Superman et avec la légende "Man of Steel", tatouage que Shaq a réellement.


title: Steel (comics)

text: le personnage de John Henry Irons fait une petite apparition remarquée dans ce : on le voit essayer de défendre un collègue de travail face à un soldat de l'Atlantide avec un marteau similaire à celui qu'il porte en tant que Steel. Il sera peu après sauvé par Superman.


title: Steel (comics)

text: Dans ce film adaptant les évènements du comics "La Mort de Superman," John Henry Irons est devenu un employé de S.T.A.R. Labs où il seconde le Dr. Silas Stone dans ses recherches sur la technologie d'Apokolips. A la fin du film, on le voit construire son armure.


title: Steel (comics)

text: À la suite de la mort de Superman dans le film précédent, John Henry Irons est devenu le super héros Steel, et poursuit l'œuvre de ce dernier, sans pour autant prétendre être le vrai Superman.


title: Steel (comics)

text: Steel fait une apparition muette dans ce , où il est vu en train de combattre les troupes de Darkseid aux côtés de Superboy et Shazam. Bien que cela ne soit pas montré à l'écran, il est probable qu'il ait perdu la vie au cours de la bataille à l'instar de ses deux camarades.


title: Steel (comics)

text: John Henry Irons est apparu dans "Superman, l'Ange de Metropolis" dans "La Ligue des justiciers" . Et dans "" <small>(VO : Zeno Robinson / VF : Frédéric Souterelle).


title: Steel (comics)

text: Dans "Superman, l'Ange de Metropolis", Irons est un concepteur de LexCorp qui a travaillé à créer une combinaison pour la SCU Metropolis, mais le costume affecte les neurones et a des effets psychologiques néfastes sur son utilisateur. Encouragé par Superman, Irons travaille à la combinaison parfaite avec l'aide de sa nièce Natasha et devient "Steel" juste à temps pour aider Superman dans la bataille contre Metallo.


title: Steel (comics)

text: Steel devient plus tard un membre de la Justice League en 2004 et apparait régulièrement en compagnie de Superman et de Supergirl. Dans le dessin animé, il n'a ni la cape, ni le "S" de Superman sur sa poitrine.


title: Steel (comics)

text: John Henry Irons apparaît en tant que Steel dans la saison 3 de "" parmi les membres de la Ligue des Justiciers. Il est également ami avec Silas Stone, père de Victor Stone (qui deviendra plus tard le jeune héros Cyborg).


title: Steel (comics)

text: Le producteur de radio britannique Dirk Maggs a produit une série de radio Superman pour BBC Radio 5 dans les années 1990. Lorsque l'histoire de "Death of Superman" s'est produite dans les bandes dessinées, Maggs a présenté une version très fidèle, bien que très réduite, du récit, qui a présenté Stuart Milligan comme Clark Kent / Superman, Lorelei King comme Lois Lane et William Hootkins comme Lex Luthor. John Henry Irons a été joué par l'acteur de cinéma Leon Hebert, qui par coïncidence apparut comme journaliste dans le premier film de Batman de Tim Burton. L'histoire a été emballée pour la vente en cassette et en CD en tant que Superman: Doomsday and Beyond au Royaume-Uni et comme Superman Lives! aux États-Unis.


title: Steel (comics)

text: Steel est un personnage principal dans le jeu vidéo beat-em up side-scrolling The Death and Return of Superman pour le Super NES et Genesis.


title: Lio Tipton

text: Lio Tipton (originellement Analeigh Tipton) est une figure non-binaire du patinage artistique, du mannequinat et du cinéma américain. Sa naissance a eu lieu le à Minneapolis, dans le Minnesota, et sa célébrité est due à l'émission "America's Next Top Model", où Tipton finit troisième du du programme. Ses rôles au cinéma ont également contribué à sa notoriété (notamment celui de la jeune baby-sitter ayant un béguin pour le personnage de Steve Carell dans la comédie romantique "Crazy, Stupid, Love").


title: Lio Tipton

text: Tipton commence le patinage artistique à l'âge de deux ans et demi et participe à quatre championnats américains (), gagnant deux fois un championnat régional, avec son partenaire Phillip Cooke, avec qui Tipton participe deux fois à la compétition junior, , avant d'arrêter de pratiquer ce sport à l'âge de seize ans.


title: Lio Tipton

text: En 2008, Tipton participe à la de "Top Model Usa" ("America's Next Top Model"), arrivant à la . Tout au long de l'aventure, le jury lui souligne ses talents dramatiques. Ainsi, Tyra Banks lui conseille de continuer dans cette voie, mais Tipton signe tout de même avec l'agence de mannequins Ford Model Management. Après avoir posé dans des catalogues sur internet, Tipton quitte son agence et décide d'arrêter le mannequinat pour se consacrer au cinéma et à la télévision, ce qui donna lieu par exemple à plusieurs apparitions dans la série "The Big Bang Theory".


title: Lio Tipton

text: En 2011, Tipton obtient ses premiers rôles plus importants : Jessica Riley, la baby-sitter dans "Crazy, Stupid, Love" de John Requa et Glenn Ficarra, qui lui vaut des critiques positives, notamment du "New York Times", et Lily dans "Damsels in Distress". À noter également le rôle de Sandee dans huit épisodes de la série télévisée "Hung", et un petit rôle dans "The Green Hornet".


title: Lio Tipton

text: En 2013, Tipton incarne Nora dans "Warm Bodies" de Jonathan Levine, et Ashley dans la série télévisée de Intel et Toshiba, "", avant d'apparaître en 2014 dans les films "Buttwhistle", "One Square Mile", "Lucy" de Luc Besson et "Two Night Stand".


title: Lio Tipton

text: Ensemble depuis 2008, Analeigh Tipton et le chanteur Aaron McManus se fiancent le . Ils se séparent en . Tipton entame alors une liaison avec l'acteur Jake McDorman, son partenaire dans la série "Manhattan Love Story".


title: Jacques Lefèvre d'Étaples

text: Jacques Lefèvre d'Étaples, connu aussi sous le nom de Jacobus Faber ("Stapulensis"), est un théologien et humaniste français, né vers 1450 à Étaples, dans le Pas-de-Calais, et mort en 1536 à Nérac.


title: Jacques Lefèvre d'Étaples

text: Jacques Lefèvre d'Étaples naquit vers l'an 1450 suivant l'opinion commune, ou vers 1455 d'après un calcul plus vraisemblable, et qui s'accorde mieux avec les divers événements de sa vie. Il fit ses études à Paris, et se borna au simple grade de maître des arts, ou tout au plus à celui de bachelier. Le goût des voyages le prit après qu'il eut enseigné quelque temps les belles-lettres. Il parcourut une partie de l'Europe ; on prétend même que le désir d'étendre ses connaissances le conduisit en Asie et en Afrique.


title: Jacques Lefèvre d'Étaples

text: De retour à Paris en 1495, il professa la philosophie au collège du cardinal Lemoine. Il est alors très influencé par le néoplatonisme. Il fut professeur à Paris jusque vers l'an 1507. Et bien qu'il fût l'avocat de certaines idées qui furent importantes pour la Réforme, il resta catholique toute sa vie. Il préféra réformer l'Église de l'intérieur. Néanmoins, certains de ses livres furent condamnés pour hérésie.


title: Jacques Lefèvre d'Étaples

text: En 1507, Guillaume Briçonnet, alors évêque de Lodève, se l'attacha, le produisit à la cour et l'emmena avec lui lorsqu'il fut transféré en 1518 au siège de Meaux.


title: Jacques Lefèvre d'Étaples

text: C'est à cette époque que Lefèvre publia ses dissertations, où il soutenait contre l'opinion commune que sainte Anne n'avait eu qu'un seul mari, et que Marie, sœur de Lazare, Marie Madeleine et la pécheresse du chapitre VII de Saint-Luc sont trois personnes distinctes, portant toutes trois le même nom. Les "Pères grecs" les avaient distinguées ; les "Pères latins" les avaient confondues. La faculté de théologie décida en faveur de ces derniers. Cette dispute enfanta alors de nombreux écrits polémiques (voir Pierre Cousturier).


title: Jacques Lefèvre d'Étaples

text: Nommé en 1520 vicaire de Guillaume Briçonnet, devenu évêque de Meaux, Lefèvre crée le « cénacle de Meaux » dont le but était d'améliorer la formation des prêtres en s'attachant à la prédication et à la vulgarisation des Écritures, en regroupant autour de lui Guillaume Farel, Guillaume Briçonnet, Gérard Roussel, Louis Berquin, François Vatable ou encore Marguerite d'Angoulême.


title: Jacques Lefèvre d'Étaples

text: Lefèvre était du nombre de ces théologiens qui, peu respectueux de la vieille scolastique, cherchaient à inspirer le goût de la critique, de l'Antiquité et des langues savantes. Les novateurs en fait de religion prêchaient le même renouvellement dans les études ecclésiastiques. C'en fut assez pour le confondre avec eux. À peine le premier orage était-il apaisé, que sa traduction et son commentaire sur le Nouveau Testament de 1523 suscitèrent contre lui d'autres poursuites. Sa traduction s'appuyait bien sur le texte de la Vulgate latine, mais y ajoutait une soixantaine de corrections d'après les originaux grecs. Les docteurs de Paris furent principalement irrités de l'« Épître exhortatoire » qu'il mit en tête de la deuxième partie, où il recommande à tous les fidèles la lecture de l'Écriture sainte en langue vulgaire. Lefèvre dut s'enfuir à Strasbourg.


title: Jacques Lefèvre d'Étaples

text: On défera onze propositions à la faculté ; mais le roi, instruit de cette affaire, dans laquelle il ne vit qu'une tracasserie de Noël Béda, en prit connaissance, et Lefèvre, s'étant justifié en présence des prélats et des docteurs que la cour lui avait donnés pour juges, sortit avec honneur de cette seconde attaque.


title: Jacques Lefèvre d'Étaples

text: Alors qu'en 1525, il publie les "Épîtres et Évangiles pour les 52 dimanches de l'an", ses ennemis eurent plus de succès dans une troisième attaque ; ils profitèrent du trouble que des prédicateurs indiscrets et des moines turbulents excitèrent en 1525 dans le diocèse de Meaux, où il était grand vicaire, pour le faire décréter d'ajournement par le parlement (voir : Guillaume Briçonnet). Le groupe de Meaux fut dissous et Jacques Lefèvre dut s'exiler à Strasbourg.


title: Jacques Lefèvre d'Étaples

text: François I écrivit de Madrid en sa faveur au parlement, et à son retour d'Espagne il le nomma précepteur du prince Charles, son troisième fils. Lefèvre acquit dans cet emploi de nouveaux titres à l'estime et à la confiance du roi, qui l'aurait promu aux premières dignités de l'Église, si la modestie de ce savant homme n'y eût mis des obstacles.


title: Jacques Lefèvre d'Étaples

text: Il fut l'un des traducteurs de la Bible en français, le Nouveau Testament en 1523 et l'Ancien Testament en 1528. Sa version intégrale de la Bible basée sur le texte de la Vulgate sera imprimée à Anvers en 1530.


title: Jacques Lefèvre d'Étaples

text: En 1531, Marguerite d'Angoulême, sœur de François I et Reine de Navarre l'emmena à Nérac, où il passa ses dernières années, jusqu'à sa mort en 1536.


title: Jacques Lefèvre d'Étaples

text: C'est en tant qu'élève d'Alexander Hegius von Heek qu'il édita également ses écrits divers à sa mort. Par ses méthodes d'éducation et de travail, il eut une influence importante sur l'intérêt et la manière de penser de certains humanistes.


title: Jacques Lefèvre d'Étaples

text: De nombreuses anecdotes ont été rapportées sur lui, mais il est impossible d'en vérifier le bien-fondé. Il semble que d'Étaples ait mené pour l'essentiel une vie sans reproches, et les débats vifs que causèrent ses écrits sont peut-être à l'origine de ces rumeurs.


title: Théorie axiomatique

text: Quand on parle de théorie mathématique, on fait référence à une somme d'énoncés, de définitions, de méthodes de preuve, etc. La théorie de la calculabilité en est un exemple. Par théorie axiomatique, on fait référence à quelque chose de plus précis, des axiomes et leurs conséquences, les théorèmes, énoncés dans un langage précis. Dans la suite on dira le plus souvent théorie pour théorie axiomatique, ce qui est d'usage courant en logique mathématique.


title: Théorie axiomatique

text: Il y a bien sûr un rapport entre les deux notions. Mais on voit bien qu'il serait très réducteur de définir la théorie des groupes comme trois axiomes et leurs conséquences.


title: Théorie axiomatique

text: Cet article n'a pas vocation à parler de la signification du mot « théorie » en dehors du contexte des mathématiques, et même des mathématiques formelles.


title: Théorie axiomatique

text: Les "Éléments" d'Euclide sont considérés comme le premier exemple de théorie axiomatique, même si quelques axiomes étaient restés implicites. La notion moderne de théorie axiomatique s'est développée au cours du et du début du , d'une part à cause de la découverte au du calcul infinitésimal, qui nécessitait d'autres fondements aux mathématiques que ceux des "Éléments" d'Euclide, d'autre part à cause du développement de la géométrie et de l'algèbre moderne (voir aussi le programme d'Erlangen).


title: Théorie axiomatique

text: Quand on veut définir précisément cette notion en logique mathématique, on définit tout d'abord précisément le "langage de la théorie" : par exemple un langage du premier ordre.


title: Théorie axiomatique

text: Dans le premier cas, le mot « théorie » fait référence à un ensemble d'axiomes de la théorie. Dans le second, il fait référence aux théorèmes de la théorie.


title: Théorie axiomatique

text: Un choix immédiat, quoique guère intéressant, serait de prendre tous les théorèmes comme axiomes ; il y a donc toujours un système d'axiomes pour une théorie donnée (au sens close par déduction), et il y a même forcément plusieurs systèmes d'axiomes possibles pour une théorie donnée.


title: Théorie axiomatique

text: Cette notion très extensive de théorie est celle utilisée en logique mathématique, en particulier en théorie des modèles. Ainsi l'ensemble des énoncés du langage de l'arithmétique, vrais dans les entiers usuels, est évidemment clos par déduction. Mais, comme on le déduit immédiatement du premier théorème d'incomplétude de Gödel, il n' y a aucun moyen de donner un système d'axiomes pour cette théorie, moyen que l'on puisse utiliser dans la pratique mathématique, car pour cela il faudrait au minimum pouvoir reconnaître « sans trop d'effort » (on veut dire mécaniquement) un axiome parmi les énoncés du langage de la théorie.


title: Théorie axiomatique

text: On est donc amené à introduire une notion plus précise, la notion de "théorie récursivement axiomatisable" (voir la suite de cet article), qui est d'ailleurs un préalable pour énoncer le théorème de Gödel que l'on vient d'évoquer.


title: Théorie axiomatique

text: Une théorie est dite "cohérente", ou de façon équivalente "non contradictoire" ou encore "consistante", quand il existe des énoncés de la théorie qui ne sont pas démontrables. Cela revient à dire, en tout cas en logique classique ou intuitionniste, que l'on ne peut pas démontrer de contradiction.


title: Théorie axiomatique

text: En calcul des prédicats classique du premier ordre, une théorie est cohérente si et seulement si elle a un modèle : c'est le théorème de complétude. Les théories utilisées en mathématiques sont supposées cohérentes, même si, dès que ces théories permettent de développer suffisamment d'arithmétique, il ne peut y avoir de démonstration de cette cohérence sans supposer la cohérence d'une théorie plus forte, comme le montre le second théorème d'incomplétude de Gödel.


title: Théorie axiomatique

text: On considérera pour la suite que les théories sont des théories du premier ordre de la logique classique, même si de fait, la plupart des notions évoquées ont un sens en logique intuitionniste, dans des logiques d'ordre supérieur, etc.


title: Théorie axiomatique

text: Une théorie récursivement axiomatisable est une théorie qui peut être axiomatisée de façon qu'il soit possible de reconnaître de façon purement mécanique les axiomes parmi les énoncés du langage de la théorie. C'est le cas des théories utilisées pour formaliser tout ou partie des mathématiques usuelles, comme l'arithmétique de Peano ou la théorie des ensembles de Zermelo-Fraenkel.


title: Théorie axiomatique

text: Intuitivement on demanderait même aux systèmes d'axiomes plus que cela : on doit pouvoir vérifier « sans avoir à réfléchir » qu'un certain énoncé est un axiome. C'est ce que l'on capture de façon imparfaite, en disant que cette vérification est mécanique, c'est-à-dire que l'on pourrait la confier à une machine, un ordinateur. Un ordinateur est capable de vérifications qui n'ont rien d'immédiat pour un être humain, à plus forte raison si l'ordinateur est purement théorique, telle la machine de Turing, que l'on utilise pour formaliser ces notions. Par exemple, la géométrie euclidienne, dans sa formalisation au premier ordre, est décidable, ce qui signifie que l'ensemble de ses théorèmes est un système d'axiomes récursif, bien que clairement inutilisable pour axiomatiser vraiment la géométrie, vu la complexité de la procédure de décision. Mais cette notion se formalise bien, c'est celle qui convient pour les théorèmes d'incomplétude ou d'indécidabilité.


title: Théorie axiomatique

text: Une condition est que les énoncés du langage de la théorie elle-même puissent être reconnus de façon mécanique, on dit que le langage est récursif. On conçoit bien que c'est le cas quand les symboles spécifiques du langage (appelés parfois la "signature" du langage) : symbole de constantes, de fonction ou d'opération, de prédicat ou de relation, sont en nombre fini. Par exemple l'arithmétique de Peano utilise, en dehors du vocabulaire purement logique (dont l'égalité), les symboles formula_1 et éventuellement formula_2 qui sont bien en nombre fini. On peut également construire des langages récursifs de signature infinie.


title: Théorie axiomatique

text: Un cas particulier évident de théorie récursivement axiomatisable est celui des théories "finiment axiomatisables", c’est-à-dire des théories pour lesquelles on peut donner un nombre fini d'axiomes. Ainsi la théorie des groupes, la théorie des corps sont finiment axiomatisables.


title: Théorie axiomatique

text: Certaines théories ont un nombre infini d'axiomes, mais ceux-ci sont décrits de façon finie, on parle alors de "schéma d'axiomes". Par exemple l'arithmétique de Peano, théorie du premier ordre, énonce la récurrence comme un schéma d'axiomes : il faut un axiome par formule pour laquelle on énonce la récurrence. L'arithmétique de Peano est donc donnée par une infinité d'axiomes, mais on voit bien que l'on pourra reconnaître mécaniquement les énoncés qui expriment la récurrence parmi les énoncés du langage.


title: Théorie axiomatique

text: Tout ceci se formalise rigoureusement en codant les formules du langage par des entiers et en utilisant la théorie de la calculabilité. Une fois les énoncés codés par des entiers, on dit qu'un ensemble d'énoncés est récursif si la fonction caractéristique des codes de ces énoncés est une fonction calculable. Une théorie récursivement axiomatisable est donc une théorie qui possède un système d'axiomes récursif.


title: Théorie axiomatique

text: Il est également possible de définir ces notions sans passer par des codages par les entiers, en utilisant la théorie des langages formels. Il se trouve que ces notions sont souvent utiles dans un contexte (théorème d'incomplétude de Gödel, théorème de Church) où de toute façon on a besoin de coder arithmétiquement les formules.


title: Théorie axiomatique

text: En mathématiques, on s'accorde à penser que l'on peut reconnaître sans effort d'imagination que « quelque chose », disons une suite de phrases, est une preuve. S'agissant d'une preuve formelle, on doit pouvoir en vérifier les étapes pas à pas de façon mécanique. Vu notre définition de théorie, une condition nécessaire pour que cela soit vrai est que la théorie soit récursivement axiomatisable. Si l'on examine n'importe quel système formel pour la logique, par exemple un système à la Hilbert ou le calcul des séquents, on se convainc que cette condition est suffisante : ainsi, on peut vérifier de façon purement mécanique qu'une formule se déduit de deux formules par "modus ponens". Là encore on formalise ceci rigoureusement en codant les preuves par des entiers et en utilisant la théorie de la calculabilité, et l'on montre que


title: Théorie axiomatique

text: On déduit de ce résultat que l'on peut énumérer de façon mécanique les théorèmes d'une théorie récursivement axiomatisable. Dit autrement, on peut construire une machine théorique, qui va fonctionner indéfiniment, et donner un à un tous les théorèmes de la théorie.


title: Théorie axiomatique

text: Cela ne permet pas de vérifier mécaniquement qu'un énoncé est un théorème. On peut bien lancer la machine, tant que l'on n'obtient pas l'énoncé que l'on cherche à démontrer, sans autre information, on ne sait pas si c'est parce que la machine le donnera plus tard ou ne le donnera jamais.


title: Théorie axiomatique

text: Esquissons une preuve informelle de ce résultat. Considérons que les preuves sont écrites en utilisant un nombre fini de lettres. Toutes les lettres doivent compter : formula_3 fait deux lettres, formula_4 trois lettres etc. La taille d'une preuve est le nombre de lettres utilisées pour l'écrire. On compte les répétitions et une preuve peut être de taille arbitrairement grande, mais il n'y a qu'un nombre fini (éventuellement nul) de preuves d'une taille donnée. On peut donc énumérer de façon mécanique les preuves en énumérant successivement toutes celles d'une taille fixée, puis toutes celles d'une taille strictement plus grande, et ceci indéfiniment. On en déduit une énumération mécanique des théorèmes : il suffit de lire à chaque fois la conclusion de la preuve. Telle quelle, rien n'empêche cette énumération de produire des répétitions (mais il serait possible d'en construire une qui les évite). Cependant si on lance la machine qui énumère les théorèmes, il y a peu de chances que l'on trouve un théorème intéressant avant très très longtemps.


title: Théorie axiomatique

text: On construit un système d'axiomes décidable pour un ensemble de théorèmes récursivement énumérable à l'aide d'une petite astuce logique. Soit


title: Théorie axiomatique

text: la suite des théorèmes telle qu'énumérée par une machine. On construira tout aussi mécaniquement la suite des conjonctions


title: Théorie axiomatique

text: que l'on choisit comme nouveau système d'axiomes. Comme la suite de départ est l'ensemble des théorèmes d'une théorie, donc est close par déduction, on a ainsi "extrait" une sous-suite infinie. Les énoncés de cette suite axiomatisent trivialement la théorie initiale. La suite des axiomes obtenue est énumérée de façon strictement croissante en taille (par exemple le nombre de signes nécessaires pour écrire l'énoncé), puisque chaque axiome est obtenu en complétant le précédent par conjonction avec un nouvel énoncé. Pour savoir si un énoncé quelconque "B" est un axiome, il suffit donc d'énumérer ceux-ci jusqu'à trouver soit l'énoncé "B", et alors c'est bien un axiome, soit un énoncé de taille strictement supérieure, et ce n'en est pas un. Techniquement, si l'on formalise, on utilise le résultat de calculabilité suivant : l'ensemble image d'une fonction récursive strictement croissante est un ensemble récursif.


title: Théorie axiomatique

text: On prouve exactement de la même façon (car la clôture par déduction n'intervient pas dans la démonstration) que


title: Théorie axiomatique

text: et donc la notion de théorie axiomatisable par un ensemble récursivement énumérable d'axiomes n'a pas grand intérêt (autant prendre directement tous les théorèmes).


title: Théorie axiomatique

text: . Un énoncé est décidable si lui ou sa négation est un théorème, et la notion de décidabilité au sens algorithmique, un ensemble est décidable – ou récursif – si l'on peut décider mécaniquement de l'appartenance à cet ensemble.


title: Théorie axiomatique

text: On dit qu'une théorie est "complète" quand tous les énoncés du langage de la théorie sont décidables dans la théorie, c'est-à-dire que chaque énoncé est un théorème ou sa négation est un théorème.


title: Théorie axiomatique

text: On dit qu'une théorie est "récursive" (on dit aussi "décidable", mais on évitera de le faire dans la suite car cela prête trop à ambiguïté dans ce contexte), quand l'ensemble de ses théorèmes est récursif.


title: Théorie axiomatique

text: Une théorie récursive est évidemment récursivement axiomatisable : il suffit de prendre pour axiomes tous les théorèmes. On montre qu'il existe des théories récursivement axiomatisables qui ne sont pas récursives, comme l'arithmétique de Peano, mais aussi des théories beaucoup plus simples, le calcul des prédicats dans un langage suffisamment riche, comme celui de l'arithmétique ou un langage avec au moins un symbole de prédicat binaire (voir théorème de Church). Mais on peut montrer que :


title: Théorie axiomatique

text: Montrons ce résultat. On peut supposer la théorie cohérente, car l'ensemble des théorèmes d'une théorie incohérente est l'ensemble de toutes les formules closes, qui est récursif dès que le langage de la théorie est récursif. Si une théorie est cohérente et complète, l'ensemble des énoncés qui ne sont pas des théorèmes est l'ensemble des énoncés dont la négation est un théorème. On en déduit très facilement qu'il est également récursivement énumérable. Or l'ensemble des énoncés du langage de la théorie est récursif. On sait en théorie de la calculabilité que si un ensemble est récursivement énumérable, et si son complémentaire à l'intérieur d'un ensemble récursif est récursivement énumérable, cet ensemble est récursif.


title: Théorie axiomatique

text: Détaillons l'argument, en l'adaptant à notre cas particulier. Nous avons une machine qui énumère les théorèmes de la théorie, supposée cohérente. Nous voulons savoir si l'énoncé formula_7 est un théorème. On lance la machine et on compare à chaque étape l'énoncé produit à formula_7 et à sa négation. Comme la théorie est complète ce processus termine : on finit par produire soit formula_7, soit sa négation. On vient de définir un procédé mécanique qui permet de savoir si un énoncé donné est démontrable (la machine a produit formula_7) ou non démontrable (la machine a produit la négation de formula_7, donc par cohérence de la théorie, formula_7 n'est pas démontrable). La théorie est donc récursive.


title: Théorie axiomatique

text: Par contraposée, on obtient immédiatement qu'une théorie récursivement axiomatisable qui n'est pas récursive ne peut être complète. On peut donc très bien démontrer le premier théorème d'incomplétude de Gödel en utilisant ce résultat (comme dans la référence bibliographique indiquée).


title: Sénateurs représentant les Français établis hors de France

text: Les sénateurs représentant les Français établis hors de France, au nombre de 12, étaient jusqu'en 2012 les seuls parlementaires qui étaient élus à ce titre par ces Français. Depuis la réforme constitutionnelle de juillet 2008, l'article 24 de la Constitution prévoit que « les Français établis hors de France sont représentés à l'Assemblée nationale et au Sénat ». Dès lors, les Français établis hors de France sont représentés à la fois par des sénateurs et des députés, les premiers députés représentant les Français établis hors de France ayant été élus lors des élections législatives françaises de 2012.


text: Les grands électeurs qui élisent les sénateurs au scrutin proportionnel étaient jusqu'à l'élection de 2011 les 155 conseillers de l'Assemblée des Français de l'étranger, élus par moitié tous les 3 ans. Depuis la loi du réformant la représentation des Français établis hors de France avec la mise en place de conseils consulaires au sein des missions diplomatiques, les sénateurs sont élus par un collège de 533 membres composé des 442 conseillers consulaires élus en mai 2014 dans les circonscriptions consulaires du monde entier, des 68 délégués consulaires élus en même temps dans les circonscriptions ayant le plus de Français inscrits au registre mondial et des députés et sénateurs les représentant.


text: Élections reportées en 2021 au lieu de 2020 en raison de la pandémie de Covid-19. Le mandat est réduit à 5 ans au lieu de 6, pour un renouvellement en 2026.


title: Histoire des mines de fer

text: Les mines de fer ont joué un rôle important dans la révolution industrielle, les gisements de fer contenus dans les roches, généralement sous la forme d'oxydes, comme l'hématite, conditionnant le coût de production de la sidérurgie en fonction de la distance entre les mines et les aciéries et hauts fourneaux, ainsi que la richesse en fer de ces différents gisement de minerais de fer, teneur variable selon le minéral ferrifère. Cet article présente leur histoire.


title: Histoire des mines de fer

text: En France, le fer est exploité très artisanalement depuis la préhistoire. L'exploitation se poursuit aux époques gallo-romaine et médiévales. Dans l'antiquité, les mines de fer ont été la cause de la destruction de vastes massifs forestiers, afin d'obtenir de bois d'étayage des galeries mais surtout du bois de feu pour la mine, via "l'ouverture par le feu" pratiquée dans nombre d'entre elles, ou pour les fonderies et forges, comme l'indiquent les tas de scories utilisés par les archéologues pour évaluer l'importance du gisement.


title: Histoire des mines de fer

text: Les charbons de bois résiduels apportent aussi des informations sur les milieux forestiers de l'Antiquité ou sur les relations entre les mineurs et la forêt. Dans les années 1990, des expérimentations "in situ" ont apporté des données quantitatives complémentaires utiles aux archéologues qui travaillent sur ces questions.


title: Histoire des mines de fer

text: Les Chalybes et les Hittites, dans la région du Sud du Caucase, découvrirent les premiers procédés de réduction du fer, grâce à un minerai extrait dans des filons à fleur de terre puis réduit par du charbon de bois mis en combustion dans un simple trou conique creusé dans le sol. Partie du Caucase , l'industrie du fer va se déplacer vers l'Égypte (1000 avant J.C.) et l'Inde, puis vers la Grèce (par la Méditerranée), l'Autriche (par le Danube), l'Italie, l'Espagne, la France, la Suisse (500 avant J.C.) et l'Angleterre (300 avant J.C.).


title: Histoire des mines de fer

text: À l'origine fours semi-enterrés, les foyers grandissent et se perfectionnent, la combustion est activée par l'emploi de soufflets d'abord manuels, puis hydrauliques . Au , Henri II Plantagenet interdit aux moines de couper plus de deux chênes par semaine pour alimenter chaque bas fourneau. Au , la hauteur des fourneaux est encore augmentée tandis que les conditions de soufflage sont améliorées, entraînant une élévation de la température .


title: Histoire des mines de fer

text: L'une des deux zones d'extraction du minerai de fer en Berry, au nord de Bourges , s'étend d'Ouest en Est, en allant de Massay à Neuvy-Deux-Clochers , et hébergeait les forges d'Ivoy-le-Pré et de Vierzon. À l'époque gallo-romaine, le peuple gaulois des Biturges utilisait déjà le bois de la Forêt domaniale de Vierzon en quantité, pour la métallurgie du fer, comme en témoignent des restes de minerai ("« laitiers »") encore visibles. Ces restes encore riches en fer ont été plus récemment envoyés par trains entiers dans les Hauts fourneaux de Lorraine pour les fondre et y récupérer le fer y restant.


title: Histoire des mines de fer

text: Une deuxième zone comprend des gisements situés sur les rebords des vallées de l'Arnon , du Cher et de l'Aubois . Rosières , aujourd'hui spécialisé dans l'appareillage électro-ménager, a pour origine des gisements ferreux et était au une entreprise d'extraction du minerai de fer. Dun-sur-Auron était également un lieu d'extraction de fer. Enfin, la vallée de l'Aubois comportait plusieurs fonderies et hauts fourneaux actifs au à Torteron , Grossouvre , Le Chautay , La Chapelle-Hugon et La Guerche-sur-l'Aubois. Au sud et à l'ouest de Bourges le minerai a été exploité de manière intensive aux . Il était qualifié de "mine chaude" pour sa réputation d'être plus facile à fondre et affleure dans le département du Cher, suivant une bande est-ouest qui passe au nord de Bourges, dans la forêt d'Allogny.


title: Histoire des mines de fer

text: Dans la région de Bourges , les ateliers de transformation du minerai de fer sont concentrés à une dizaine de kilomètres au nord de la ville à l'intérieur et autour de cette forêt d'Allogny, y compris à proximité des bâtiments du prieuré de Bléron, situé dans une enclave en pleine forêt, ou sur les communes d’Allouis , de Saint-Éloy-de-Gy et de Saint-Martin-d'Auxigny , sous forme de nodules ou de concrétions réticulées exploitables à ciel ouvert ou au moyen de simples puits.


title: Histoire des mines de fer

text: Jusqu'à la fin du Moyen Âge, la fabrication du fer avait lieu exclusivement autour d'Allogny, où la métallurgie du fer avait connu déjà un essor considérable dans les régions boisées à la fin de l'époque gallo-romaines. La réduction du minerai de fer nécessitant une grande quantité de charbon de bois, les ateliers métallurgiques se sont implantés de préférence dans, ou à proximité immédiate de ces espaces boisés, délaissant quelquefois le voisinage du minerai de fer qui était alors acheminé sur une distance pouvant atteindre plusieurs dizaines de kilomètres. Au , la région vit l'essor de la réduction "indirecte", ce qui fait que la géographie des ateliers métallurgiques se transforme, à la recherche de la force motrice de l'eau pour animer les soufflets des hauts fourneaux.


title: Histoire des mines de fer

text: Une intense activité métallurgique africaine, dont des traces remontant à avant J.-C. ont été retrouvées dans plusieurs régions d'Afrique : les Grands Lacs, l'Afrique de l'Est (Soudan, Éthiopie) et toute la zone subsaharienne d'Afrique de l'Ouest. Après avoir longtemps supposé que les forgerons africains avaient emprunté leur savoir-faire au Proche-Orient, via l'Afrique du Nord et la vallée du Nil, de nombreux spécialistes estiment aujourd'hui que les Africains ont inventé eux-mêmes leurs propres techniques sidérurgiques. Une partie de cette activité métallurgique intense est attribuée aux Dogons un peuple du Mali, en Afrique de l'Ouest, arrivé au dans la région nommée "Pays Dogon", qui s'étend de la falaise de Bandiagara jusqu'au sud-ouest de la boucle du Niger. Une étude scientifique a mis en évidence la production de fer et d'outils en fer forgé du temps des Tellems au , production devenue quasi industrielle du à l'époque Dogon. Il apparaît que diverses techniques de récupération du fer, à partir du minerai trouvé en divers endroits de la falaise de Bandiagara, ont été mises au point dans différents villages parfois séparés de quelques dizaines de kilomètres. Les recherches ont mis en évidence une cinquantaine de sites de production, dont certains très importants. À proximité des villages de Fiko, Kobo et Enndé, les archéo-métallurgistes ont ainsi relevé l'existence de plusieurs collines de scories d'une activité sidérurgique, hautes de plus de dix mètres et longues de cent mètres, totalisant environ . Cette étude permet de mieux comprendre le statut particulier des forgerons dans la société dogon, ainsi que les échanges commerciaux que pratiquaient les Dogons.


title: Histoire des mines de fer

text: En Suède, l'exploitation minière du Bergslag débuta dès le dans les districts miniers de la Suède centrale (Bergslagen). Le terme de Bergslag désignait au Moyen Âge un groupement minier, avec ses forêts, ses villages, ses forges, auquel étaient accordés des privilèges spéciaux, puis il s'est appliquée à la région minière la plus riche de Suède, forte d'une main-d'œuvre assez abondante et qualifiée, d'un réseau fourni de voies ferrées et de voies de navigation le long du littoral du Gästrikland.


title: Histoire des mines de fer

text: Les mines, exploitées dès le Moyen Âge, étaient réputées dans le commerce international du fer, ainsi que l'acier suédois de qualité, travaillé au charbon de bois des grandes forêts. Les districts miniers de la Suède centrale assurent les approvisionnements en minerai de fer et en quelques métaux d'alliage tels que le manganèse, alors que les mines de Laponie produisent en vue de l'exportation. Mais ces minerais phosphoreux de Laponie, région pionnière encore fort éloignée, sont au Moyen Âge et aux siècles suivants assez globalement ignorés car leur traitement passe par l'emploi de gros tonnages de coke et des transports coûteux, dans une Suède qui ne dispose que d'une production houillère dérisoire, à l'extrême Sud (Scanie).


title: Histoire des mines de fer

text: Le minerai suédois est souvent un ensemble de minerais très purs comportant des oxydes de fer (hématites ou magnetite) dans une gangue surtout formée d'éléments magnésiens et sans proportion notable de phosphore.


title: Histoire des mines de fer

text: En Europe occidentale, les fourneaux au bois commencent à se grouper, dès le , auprès des minerais superficiels faciles à traiter et des réserves forestières, dans la région rhénane, Eifel, Siegerland, en Styrie et Carinthie, en Champagne et Bourgogne, dans les Pyrénées, en Italie.


title: Histoire des mines de fer

text: Les mini-montagnes des Ardennes et leurs cours d'eau filant vers Anvers et Rotterdam, constituaient autour de Liège le centre européen de la proto-industrie du fer wallonne et française, qui profitait aussi de la présence de minerai de fer. Près de 200 usines y fonctionnaient en 1566 (500 pour toute la région entre la Meuse et le Rhin), réparties en cinq bassins : Namur (Sambre et Meuse), Liège, Huy (Hoyoux), Habay (Lesse, Semois et Chiers) et Durbuy. À partir de 1600, entre et Wallons émigrèrent en Suède, à la fois pour des raisons économiques et religieuses dans une contrée peu peuplée.


title: Histoire des mines de fer

text: Le , le roi de Suède met fin à la guerre de Kalmar, contre le roi du Danemark. Pour s’acquitter des paiements de guerre, il faut avoir recours à l’emprunt auprès des bourgeois et gouvernement de Hollande. La garantie d'emprunt est constituée par les riches mines de fer de la Suède. Le wallon réfugié à Amsterdam Louis De Geer (1587-1662) se met alors en relation avec Guillaume de Bèche, Liégeois qui exploite depuis 1595 et les forges de Nyköping et les forges de Finspang, en faisant venir des wallons exilés aux Pays-Bas. Ils s'installent au nord d'Uppsala, ancienne capitale du royaume et ville hanséatique au bord de la Baltique, à au Nord de Stockholm. D'autres wallons s'installent dans la très riche mine de Dannemora au nord de Stockholm, selon l'historien suédois Göran Rydén, université d'Uppsala.


title: Histoire des mines de fer

text: Louis de Geer se met alors en relation avec des hommes de l'art liégeois, établis en Suède, les frères de Besche, dont Guillaume de Bèche, qui s’y trouve depuis 1595 et exploite les forges de Nyköping et Finspång, en faisant venir d'autres techniciens wallons exilés aux Pays-Bas pour des raisons religieuses.


title: Histoire des mines de fer

text: En 1618, Louis de Geer sollicite de la Couronne de Suède la prise à bail du fief de Finspång. C’est par ce processus que le banquier se mue en puissant industriel nordique et fait de longs séjours en Suède, tout en conservant sa maison d’Amsterdam (la « Maison aux têtes »). Louis de Geer devient partenaire de Guillaume de Bèche pour les usines de Finspång, d’où sortent des canons de fer réputés mondialement. On appelait ces migrants du nom de Wallons car ils parlaient français, et leurs patronymes, pour la plupart, étaient d'origine romane. Le mouvement, limité à la période 1620-1640, ne dépassa pas .


title: Histoire des mines de fer

text: Les régions du centre de la Suède contenaient une quantité exceptionnelle de minerai pauvre en phosphore et en soufre, donc particulièrement adapté aux procédés de l'époque. Le plus fameux était celui de Dannemora, le plus pur qui existe, où on appliqua pour la première fois le procédé d'affinage dit "wallon". L'« affinage wallon» donna un fer de qualité bien supérieure, grâce à une seconde forge, chargée de débarrasser le fer forgé de ses scories et de ses impuretés. À la suite des réformes de De Geer, la technique du fer, en Suède, fut reconnue comme la première du monde. En 1637, une sorte de ministère des mines et de la métallurgie fut créé sous le nom de Conseil des Mines (Bergs-Collegium), une administration suédoise connue pour son rendement et son intégrité, dont l'un des bureaux les plus laborieux et doué de plus d'esprit de suite était le Collège des Mines. Les autres pays s'efforcèrent de surprendre les secrets du métier et de débaucher les ouvriers suédois.


title: Histoire des mines de fer

text: Durant le , les consommations de fer et de fonte progressent très fortement, mais en partant de niveaux très faibles: en 1740, environ par an et par habitant en France et en Angleterre. Le manque de combustible se fait cruellement sentir: pour une livre de fonte, il faut consommer une livre 3/4 de charbon de bois et les forêts sont déjà épuisées rapidement. En Angleterre des fourneaux sont arrêtés par pénurie d'arbres. La réussite progressive de la coulée au coke va permettre de contourner cette difficulté et multiplier par cent la demande de minerai de fer. La production de fonte anglaise, qui était de en 1740, va atteindre 1,25 million de tonnes en 1840, près de cent fois plus.


title: Histoire des mines de fer

text: Le quaker et artisan Abraham Darby (1678-1717) quitte Bristol en 1709 pour devenir forgeron dans le village de Coalbrookdale, à une dizaine de kilomètres de Birmingham, dans le Shropshire, où le minerai de fer et le charbon sont disponibles. Il y réussit la coulée au coke et observe que le coke pouvait être utilisé en bloc alors que le charbon ne pouvait brûler qu'en fine feuille. En empilant le coke et le minerai de fer dans un grand four, il pouvait obtenir des quantités beaucoup plus importantes : c'était le premier haut fourneau au coke, dont l'utilisation diminua très fortement le prix de revient de l'acier.


title: Histoire des mines de fer

text: D'autres maîtres de forges de la région commencèrent à utiliser ses méthodes. Ils rencontrèrent de nombreuses difficultés et découvrirent qu'il utilisait du charbon de Cumbria, proche de la frontière écossaise, au faible taux de soufre, facilitant la fonte d'acier.


title: Histoire des mines de fer

text: Les maîtres de forges suédois ont remédié à la modestie de leurs établissements industriels par une forte association, le Jern-Kontoret ou Comptoir des fers qui possède des chimistes et des ingénieurs et veille à la commercialisation au meilleur compte des minerais du Royaume. Ce Bureau des fers (Jern-Contoret), en Suède, répond en partie à l'administration des mines d'autres royaumes. C'est une administration puissante et habile, avec pour but principal de contrôler les produits et d'en centraliser l'exportation. La métallurgie suédoise est puissamment secondée par les enseignements qu' elle trouve à l'école des mines de Stockholm et par les publications de ce Comptoir des fers (Jern-Contoret) dont les annales ont été conservées. Le projet avorté du monopole de l'industrie du fer qui se fit jour en Suède en 1745 était lié à la création de ce Jern-Contoret. La Suède contrôlait alors entre 30 % et 40 % de la production de fer en Europe, mais une part encore plus grande des exportations, ou du minerai de fer, ce qui lui donnait du pouvoir sur le marché pour faire monter les prix de vente.


title: Histoire des mines de fer

text: L'ingénieur des mines Anton von Swab, inspiré par les travaux pionniers de Berzelius, fit ses premiers essais avec le soufflet à bouche en 1738, outil qui permet de révéler la présence de certains métaux au-delà de la gangue de terre et d'oxydes qui les recouvre.


title: Histoire des mines de fer

text: En 1750, la Suède produisait environ 35 % du fer mondial, grâce à ses très importants gisements de minerai et en profitant de l'abondance des forêts et des cours d'eau. Les propriétaires d’usines ont été encouragés à transférer leur production vers les régions boisées du nord. Alors que le a vu des usines de fer se construire dans les régions de Gästrikland et Hälsingland, le s'étend dans les régions d’Ångermanland et Västerbotten.


title: Histoire des mines de fer

text: Le fer représente, selon les périodes du , entre un tiers et la moitié des exportations suédoises, et passe en volume de tonnes à tonnes du début à la fin du siècle. La part de l'Angleterre dans les destinations va progressivement diminuer tout au long du siècle, passant de 60 % à 40 %. De nombreux exportateurs suédois de cette époque sont des négociants anglais.


title: Histoire des mines de fer

text: Dès 1440, le bassin minier de Montbéliard fut exploité pour l'alimentation en minerai de fer du bas fourneau d'Audincourt, tandis que les mines de fer des villages du Haut-Doubs comme Les Fourgs, Longeville, Métabief et d'Oye-et-Pallet alimentaient ceux de Pontarlier et de Rochejean. Pontarlier où, au voit s'installer une fonderie de canons, l'omniprésence des forêts complétant l'existence de plusieurs bassins miniers ferrifères importants dans le Doubs (Bournois, Exincourt, Deluz, Laissey et Rougemontot) et le Jura (Dampierre et Ougney). Les forges et fonderies se multiplient aux abords des rivières, l'énergie hydraulique étant essentielle pour préserver les forêts, et les historiens constate l'implantation de nombreux hauts fourneaux au bois dès le début du :


title: Histoire des mines de fer

text: Profitant de cet essor, de nombreuses entreprises locales se spécialisent dans la construction mécanique, ou encore la fabrication de casseroles ou d'outillages à main. Mais dès les années 1850, l'arrivée de la métallurgie au coke, associée au développement des moyens de communication, remplace progressivement la métallurgie au bois. La rentabilité des mines et des forges franc-comtoises est alors compromise, au profit des installations lorraines. L'exploitation des mines de fer cesse, les dernières fermant vers 1885 à Laissey.


title: Histoire des mines de fer

text: Le minerai de fer houiller est découvert dans des mines de charbon. Combustible médiocre, assimilé aux stériles sur les terrils des charbonnages., il devient exploitable à condition d'augmenter sa teneur en fer, en l'utilisant calciné, voire grillé. La première tentative vient de l'écossais (père de Robert Forester Mushet). En 1801, il réussit à produire de la fonte à l'usine de "Calder Iron Works", qu'il venait de relancer avec des associés. Malgré sa teneur en fer, assez moyenne, combinée avec la présence de nombreuses impuretés, ce minerai s'avère rentable pour la production de fonte.


title: Histoire des mines de fer

text: Vers 1830, un autre écossais, James Beaumont Neilson, met au point une amélioration clé du haut fourneau : le vent chaud. La fusion de ce minerai est alors facilitée : l'expansion de la sidérurgie écossaise, qui passe d'une production annuelle de en 1830 à en 1840, s'explique par la combinaison de ces deux innovations : et vent chaud.


title: Histoire des mines de fer

text: La montée très progressive de la technologie de la fonte au coke, qui permet de travailler sur des volumes plus importants consomme plus de minerai de fer et dans de nouveaux lieux. La fonte, maintenue liquide et additionnée de minerai riche, est brassée à la main puis passée au laminoir, d'où elle sort sous forme de barres et de tôles. Ce four à coke exigeant une température élevée, donc d'assez grandes dimensions et une soufflerie puissante, cette technologie ne peut être adoptée immédiatement par tous se répand assez lentement, même en Grande- Bretagne.


title: Histoire des mines de fer

text: Elle prend racine sur le continent en Haute-Silésie en 1796, où la sidérurgie se heurtera plus tard aux problèmes des approvisionnements en minerai de fer avec le déclin des mines dans les districts de Dombrova, Cracovie et Cieszyn, ou des 22 mines de fer situées dans la Haute-Silésie polonaise, ainsi qu'en France, où elle est testée par l'État dès 1785 au Creusot, et en Belgique après 1815, puis dans la Ruhr seulement en 1849. La fonte au coke l'emporte définitivement vers le milieu du : les usines tendent alors à se rapprocher de la houille cokéfiable et les gisements de fer sont soumis à une nouvelle contrainte de transport. Elle est lente à se développer, à cause des intérêts des grands propriétaires de forêts qui tiraient de la fonte au bois l'essentiel de leurs revenus, et ne l'emporte définitivement en France qu'à partir de 1840-1850.


title: Histoire des mines de fer

text: Dans le département du Nord, en France, le premier haut fourneau est installé par Jean-François Dumont entre 1834 et 1839, avec huit fours à puddler, à Denain au bord de l'Escaut, une production de fonte de par jour alimentée en minerai provenant de l'Avesnois et du Boulonnais. Adolphe Leclercq, fils de l'un de ses associés, créera à son tour un haut fourneau en 1864, pour assurer l'approvisionnement en fonte de son usine sans haut fourneau à Trith-Saint-Léger.


title: Histoire des mines de fer

text: Serret, Lelièvre et Cie de Denain rachètent le site de Jean-François Dumont et obtiennent une médaille d'or pour leur production.


title: Histoire des mines de fer

text: L'exploitation du minerai de fer en Côte-d'Or est un phénomène précoce. Au début du , trois zones principales d'extraction étaient en activité, dans le nord et l'est de la Côte-d'Or. Le Châtillonnais était la principale concentration de hauts-fourneaux et d'exploitations de minerai de fer, abondant et ne suscitant aucune rivalité, mais de qualité très inégale, avec des traces de phosphore affectant la fonte. Les minières d'Étrochey alimentaient une dizaine de hauts-fourneaux. L'activité minière était aussi très soutenue à Louesme et Courban et, à la limite avec la Haute-Marne, près de Boudreville et Montigny-sur-Aube. À la limite nord-est de la Côte-d'Or, l'extraction recourt à une bêche ou une pelle, le minerai étant inclus dans la terre végétale, ou extrait dans une tranchée creusée en aval de la parcelle. Dans l'est de la Côte-d'Or, les travaux miniers de Villecomte, à plus de de profondeur, entraînent un recours constant à la poudre noire et atteignent au début du siècle, la profondeur de quinze mètres.


title: Histoire des mines de fer

text: La loi du , pour l'essor d'une industrie vitale aux armées impériales, distinguait une "minière" à ciel ouvert d'une mine en travaux souterrains. Les minerais de fer alluvionnaires de Côte-d'Or, très abondants à proximité de la Haute-Saône, étaient rarement à fleur de terre. En général, des puits, de trois à six mètres de profondeur étaient creusés avant de pouvoir entamer l'extraction. Menacées d'épuisement, les vieilles "minières" furent relayées par la renaissance du gisement découvert vers 1800, aux confins de la Côte d'Or, de la Haute-Saône et de la Haute-Marne, à Sacquenay puis à Orain et Courchamps, favorisés par la présence d'une forêt abondante et d'un minerai de qualité mais déclenchant cette fois tensions et de rivalités car déjà très exploité au cours des siècles précédents.


title: Histoire des mines de fer

text: Entre 1820 et 1848, les découvertes suivies d'exploitations se multiplièrent. Vers Fontaine-Française, les minières de la forêt communale de Dampierre-et-Flée atteignaient le minerai à une profondeur de . Les plus profondes du département, à Épernay-sous-Gevrey, le rencontraient ensuite à au cours des années 1850, apogée de la sidérurgie côte-d'orienne, qui voient les exploitations minières se multiplier, leur nombre culminant entre 1856 et 1857, phénomène surtout lié la dispersion des sites d'approvisionnement, avec de nouvelles terres à minerai dans les forêts communales, pour pallier le fait que certaines minières ouvertes depuis les années 1820 s'épuisaient. Ces années 1850 sont en réalité marquées par une seule découverte d'importance, à Épernay-sous-Gevrey.


title: Histoire des mines de fer

text: Les Houillères de Sincey, découvertes par le comte Champion de Nansouty en 1835, près des mines de fer de Thoste-Beauregard, dans l'arrondissement de Semur mettront un quart de siècle à trouver leur rythme de croisière. Jusque là, les maîtres de forge locaux préfèraient le charbon de bois à la houille pour fondre le fer, ce qui explique qu'il n y a pas de recherche de gisement de charbon de terre avant les années 1830, si ce n'est quelques fouilles dans les environs de Sombernon pendant la Révolution française. Champion de Nansouty rêvait, lui, de construire des hauts-fourneaux au coke, à Maisonneuve, sur la commune d'Aisy-sous-Thil. Le minerai, déjà utilisé à la période antique, est utilisé dans des forges locales après avoir été redécouvert à proximité du village de Thoste. Puis de nouvelles prospections sont lancées par le comte qui s'associe avec un élève-ingénieur externe de l'École des mines de Paris, un ouvrier anglais et un mineur allemand. Plusieurs mineurs des houillères de Saône-et-Loire sont recrutés pour mener les travaux.


title: Histoire des mines de fer

text: L'exploitation a lieu au puits Sainte-Magnance et le puits Soyez de Sincey est creusé à partir de 1862 et fonctionnera de façon industrielle ente 1876 à 1908. La production maximale est de annuelles avec en 1875 et la production totale du gisement s'élève à .


title: Histoire des mines de fer

text: La plupart des hauts-fourneaux de Côte-d'Or se retrouvent au même moment à la merci des usines produisant une fonte au coke, meilleur marché, d'autant plus qu'ils doivent augmenter leur approvisionnement en minerai de meilleure qualité comme les hauts-fourneaux de Villecomte et Moloy. Entre 1862 et 1869, la majeure partie des exploitations minières, souvent trop exigues cessent leur activité, seule la plus importante, Thoste-Beauregard, parvenant à se maintenir, en profitant du chemin de fer construit, au début des années 1860, entre Thoste et l'usine de Maisonneuve, tandis que les établissements du Creusot reliaient leur mines de Mazenay-Change à celle reliant Nevers à Chagny. L'exploitation de Thoste-Beauregard culmina en 1862 à et Mazenay-Change à .


title: Histoire des mines de fer

text: En France en 1860, il reste encore 100 hauts fourneaux fonctionnant au charbon de bois sur un total de 300 en activité, mais à Hayange, en Lorraine, 5 sur 6 marchaient déjà au coke. À la veille de 1870, en France , les deux régions sidérurgiques les plus importantes sont le Nord et le Centre. Cependant des usines sidérurgiques sont implantées dans d'autres régions, à proximité des mines de fer (Normandie, Pyrénées) ou de charbon (Alès, Decazeville), ou encore le long de voies navigables et de la mer (Chasse-sur-Rhône, Le Boucau, Outreau). Il y a aussi des sites plus isolés, comme la Mine de Baburet, dans la vallée de l'Ouzom, dans les Pyrénées, dont les premiers documents d'archives datent de 1512 : la forge de Louvie, à proximité de la mine. Le minerai y est « grillé » dans des « fours de grillage » comme dans beaucoup de site, ce qui n'empêche pas la fermeture des forges entre 1866 et 1906.


title: Histoire des mines de fer

text: Alors que l'Amérique exploite les minerais locaux et le bois des forêts dans les premiers temps de la colonisation, les aciéristes découvrent au , reliés par un magnifique réseau navigable, les gisements d'anthracite et l'excellent charbon à coke de Connellsville, dans l'Ouest de la Pennsylvanie. À Pittsburgh aux « Fourches de l'Ohio », Andrew Carnegie, le « roi de l'acier » va fonder sa puissance sur le « contrôle » simultané des mines de fer et de houille, des moyens de transport spécialisés et des agences de vente. Le minerai de fer est recherché sur les rives du Lac Supérieur, où a été découvert en 1844 par des géomètres le Gisement de fer de Marquette, des rochers de milieu Précambrien sur un synclinal long de . Les géologues ont observé que la sensibilité de leur boussole produisait des résultats faussés par la concentration de fer.


title: Histoire des mines de fer

text: Le principal minerai de fer est trouvé dans  une formation est d'épaisseur près de Negaunee. L'exploitation a commencé en 1847 avec un fer d'abord fondu avec du charbon de bois en fonte, mais après l'ouverture du Soo Canal en 1855, il est expédié vers les Grands Lacs et le port de Marquette.


title: Histoire des mines de fer

text: Les capitalistes de Cleveland contribuent développement du gisement. Parallèlement, des roches riches en fer sont répertoriées en 1848, par le A. Randall, sur le futur gisement de fer de Gogebic Range, dans le nord du Michigan et le Wisconsin, exploité à partir de 1890, dans le sillage du boom spéculatif du milieu des années 1880, puis encore plus à l'ouest par le géologue Henry H. Eames en 1866 dans l'État voisin du Minnesota, mais la "Montagne de Fer" du gisement de Mesabi Range, ne sera vraiment découverte que le par J. A. Nichols.


title: Histoire des mines de fer

text: En Lorraine, on extrait le minerai de fer à Hayange, où la famille de Wendel s'est installée en 1704, mais il est aussi extrait et travaillé à Ottange, à Moyeuvre, à Creutzwald, à Hombourg-Haut. Des sondages de 1815, aux environs de Forbach et de Creutzwad, n'avaient débouché sur aucune exploitation mais le projet de voie ferrée de Sarrebruck, traversant la concession de Schœneck (près de Forbach) permet de lancer l'extraction en 1856. Des mines de fer vont ouvrir un peu partout dans le bassin de Nancy (mine de Chavigny en 1856, mine de Champigneulles, mine de Neuves Maisons en 1874...) et du côté d'Hayange et de Villerupt. La très forte croissance économique mondiale des années 1850 a en effet stimulé la demande d'acier et le prix des approvisionnements. Le charbon remonte également à Carling et à L'Hôpital, où des nappes d'eau rendit l'exploitation difficile.


title: Histoire des mines de fer

text: Et après 1850, en liaison avec le développement de la voie ferrée, la situation change: la Moselle occidentale, territoire de la « minette », entame une expansion continue. Jusqu'au milieu du , on recherchait surtout le minerai de fer des «minières », peu profondes, à ciel ouvert ou à flanc de coteau, surtout exploitées dans la région d'Aumetz, plus riches en fer que la minette mais plus coûteuses à exploiter. Leur extraction tombe de en 1857 à en 1867. Par contre, la production de minette se développe. Pour la transformer en fonte, les établissements de Wendel utilisent le coke au lieu du charbon de bois.


title: Histoire des mines de fer

text: Ils sont rejoints par des investisseurs de Wallonie, première région d'Europe continentale à réussir une révolution industrielle, entre 1770 et 1847, où des immigrés britanniques ont diffusé de nouvelles techniques de production, par la conception d'entreprises intégrées, qui dominent l'ensemble de la production depuis les matières premières jusqu'au bien fini. Les métallurgistes et chimistes wallons ont ainsi pris sous leur contrôle l'extraction de charbon et surtout de minerais de fer et de zinc.


title: Histoire des mines de fer

text: Cockerill, La Providence, les Charbonnages et Hauts Fourneaux d'Ougrée, et d'autres s'implantent dans les années 1850 dans le nord de la France sur des sites riches en charbon et y développent des complexes sidérurgiques puissants, mais aussi dans le bassin de la Ruhr, avec les techniques d'étançonnage et d'extraction wallonnes. En 1849 à Dusseldorf, la SA belgo-rhénane des Charbonnages de la Ruhr est formée sous l'impulsion de l'ingénieur des mines montois Joseph Chaudron. Entre la fin des années 1840 et 1855, Charles Detilleux acquiert des concessions près de Gelsenkirchen. En 1853, un consortium mené par le recteur de l'Université de Liège, Jean-Louis Trasenter, obtient des gisements près de Duisbourg. La SA belge des Charbonnages de Herne-Bochum réunit des actionnaires belges et français à la fin des années 1850.


title: Histoire des mines de fer

text: Dans les années 1860-1870, alors que les faibles ressources belges en minerais de fer s'épuisent, des entreprises wallonnes s'installent aussi en Lorraine pour y exploiter les gisements récemment découverts. La société de Vezin- Aulnoye, fondée en 1858 par Eugène Godin, capitaliste hutois, reprend à la Société minière de Somme et Vezin les mines de fer de Vezin près d'Andenne, ville wallonne, et achète les hauts fourneaux d'Aulnoye, près de Maubeuge, avant d'implanter une nouvelle usine sidérurgique à Maxéville près de Nancy en 1871. Le travail au fond de la mine est dangereux pour les mineurs qui tirent les coups de mines, les manœuvres, les palefreniers, les wattmans (conducteurs des loco électriques), les boiseurs, et les géomètres. Les chutes de blocs de pierre, les explosions à retardement, l'étroitesse des galeries dans lesquelles passent des trains, font de ce milieu le plus mortel de toute l'histoire de l'industrie, comme l'expose la mine du val de fer à Neuves Maisons (à côté de Nancy).


title: Histoire des mines de fer

text: L'extraction mosellane de fer, surtout concentrée à Hayange et à Moyeuvre, qui n'était que de tonnes en 1817, passe à tonnes en 1847, puis décuple dans les deux décennies suivantes pour dépasser le million de tonnes en 1869, au premier rang du minerai de fer en France. Dès 1869, la Moselle produit le quart de la fonte française, dans 50 hauts fourneaux mais importe des mines prussiennes 80 % de ses besoins en coke car elle n'extrait que tonnes de houille, pour tonnes de fonte. Avant 1870, Stiring-Wendel, ses et ses quatre hauts fourneaux, entre Sarrebruck et Forbach, forment le premier centre métallurgique, lié aux houillères sarroises par la voie ferrée pour le coke et au minerai de fer de Hayange. Depuis 1853, il produit des rails, dépassant le rival Moyeuvre mais aussi Hayange (tôles et de fers blancs).


title: Histoire des mines de fer

text: En 1856, l'ingénieur Henry Bessemer a trouvé le moyen d'obtenir rapidement de l'acier à partir de la fonte liquide, introduite dans un « convertisseur », où un puissant courant d'air permet de brûler la plus grande partie du carbone et des autres impuretés de la fonte, en seulement une demi-heure. Seul inconvénient, il nécessite des fontes dérivées de minerais très peu phosphoreux, donc très rares. Le four à sole, du Français Pierre Martin (1878) chauffe la fonte par des gaz incandescents, dont la température est encore élevée dans un four Siemens à récupération. Plus lent, il permet l'addition de métal, fer, manganèse, etc., destiné à améliorer la qualité de l'acier, ou de ferrailles (jusqu'à la moitié de la charge) issues de la démolition des navires et des constructions urbaines. Les aciéries, consommant alors de plus en plus de ferraille, vont se rapprocher des sources de cette matière première, c’est-à-dire des agglomérations urbaines.


title: Histoire des mines de fer

text: L'usine sidérurgique de Blaenavon, dans le pays de Galles, à de Cardiff, a représenté jusqu'à 13 hauts fourneaux et employées en 1878. Le fourneau est installé sur un gisement de minerai pauvre et à l’intérieur des terres. La société propose à Percy Carlyle Gilchrist, un jeune chimiste féru d'expériences sur la déphosphoration, récemment embauché, et son cousin Sidney Gilchrist Thomas, de leur mettre à disposition un convertisseur d'une capacité de de métal. Ils y inventent le procédé Thomas, qui permet l'exploitation des minerais de fer phosphoreux. Le problème fut résolu en effet en ajoutant de la chaux et des matériaux basiques, car le phosphore a une réaction acide et passe ainsi dans les scories qui serviront d'engrais. Du coup, les usines peuvent utiliser d'immenses gisements de minerais phosphoreux jusque-là impropres à la production de l'acier, comme celui de la minette lorraine, en Allemagne moyenne, en Angleterre, etc. Les minerais phosphoreux ainsi réhabilités alimentent des usines géantes, installées près des mines alors que le four à sole jouait plutôt la proximité des villes et des ports, pour récupérer de la ferraille.


title: Histoire des mines de fer

text: Cette invention, ironiquement, précipitera le déclin de l'usine galloise qui avait accueilli Percy Carlyle Gilchrist et Sidney Gilchrist Thomas, concurrencée par le formidable développement de la sidérurgie allemande et nord-américaine Dans les années 1930, isolée de la mer et de l’approvisionnement en minerais d'outre-mer plus adaptée à cette nouvelle technologie, l'usine sidérurgique de Blaenavon va donc décider de ne pas reconstruire son haut fourneau, endommagé après des mouvements sociaux et de simplement maintenir un atelier de forges et bandages.


title: Histoire des mines de fer

text: La forte croissance économique mondiale des années 1850, entraine la recherche du minerai de fer à Ouenza en Algérie. Dès 1846, un ancien directeur des Mines, le marquis Eugène de Bassano (1806-1867) devient propriétaire de l'exploitation des mines de fer découvertes à Meboudja, entre Annaba et Aïn Mokra, et les premiers minerais extraits Aïn-Mokra furent embarqués à Bône après 1845. En plus des usines et du haut-fourneau érigés sur la côte, à l'Alaliq à au sud d'Annaba, il fait construire en 1858 un chemin de fer à voie étroite, le premier d'Afrique du Nord, suivi de la ligne Alger-Blida, en 1862. C'est le premier tronçon de la ligne de la Compagnie du chemin de fer Bône - Mokta - Saint Charles, qui relie le gisement aux vieux quais du port fluvial de la Seybouse.


title: Histoire des mines de fer

text: En 1860, le chemin de fer est prolongé jusqu'à « Aïn Mokra » par Paulin Talabot, acquéreur des droits d’exploitation de ce gisement de fer occupant environ , majoritairement italiens, auquel avaient renoncé les précédents propriétaires en raison des difficultés d’extraction et de mise à quai du minerai vers les hauts-fourneaux d’Algérie (à Alélik) ou à l'étranger par bateau.


title: Histoire des mines de fer

text: Paulin Talabot, par ailleurs propriétaire du charbon des mines de la Grandcombe et des chemins de fer du Gard demande en 1865,au géologue Émilien Dumas, un Gardois de Sommières, d’estimer l’importance du gisement algérien, puis fonde la compagnie Mokta El Hadid, dont le nom veut dire « coupure du fer », pour désigner « le chemin ou le raccourci à travers le gisement de fer ». Elle passera sous le contrôle des groupes Mallet et Pont-à-Mousson et de la Banque Mirabaud. En 1862, la Société Bassano fait faillite et revend ses droits à la "compagnie Mokta El Hadid"en 1863.


title: Histoire des mines de fer

text: En 1865, Eugène Schneider noue un accord avec Paulin Talabot pour l'arrivée massive en France des minerais algériens, qui permet à l'usine Verdié de Firminy d'élaborer des rails en acier avec des fontes réalisées à partir de lits de fusion exclusivement en minerai algérien. Etape suivante, l’installation au Creusot, de fours basés sur procédé Martin, à régénérateurs Siemens, permettant de recycler du métal urbain mais consommateurs de minerais très purs, exempts de phosphore et de soufre, justement devenus moins rares grâce à la mine de Mokta-el-Hadid.


title: Histoire des mines de fer

text: La société Mokta El Hadid édifie un nouveau quai sur le port de la Seybouse, prolongeant le débarcadère construit trois siècles plutôt par les Turcs. En 1867, la ligne ferroviaire, désormais longue de , arrive jusqu'à la darse sud du port. Ces investissements permettent en 1870, l'exploitation du minerai de fer à Beni-Saf par la Société Mokta El Hadid, l'année où le l'Ouenza, plus au Sud commence à être plus sérieusement prospecté, avant que ces projets soient ralentis par le grand krach boursier de 1873. En 1873, la société exporte 0,4 million de tonnes de fer à elle seule, avant de décliner.


title: Histoire des mines de fer

text: En 1879, Alphonse Parran, dauphin de Paulin Talabot à la tête la Compagnie jusqu'en 1901, lance l'extraction sur le gîte de Rar El Baroud, près de Béni Saf, avant de prendre en 1881 des participations dans le minerai de fer de Krivoï-Rog en Russie puis en 1886 dans la Compagnie des phosphates et des chemins de fer de Gafsa, en Tunisie, en apportant les techniques d’exploitation de Mokta et d'opérer la ligne ferroviaire Bône-Philippeville. L'épuisement progressif des mines de fer Aïn-Mokra cause la baisse régulière du trafic à Bône, avant sa reprise en 1893, brusquement grâce à l'apport des phosphates de Tébessa, en Tunisie, découverts en 1885, ce qui a motivé en la création d'un nouvel avant-port. La société Mokta El Hadid tentera de rebondir en 1917, s'entendent avec la société des Hauts Fourneaux de Rouen pour l'exploitation du Bou Kadra, mais sans aboutir. Dans les années 1950, la Société Mokta El Hadid était la dix-huitième entreprise française par la capitalisation.


title: Histoire des mines de fer

text: Le minerai de fer houiller est aussi découvert dans la seconde moitié du au Pays de Galles mais surtout dans la région de la Ruhr allemande, proche du Rhin. Des quantités importantes y sont extraites durant les années 1860 et 1870. Sa découverte a été, là aussi, le socle du développement de l'industrie sidérurgique de la Silésie (Wałbrzych), de la Westphalie (Hoerde, , Hattingen).


title: Histoire des mines de fer

text: Dans le dernier tiers du , la découverte du « gisement de Lorraine » et son minerai le plus connu, la minette lorraine, sera l'origine de la sidérurgie industrielle dans la région. Le gisement va du sud de Nancy jusqu'à la frontière du Luxembourg. Les mines se multiplient autour de Nancy et dans le Pays haut lorrain, sur la rive gauche de la Moselle, dans un quadrilatère Metz, Thionville, Esch-sur-Alzette (Luxembourg), Longwy. À partir de 1890, le bassin de Briey (mine de Tucquegnieux, Joudreville, Trieux, Piennes) se développe à une grande vitesse.


title: Histoire des mines de fer

text: Lors de la défaite après la guerre de 1870, la Moselle, premier département de la métallurgie lourde française, perd les arrondissements de Château-Salins (avec les industries chimiques de Dieuze) et de Sarrebourg. Vers 1870, les Anglais Cowper et Whitwell améliorent le procédé de chauffage de l'air insufflé dans les hauts fourneaux. Un premier essai à Maizières-lès-Metz en 1872 permet d'atteindre une température d'air chaud de se traduisant par une économie très sensible de la consommation de coke .


title: Histoire des mines de fer

text: En 1874, la découverte du procédé Thomas-Gilchrist donne toutes leurs chances aux mines de fer de la Lorraine. Après quelques années de mise au point, il est appliqué à Hayange en 1881. Affleurant le sol au nord du département, les couches de minerai de fer s'enfoncent progressivement pour atteindre 100 à de profondeur vers Auboué et sous Verdun, avec une teneur de 32 à 36 %. Les premiers sondages sont effectués de 1880 à 1883 le long de la nouvelle frontière du côté d'Auboué, Homécourt, puis à mi-chemin de Briey-Longwy. Le gisement s'avère un des plus vastes du monde : hectares .