Curriculum Vitae
Avertissement préliminaire : Comme je suis à la retraite depuis plus de trois ans, je n’ai plus vraiment besoin de candidater sur un poste quelconque, donc je vais faire dans le "brut de décoffrage", insistant à la fois sur les aspects positifs, bien sûr, mais aussi sur les aspects négatifs, une fois n’est pas coutume.
Martial LEROY est...
Professeur agrégé de mathématiques
Ancien élève de l’ENS Cachan
Titulaire d’un DEA d’analyse fonctionnelle
Titulaire du M2 LMFI (Logique Mathématique et Fondements de l’Informatique)
Professeur du secondaire en position de détachement dans le supérieur.
Retraité depuis le 1er septembre 2020.
État civil
Né le 10 mai 1958 (65 ans)
Marié, un enfant, un petit-enfant
Ancienne Adresse professionnelle : IUT de Cergy-Pontoise, Antenne de Sarcelles / Département GEII / 34, boulevard Henri Bergson / 95200 Sarcelles / France
Mail : martial DOT leroy DOT zfc AT gmail DOT com
Formation
1975 : Bac C, Académie de Créteil, mention Bien (ça commençait bien, ça s’est vite dégradé).
1975-1976 : Maths Sups au Lycée Chaptal, Paris.
1976-1977 : Maths Spé M’(l’ancêtre de la MP*) au Lycée Chaptal, Paris.
Echec à tous les concours, sauf aux ENSI (ouais, bof)
Obtention du DEUG MP par équivalence.
1977-1978 : 5/2 M’, Lycée Chaptal, Paris.
Ratage de l’admissibilité à ε aux trois ENS.
Sous-admissibilité à l’ENS Ulm (GRRR...)
Ré-obtention du DEUG MP par équivalence.
1978-1979 :
Licence de mathématiques, Université Pierre et Marie Curie, Paris 6.
Modules suivis :
Topologie, mention Très Bien.
Fonctions analytiques, mention Très Bien.
Intégration, mention Bien.
Calcul différentiel, mention Bien.
Algèbre commutative, mention Passable.
J’avais eu 14,5 à l’écrit, je me suis fait descendre à l’oral par une personne mal embouchée qui voulait à tout prix me faire utiliser le lemme chinois pour montrer que ℤ/nℤ est un corps ssi n est premier.
Succès au concours de l’ENSET, devenue depuis ENS Cachan, puis ENS Paris-Saclay.
1979-1983 : Scolarité à l'ENS Cachan
1979-1980 :
Premier semestre : Maîtrise de mathématiques pures, Université Paris 6.
Modules suivis :
Espaces vectoriels topologiques, mention Assez Bien.
Analyse fonctionnelle appliquée, mention Passable.
Théorie des nombres, mention Assez Bien (ça commençait à se dégrader).
Second semestre :
Inscription à 4 modules : Fonctions analytiques II, Théorie des groupes, Distributions, Analyse numérique approfondie. Hélas, cette sage décision s'est vite transformée en un semestre sabbatique, ce qui explique la reprise difficile à la rentrée suivante.
1980-1981 : Préparation à l'agrégation de mathématiques. Ratage de l'admissibilité à ε.
Obtention du CAPES théorique de mathématiques, rang : 262 (je ne l'avais pas préparé une seule seconde).
1981-1982 : Préparation à l'agrégation de mathématiques. Rebelote. Ratage de l'admissibilité à ε/2.
Obtention d'un AEA de géométrie algébrique et théorie des nombres.
Modules suivis :
Groupes algébriques et transcendance avec Daniel Bertrand, Paris 6 (je ne me souviens plus bien mais en gros ça parlait de tout, sauf de groupes algébriques et de transcendance), mention Passable.
Théorie algébrique des nombres avec Léonce Lesieur, Paris 11, mention Passable.
J'ai également suivi:
le cours de Jean-Louis Verdier : "Algèbre et Géométrie algébrique", Paris 7, auquel je n'ai strictement rien compris,
le cours de Michel Waldshmidt : "Théorie des hauteurs", Paris 6, idem,
et le cours de Georges Poitou : "Théorie analytique des nombres", Paris 11, dont j'ai gardé un très bon souvenir : lors de chaque séance de 2 heures, le cours proprement dit durait 20 minutes, le reste du temps étant consacré à justifier toutes les interversions de limites, de séries et d'intégrales qui avaient été faites pendant les vingt premières minutes.
A noter que comme j'ai l'esprit particulièrement vif, j'ai compris à la fin de l'année que je n'étais pas fait pour faire de l'algèbre.
1982-1983 : Tentative de mémoire de DEA sur les fonctions analytiques p-adiques et les équations différentielles p-adiques, avortée pour cause d'essayer malgré tout de décrocher l'agreg.
Admissibilité à l'agrégation. Echec à l'oral (en analyse je pouvais choisir indifféremment l'une ou l'autre des leçons proposées, ne connaissant rien à aucun des sujets).
1984 : Deuxième admissibilité à l'agrégation. Echec à l'oral (même punition même motif).
1986 : CAPES pratique de mathématiques, mention Assez Bien. Troisième admissibilité à l'agrégation. Abandon dès la première épreuve orale.
1988 : Succès au concours de l'agrégation de mathématiques, rang : 78. J'étais admissible ras la barre mais j'ai explosé le barème à l'oral : 62/80 en algèbre : "Exemples de corps", et 69/80 en analyse : "Espaces vectoriels normés". Si j'avais fait un peu moins l'imbécile à l'écrit en rendant une feuille quasi-blanche en analyse numérique j'aurais probablement été classé dans les trente premiers, ce qui m'aurait à coup sûr permis d'obtenir un poste en classe prépa, et le livre de théorie des ensembles n'aurait jamais été écrit. CQFD.
1989-1990 : DEA d'analyse fonctionnelle, Université Paris 6, mention Assez Bien.
Modules suivis :
Initiation à l'analyse fonctionnelle et à la théorie descriptive des ensembles, par Jean Saint-Raymond (13/20).
Méthodes d'analyse non linéaire et applications à la résolution d'équations aux dérivées partielles, par Haïm Brezis (10/20).
Mémoire de DEA sous la direction de J. Saint-Raymond : "Travail de synthèse sur les théorèmes d'uniformisation" (15/20).
2003-2004 : Master 2 "Logique mathématique et Fondements de l'informatique" (LMFI), Université Paris-Diderot (Paris 7), mention Assez Bien.
Cours suivis :
Théorie des modèles et théorie des ensembles, par Gabriel Sabbagh (11/20). Je profite de l'occasion pour saluer ce Grand Monsieur, qui nous a fait rire à en pleurer en certaines occasions, le summum étant atteint le jour où̆ il nous a expliqué le théorème de Ramsey en partant de "La vie sexuelle de Catherine M"... un moment inoubliable, et ce qui est génial c'est que ce jour-là, tout le monde a compris.
Récursivité / Calculabilité, par Ramez Labib-Sami (12,5/20).
Théorie des ensembles et théorie descriptive des ensembles, par Alain Louveau (12/20).
Théorie des modèles : les outils classiques, par Patrick Simonetta (10/20).
Mémoire de master sous la direction d'Alain Louveau : "Les nombres chromatiques boréliens"(15/20). Pour ceux qui connaissent, j'ai travaillé notamment sur la dichotomie KST (Kechris-Solecki-Todorcevic).
Résultat au final peu glorieux, mais il faut dire à ma décharge que comme je travaillais en même temps je ne pouvais suivre qu'un cours sur deux, ce qui ne facilite guère les choses, surtout au vu de la complexité du sujet.
2004-2006 : Inscription en thèse sous la direction d'Alain Louveau. Pas de sujet de thèse précis, mais j'étais censé travailler sur des généralisations de dichotomies connues. Thèse avortée en 2006, pour cause de problèmes personnels à l'époque, et aussi de profonde incompétence de ma part dans le domaine. J'ai appris très récemment qu'Alain Louveau a tendance à compliquer des choses qui n'étaient déjà pas simples.
2010-2019 : Etude approfondie, en autodidacte, de la théorie des ensembles. Lecture, en 2018, du livre de Patrick Dehornoy : "La théorie des ensembles - Introduction à une théorie de l'infini et des grands cardinaux", qui a fait grandement évoluer ma vision et ma compréhension du sujet.
Janvier-Mars 2020 : J'ai suivi en auditeur libre à Paris 7 le cours de Boban Velickovic : "Théorie des ensembles : les outils classiques", dans le cadre du M2 LMFI, consacré en particulier au forcing. (Le lecteur pourra se demander pourquoi je ne l'avais pas fait en 2004. La réponse est simple : comme j'ai toujours de la chance dans ces trucs là, il s'avère que, depuis la création de ce M2 en 1987, il y a une seule année où le forcing n'a pas été enseigné, je vous laisse deviner laquelle). Le cours a commencé par l'étude d'un certain nombre de principes combinatoires, dont les invariants cardinaux, l'axiome de Martin et le principe diamant. Puis est venue l'étude générale des modèles de ZFC, suivie de la présentation de l'univers des ensembles constructibles de Gödel. Ensuite on est entrés dans le vif du sujet, avec une présentation axiomatique assez originale du forcing, suivie des applications classiques : consistance de l'hypothèse du continu, de sa négation, et de la négation de l'axiome du choix. Lors des derniers cours on a défini le forcing itéré, ce qui nous a permis de démontrer la consistance de l'axiome de Martin. Ainsi, la boucle a été bouclée. J'ai beaucoup appris avec Boban, d'autant qu'il m'a invité par la suite à lire quelques articles supplémentaires pour approfondir mes connaissances sur le forcing. Je pense avoir enfin compris la philosophie du forcing, et la partie D de mon livre lui doit beaucoup.
Janvier-Avril 2021 : J'ai suivi en auditeur libre (par zoom) à Paris 7 le cours de Boban Velickovic : "Large Cardinals". (Cette année, la plupart des cours du M2 LMFI avaient lieu en anglais). A noter que j'ai "latexisé" le cours de 2020 sur le forcing, et celui de 2021 sur les grands cardinaux. Le résultat des courses est tout entier inclus dans mes Chapitres 19, 20, 21, 24 et 25.
Janvier-Avril 2021 : J'ai également suivi en auditeur libre (par zoom) à Paris Sorbonne un cours de Brice Halimi intitulé "Philosophie des Mathématiques". Pour vous en dire un peu plus il faudra que je relise très sérieusement mes notes de cours.
17 mai 2021 : J'ai fait une présentation par zoom sur le Wholeness Axiom de Paul Corazza.
Expérience professionnelle
Août 1975 : Employé vestiairiste à la piscine d'Epinay-sur-Seine (si si).
Juillet-août 1976 : Idem.
Août-septembre 1978 : Caissier-secrétaire à la piscine d'Epinay-sur-Seine (ce fut ma première promotion).
1975-1979 : Nombreux cours particuliers à domicile pour m'aider à payer mes clopes pendant mes années de prépa.
Courant de l'année 1979-1980 : Stage d'un mois au lycée Racine à Paris (8 heures par semaine). D'abord observation, puis intervention en live dans des classes de Seconde C et de Terminale B.
1983-1985 : Service National au titre de la coopération. Professeur de mathématiques au Lycée Dr Benzerdjeb, Tlemcen, Algérie. Classes enseignées : 1ères S et Terminales S.
1985-1986 : Stage CPR (l’ancêtre de l'IUFM et de l'année M2 professionnalisante de maintenant). Affectation au lycée de Villepinte (qui n'avait pas de nom à l'époque). Formations pédagogico-administratives diverses. Stage de 3 mois au lycée d'Aulnay-sous-Bois, dans la classe de Terminale C de Serge Vinaty (paix à son âme). A noter que, le prof ayant tapé une dépression pendant mon stage, je me suis retrouvé pendant 2 semaines en immersion totale, seul avec les élèves. Expérience positive et plutôt sympathique.
1986-1987 : Professeur certifié bi-admissible, nommé à titre provisoire (TA : Titulaire Académique, ce statut n'existe plus) au Collège Fabien à Saint-Denis. J'ai appris à cette occasion qu'il n'y a pas besoin d'être mort pour avoir une idée assez précise de ce que peut être l'Enfer...
1987-2012 : Professeur bi-admissible, puis agrégé, au Lycée Fernand Léger, devenu en 1995 le Lycée de la Tourelle, à Sarcelles.
Classes enseignées : Secondes techniques, secondes générales, 1ères et Terminales F, devenues ensuite STI (ancêtres de la section STI2D), 1ères et Terminales E, devenues ensuite SSI , 1ères et Terminales S-SVT, BTS Microtechniques, devenu CIM (Conception et Industrialisation en Microtechniques), BTS Informatique Industrielle, devenu IRIS (Informatique pour les Réseaux, l'Industrie et les Systèmes Techniques), devenu "j'sais pas quoi" récemment.
J'y ai également exercé un certain nombre de fonctions annexes : professeur principal, animation d'un groupe de préparation à l'agrégation interne, stages GRETA, membre élu au CA, accueil de stagiaires etc.
2012-2013 : Affectation à titre provisoire, en détachement, au Département GEII (Génie Electrique et Informatique Industrielle) de l'IUT de Cergy-Pontoise, Antenne de Sarcelles.
2013-2020 : En poste de PRAG à l'IUT de Cergy-Pontoise, Antenne de Sarcelles, Département GEII. J'y ai enseigné les mathématiques, les outils logiciels et la programmation en C, j'ai également participé à des projets pluridisciplinaires. J'ai été Directeur des Etudes 2ème année de 2015 à 2019. J'ai assuré également chaque année le suivi pédagogique de deux ou trois de nos étudiants de 2ème année lors de leur stage obligatoire de 10 semaines en fin de scolarité.
En récompense de 40 années de "bons et loyaux services", j'ai été promu à la Classe Exceptionnelle des Agrégés au 1er septembre 2019.
Enfin, j'ai demandé à faire valoir mes droits à la retraite (selon la formule consacrée) au 1er septembre2020. Je n'ai jamais regretté cette décision, car le métier devient de plus en plus difficile, et le fait de ne plus avoir d'obligations professionnelles me laisse du temps libre pour me consacrer à d'autres activités.
Activités et expériences complémentaires
1985-1988 : Vacations à l'IUT de Villetaneuse, département "Analyste programmeur", qui s'appelle désormais "Génie informatique". Enseignement de la partie analyse du programme de 1ère année.
1987-1988 : Animation d'un stage GRETA de remise à niveau pour des demandeurs d'emploi, niveau BEP/Bac.
1991-1992 : Khôlles en math sup' au lycée Gustave Monod à Enghien, khôlles en math sup' et math spé' TA au lycée technique de Saint-Ouen l'Aumône, dont je ne me souviens plus du nom. Vacations à l'IUT de Saint-Denis, département Génie Mécanique et Productique.
1992-1993 : Khôlles en math sup' et math spé' M au lycée Camille Pissaro à Pontoise.
1995-1997 : Animation d'un stage MAFPEN : "remise à niveau" destiné à des collègues désirant préparer l'agrégation interne de mathématiques (165 heures environ de formation sur les deux années). A noter qu'en 1996 nous fûmes la seule prépa de France et de Navarre à obtenir 100% de réussite à ce concours, puisqu'un seul de mes stagiaires s'y présenta, et il fut reçu.
1996-1998 : Cours au GRETA pour une formation qualifiante mais non diplômante de niveau BTS Informatique Industrielle.
1997-1998 : Découverte (tardive) de l'informatique et d'Internet (outil puissamment addictif).
1999 : Création (sans grand lendemain) de mon premier site Internet.
2002-2004 : Membre élu au Conseil d'Administration du Lycée de la Tourelle.
Depuis 2002 : Collaborateur du site les-mathematiques.net, où de nombreux échanges m'ont permis d'aider certains intervenants, et surtout de me faire aider à avancer dans mes apprentissages. A noter que ces échanges m'ont également permis de faire la connaissance de Christophe Chalons, personnage éminemment sympathique et grand set-theorist devant l'Eternel, qui est devenu à la fois un ami personnel et mon principal coach en matière de logique et de théorie des ensembles.
2007 : Ecriture d'un long roman policier : "La Zone verte", qui, pour des raisons d'éthique, n'a été publié sur ce site que le 1er septembre 2020.
2010 : Accueil pendant deux semaines de deux stagiaires "en situation" venant de subir les épreuves du CAPES théorique.
2011 : Tuteur pédagogique pour un jeune enseignant en difficulté dans un établissement voisin. A noter qu'en temps normal j'ai horreur de ce genre de mission, mais elle m'avait été "gentiment proposée" par mon inspectrice (traduction : "si tu refuses t'es dans le collimateur de l'IPR, et tu n'auras jamais la hors-classe"), donc j'ai accepté, ce qui fut une expérience très enrichissante au point de vue humain, mon "protégé" n'ayant manifesté aucune forme de collaboration et m'ayant posé au cours de l'année un nombre impressionnant de lapins. C'est la vie.
2011-2012 : Vacations au département GEII de l'IUT de Cergy-Pontoise, Antenne de Sarcelles : environ 60 heures équivalent-TD.
2010-2021 (avec un gros trou de 2012 à 2018, le temps d'être pleinement opérationnel dans mes nouvelles fonctions à l'IUT) : Ecriture d'une monographie intitulée : "La théorie des ensembles comme fondement des mathématiques : de la théorie naïve au forcing et aux grands cardinaux". A noter que je viens de terminer la rédaction de ce livre et que j'en suis actuellement à la phase relecture. En attendant que je trouve un éditeur (très hypothétique), le livre est publié dans son intégralité sur ce site.
Eté 2018 : Rédaction d'un essai sur "La hiérarchie des grands cardinaux - Hypothèses strictement plus fortes que ZFC" (144 pages environ) qui a été plus ou moins le brouillon des Chapitres 24 et 25 du livre ci-dessus mentionné.
Février 2019 : Rédaction d'un essai "La philosophie de ZFC" destiné essentiellement à mes potes de Cachan, qui ont un niveau transcendantalement plus élevé que le mien en mathématiques, mais qui se plaignent de ne rien comprendre à la set theory. A noter que ce manifeste m'a beaucoup aidé à y voir clair dans la restructuration de mon livre.
Informatique
Bonne maîtrise des outils usuels et d'Internet.
Très bonne connaissance du logiciel Scientific Work Place 5.5.
Bonne connaissance du langage C et de l'environnement Linux.
Rédaction de plusieurs programmes permettant de mieux comprendre le comportement asymptotique présumé de la suite de Syracuse.
D'assez bonnes notions de LaTeX.
Langues
Verlan : lu, écrit et parlé couramment (je suis notamment capable, mais seulement dans certaines circonstances très particulières, de chanter en verlan la chanson de Renaud : "Marche à l'ombre"...)
Argot : lu, écrit et parlé couramment. J'ai lu pour ainsi dire toute la série des San-Antonio, ceci explique donc cela.
Anglais : lu, écrit et parlé (presque) couramment.
Allemand : niveau scolaire.
Espagnol : quelques vagues notions.
Arabe moderne : quelques bribes.
Loisirs et passions
Musique des sixties et seventies : Ten Years After, Creedence Clearwater Revival, Led Zeppelin, The Who, The Rolling Stones, The Doors, Dire Straits, John Fogerty etc.
Passionné de littérature populaire américaine, en particulier Howard Phillips Lovecraft, Edgar Rice Burroughs, Philip K. Dick.
Grand fan de Michel Houellebecq. J'ai lu toute son oeuvre. J'ai lu très récemment son dernier roman : "Anéantir". Génial, à condition de zapper les cent dernières pages. J'aimerais bien rencontrer le monsieur, pour lui demander ce qui lui est passé par la tête à ce moment-là.
Lecture et écriture de romans policiers.
La conjecture de Syracuse.
La théorie des ensembles (pour ceux qui n'avaient pas déjà remarqué).
Voyages : Allemagne, Angleterre, Espagne, Italie, Maroc, Malte etc. (Il y a aussi de très beaux paysages en France, pas seulement du côté de Sarcelles). Rêve secret d'aller un jour en Californie rencontrer les héritiers d'Edgar Rice Burroughs.
Dégustation de whiskies de marques diverses, en particulier des single malt.
Divers
Titulaire du Permis B. Ça me suffit amplement, je me vois mal conduire un poids lourd ou une bécane, je trouve que 4 roues c'est plus rassurant!
Titulaire du BNS : Brevet National de Secourisme. Note importante : si vous avez des problèmes cardiaques pointez-vous de préférence avec votre défibrillateur, ce sera plus sûr, car mes cours remontent à 1979, ça commence à dater!
Décorations : Aucune, à part ma récente promotion à la classe exceptionnelle, qui m'a occasionné quelques émotions.