L'oreille mathématique

\n\n\n \n \n \n \n \n \n\n \n \n\n \n Une conversation mensuelle avec un mathématicien ou une mathématicienne pour mettre en lumière le tempérament et les idées de celles et ceux qui font les mathématiques contemporaines \n\n \n ÉCOUTEZ\r\n\nNOS PODCASTS \n\n \n ÉCOUTEZ\r\n\nNOS PODCASTS \n \r\n\n\n \n\n \r\n \n \n \n Denis Guthleben\n\n \n SPOTIFYITUNESGOOGLE PODCASTSDEEZERSPOTIFYITUNESGOOGLE PODCASTSDEEZER\n \n \n \n \n \n \n\n \n \n \nDenis Guthleben\nEmission spéciale autour de l’exposition « Jean Perrin, une œuvre, un héritage »\r\n\n\n\n \n \n \n \n \n \n \n \n L\'oreille mathématique\n \n Denis Guthleben\n \n \n \n Play Episode\n Pause Episode\n \n \n \n \n \n \n \n \n \n \n \n Mute/Unmute Episode\n Rewind 10 Seconds\n 1x\n Fast Forward 30 seconds\n \n \n 00:00\n /\n \n 31:49\n \n \n \n \n \n Subscribe\n Share\n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n RSS Feed\n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n Share\n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n Link\n \n \n \n \n \n \n \n \n Embed\n \n \n \n \n \n \n \n \n\n\nTélécharger le fichier | Jouer dans une nouvelle fenêtre | Durée: 31:49\r\n\n\n\n \n \n \n \n \n \n \n \n \n \n \n\n\n \n \n \nDenis Guthleben\nEmission spéciale autour de l’exposition « Jean Perrin, une œuvre, un héritage »\r\n\n\n\n \n \n \n \n \n \n \n \n L\'oreille mathématique\n \n Denis Guthleben\n \n \n \n Play Episode\n Pause Episode\n \n \n \n \n \n \n \n \n \n \n \n Mute/Unmute Episode\n Rewind 10 Seconds\n 1x\n Fast Forward 30 seconds\n \n \n 00:00\n /\n \n 31:49\n \n \n \n \n \n Subscribe\n Share\n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n RSS Feed\n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n Share\n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n Link\n \n \n \n \n \n \n \n \n Embed\n \n \n \n \n \n \n \n \n\n\nTélécharger le fichier | Jouer dans une nouvelle fenêtre | Durée: 31:49\r\n\n\n\n \n \n \n \n Emission spéciale autour de l’exposition « Jean Perrin, une œuvre, un héritage »\n\n \n \n \n \n \n \n \n \n \n \n \n\n\n \n \n Nous proposons ce mois-ci une émission spéciale en forme de balade sonore à la découverte de l’exposition « Jean Perrin, une œuvre, un héritage » en compagnie de son commissaire, l’historien des sciences et de la recherche scientifique Denis Guthleben.\r\n\nPrésentée à l’Institut Henri Poincaré à l’occasion du 150ème anniversaire de la naissance du physicien, cette exposition rend hommage à un chercheur engagé autant sur le plan scientifique que politique. Avec érudition et vivacité, Denis Guthleben retrace les grandes étapes de la vie de Jean Perrin. Né en 1970 à Lille, le physicien travaille dans un premier temps sur les rayons cathodiques, thème auquel Adrien Rossille consacre sa chronique « médiation scientifique ». En 1926, il obtient le Prix Nobel de physique pour ses travaux sur la preuve de la réalité moléculaire. Mais si Jean Perrin a marqué l’histoire des sciences, c’est aussi, et peut-être surtout, par les grands chantiers qu’il a engagés sur le plan politique, en faveur du partage des savoirs scientifiques et du rayonnement de la science. Au sein des gouvernements Édouard Daladier puis Léon Blum, il participera ainsi à la fondation du Palais de la découverte, mais aussi, avec son ami ministre de l’éducation nationale Jean Zay, à la création du CNRS, ainsi que du Laboratoire de Chimie Physique et de l’Institut de Biologie physico-chimique dont les bâtiments jouxtent ceux de l’Institut Henri Poincaré.\r\n\n\n \n \n \n \n Pour aller plus loin :\n\n \n \n \n \n – La page de l’exposition « Jean Perrin, une œuvre, un héritage » sur le site de l’Institut Henri Poincaré\r\n\n– Trois articles signés Clotilde Fermanian Kammerer consacrés à l’exposition sur le site Images des mathématiques : L’oeuvre de Jean Perrin, La parole à Jean Perrin : les courbes sans tangente (co-écrit avec Stéphane Jaffard et Guillaume Saes) et Jean Perrin : de l’atome abstrait à l’atome physique\r\n\n– La page personnelle de Denis Guthleben sur le site CNRS – Le journal\r\n\n\n \n \n \n \n\n\n \n \n \n \n \n \n\n \n \n Generique :\nProduction : Hélène Delye pour l’Institut Henri Poincaré\r\n\nChronique « médiation scientifique » : Adrien Rossille, Institut Henri Poincaré\r\n\nDirection des programmes et coordination : Marion Liewig, Institut Henri Poincaré\r\n\nRéalisation et mixage : Perle Production / Octopus studio de production sonore\r\n\nMusique et habillage sonore : Valentin Marinelli et Clément Barbier, Studio MBC\r\n\nCrédit photo de Denis Guthleben : CNRS\r\n\n\n \n

Une conversation mensuelle avec un mathématicien ou une mathématicienne pour mettre en lumière le tempérament et les idées de celles et ceux qui font les mathématiques contemporaines ÉCOUTEZ NOS PODCASTS ÉCOUTEZ NOS PODCASTS EP 12 – Mercedes Haiech SPOTIFYITUNESGOOGLE PODCASTSDEEZERSPOTIFYITUNESGOOGLE PODCASTSDEEZER EP 12 – Mercedes Haiech Géométrie algébrique, logique, heroic fantasy et des mathématiques ouvertes à toutes et tous L'oreille mathématique EP 12 – Mercedes Haiech Play Episode Pause Episode Mute/Unmute Episode Rewind 10 Seconds 1x Fast Forward 30 seconds 00:00 / 25:56 Subscribe Share RSS Feed Share Link Embed Télécharger le fichier | Jouer dans une nouvelle fenêtre | Durée: 25:56 EP 12 – Mercedes Haiech Géométrie algébrique, logique, heroic fantasy et des mathématiques ouvertes à toutes et tous L'oreille mathématique EP 12 – Mercedes Haiech Play Episode Pause Episode Mute/Unmute Episode Rewind 10 Seconds 1x Fast Forward 30 seconds 00:00 / 25:56 Subscribe Share RSS Feed Share Link Embed Télécharger le fichier | Jouer dans une nouvelle fenêtre | Durée: 25:56 Géométrie algébrique, logique, heroic fantasy et des mathématiques ouvertes à toutes et tous C’est dans un contexte bouleversé, à distance, que Mercedes Haiech a soutenu sa thèse de mathématiques le 7 décembre 2020. Rattachée à l’Institut de Recherche Mathématique de Rennes (IRMAR) dans l’équipe de géométrie et singularité, ses travaux de recherches s’inscrivent dans le champ de la géométrie algébrique. Une discipline peu connue du grand public qui fait justement l’objet de la chronique « médiation scientifique » d’Adrien Rossille. Au fil de cette émission tournée vers les jeunes générations de mathématiciennes et mathématiciens, Mercedes Haiech surprend par la précision et la finesse de sa  pensée ainsi que par sa bienveillance. Elle raconte son parcours d’étudiante brillante originaire de Strasbourg, l’entraide qu’elle a pu connaître parmi ses camarades en mathématiques, mais aussi les difficultés que peut représenter l’arrivée à Paris dans les classes préparatoires d’un lycée prestigieux lorsqu’on vient d’ailleurs. C’est à cette période qu’elle a noué un lien fort avec l’Institut Henri Poincaré, « une seconde maison »  où elle fréquentait notamment avec assiduité le séminaire Mathematic Park.  Lauréate du Prix jeunes Talents l’Oréal-Unesco pour les femmes et la science 2020, elle rappelle notamment qu’à ce jour, en mathématiques pures, seulement 19% des maîtres de conférence à l’Université sont des femmes. Agrégée de mathématiques depuis 2017, elle enseigne depuis déjà plusieurs années, avec plaisir, et avec la conviction qu’aucun élève ne doit se sentir exclu par les mathématiques, que chacun est capable. « En mathématiques, tout devient facile si on y passe du temps, si on s’entraîne », explique-t-elle, beaucoup plus animée par l’esprit de partage et le goût du collectif que par la compétition. En fin d’émission, Mercedes Haiech nous fait découvrir un autre pan de son tempérament imaginatif en évoquant sa passion pour la littérature « heroic fantasy », en particulier les œuvres de Pierre Bottero. Pour aller plus loin : – La page personnelle de Mercedes Haiech sur le site de l’Ecole Normale Supérieure de Rennes. – Sa thèse en géométrie algébrique soutenue le 7 décembre 2020. – Un article consacré à Mercedes Haiech sur le site de la délégation régionale Bretagne et Pays de la Loire du CNRS. Generique : Production : Hélène Delye pour l’Institut Henri Poincaré Chronique « médiation scientifique » : Adrien Rossille, Institut Henri Poincaré Direction des programmes et coordination : Marion Liewig, Institut Henri Poincaré Réalisation et mixage : Centreville Télévision – One More Musique et habillage sonore : Valentin Marinelli et Clément Barbier, Studio MBC Crédit photo de Mercedes Haiech : L’Oréal – UNESCO

Une conversation mensuelle avec un mathématicien ou une mathématicienne pour mettre en lumière le tempérament et les idées de celles et ceux qui font les mathématiques contemporaines ÉCOUTEZ NOS PODCASTS ÉCOUTEZ NOS PODCASTS EP 11 – Adam Ouorou SPOTIFYITUNESGOOGLE PODCASTSDEEZERSPOTIFYITUNESGOOGLE PODCASTSDEEZER EP 11 – Adam Ouorou Les mathématiques appliquées et la recherche opérationnelle comme un champ de possibles https://maison-des-maths.paris/wp-content/uploads/2021/01/podcast_adam_ouorou.mp3 Télécharger le fichier | Jouer dans une nouvelle fenêtre | Durée: 40:27 EP 11 – Adam Ouorou Les mathématiques appliquées et la recherche opérationnelle comme un champ de possibles https://maison-des-maths.paris/wp-content/uploads/2021/01/podcast_adam_ouorou.mp3 Télécharger le fichier | Jouer dans une nouvelle fenêtre | Durée: 40:27 Les mathématiques appliquées et la recherche opérationnelle comme un champ de possibles Passionné et discret, Adam Ouorou ne possède pas de page Wikipédia à son nom, ni de profil sur les réseaux sociaux, ni de page internet personnelle… Mais un algorithme d’optimisation, fruit de ses recherches chez Orange Labs,  porte son nom depuis 2017 ! Au fil d’une conversation qui nous emmène du Bénin à Paris, en passant par Grenoble et Clermont-Ferrand, ce mathématicien passionné d’aéronautique revient sur son parcours en recherche opérationnelle, une discipline à cheval entre les mathématiques et l’informatique. Avec générosité et un certain sens de l’humour, il revient sur son enfance à Parakou (deuxième ville la plus importante du Bénin), ses premières années universitaires à Dakar (Sénégal), son désir premier de devenir pilote d’avion, puis son arrivée en France après la maîtrise grâce au soutien de son frère aîné. Attiré par les mathématiques appliquées, il obtient un DEA de recherche opérationnelle à l’Université de Grenoble et soutient une thèse sur la décomposition proximale (liée aux problèmes de routage d’un réseau de télécommunication) à l’Université Blaise Pascal de Clermont-Ferrand. Il intègre rapidement Orange Labs, pour qui il travaille  à présent depuis une quinzaine d’années. D’un tempérament calme et observateur, Adam Ouorou explique les différentes temporalités de la recherche lorsqu’elle s’exerce dans le secteur privé ou encore l’organisation des équipes. Grâce à la chronique « Médiation scientifique » d’Adrien Rossille qui s’intéresse cette fois à la théorie des graphes, le mathématicien revient aussi sur les recherches qu’il a conduites sur le déploiement de la fibre optique. Attaché à son pays d’origine et désireux de transmettre pour que d’autres jeunes mathématiciens puissent suivre à leur tour leur voie, Adam Ouorou a contribué à créer un Master de recherche opérationnelle à l’Institut des Mathématiques et des Sciences physiques du Bénin. Il soutient aussi d’autres activités de l’institut, dont le championnat de mathématiques et de Sciences physiques destiné aux élèves des classes de 3ème ; et depuis 2007 le concours « Miss Maths-Phys-Chimie », pour les filles de classe de 4ème. En fin d’émission, le mathématicien ouvert sur les autres et passionné par la musique de Gustave Mahler explique pourquoi il est important de « laisser son esprit travailler seul », « vagabonder » lorsqu’on est chercheur, qui plus est en mathématiques. Pour aller plus loin : – Un entretien avec Adam Ouorou pour la Société Française de Recherche Opérationnelle et d’Aide à la Décision (Roadef) – Le Livre Blanc de la Société Française de Recherche Opérationnelle et d’Aide à la Décision (Roadef) – Le site de l’Institut de Mathématiques et de Sciences Physiques du Bénin Generique : Production : Hélène Delye pour l’Institut Henri Poincaré Chronique « médiation scientifique » : Adrien Rossille, Institut Henri Poincaré Direction des programmes et coordination : Marion Liewig, Institut Henri Poincaré Réalisation et mixage : Centreville Télévision – One More Musique et habillage sonore : Valentin Marinelli et Clément Barbier, Studio MBC

Une conversation mensuelle avec un mathématicien ou une mathématicienne pour mettre en lumière le tempérament et les idées de celles et ceux qui font les mathématiques contemporaines ÉCOUTEZ NOS PODCASTS ÉCOUTEZ NOS PODCASTS EP 10 – Hélène Fischer SPOTIFYITUNESGOOGLE PODCASTSDEEZERSPOTIFYITUNESGOOGLE PODCASTSDEEZER EP 10 – Hélène Fischer Une attirance magnétique pour la physique et le partage des connaissances https://maison-des-maths.paris/wp-content/uploads/2020/12/podcast_helene_fischer.mp3 Télécharger le fichier | Jouer dans une nouvelle fenêtre | Durée: 39:35 EP 10 – Hélène Fischer Une attirance magnétique pour la physique et le partage des connaissances https://maison-des-maths.paris/wp-content/uploads/2020/12/podcast_helene_fischer.mp3 Télécharger le fichier | Jouer dans une nouvelle fenêtre | Durée: 39:35 Une attirance magnétique pour la physique et le partage des connaissances Nous devions recevoir Hélène Fischer alors que l’exposition intitulée « Magnétique », qu’elle a imaginée, conçue et mis en œuvre était présentée au Palais de la Découverte, à Paris. Mais la situation sanitaire et le nouvel épisode de confinement ont entraîné la fermeture anticipée de cette exposition dès le 29 octobre 2020. Tout n’est pas perdu, puisque sa conceptrice nous en parle ici avec passion et générosité, en attendant de pouvoir la visiter, à l’Espace des Sciences de Rennes entre janvier et juin 2022. Lauréate du Prix Jean Perrin 2019 de la Société Française de Physique, Hélène Fischer explique avec enthousiasme la genèse de cette exposition dont l’approche expérimentale se révèle particulièrement didactique. Pensée « pour que le public se mette dans la peau du chercheur en laboratoire », elle s’adresse, grâce à sa dimension adaptative et ses différents niveaux de lecture, à tous les publics. Retraçant son parcours académique, la chercheuse, aujourd’hui membre de l’équipe Nanomagnétisme et Electronique de Spin au sein de l’Institut Jean Lamour, unité mixte de recherche CNRS – Université de Lorraine, évoque son « déclic » pour la physique lors d’un été dans les Alpes, ses années de classes préparatoires à Metz puis d’études à l’Ecole Normale Supérieure de Cachan. Passionnée par la recherche, elle a pourtant dédié la première partie de sa carrière à l’enseignement, avant de reprendre avec un élan intact le chemin du laboratoire en 2010, tout en s’investissant dans des missions de médiation scientifique. Car ce qui constitue sans conteste le fil rouge du parcours d’Hélène Fischer, c’est le désir de partage des connaissances, qu’elle a chevillé au corps. La physicienne nous en fait la démonstration en nous racontant comment le magnétisme est au cœur du principe de l’ordinateur et de sa capacité à écrire, lire et stocker des données. Enfin, grâce à la chronique « médiation scientifique » d’Adrien Rossille, on découvre le fonctionnement des trains à sustentation magnétique présentés dans l’exposition « Magnétique »… qui devrait prochainement s’articuler avec une nouvelle exposition consacrée à la lumière, toujours imaginée et conçue par Hélène Fischer.   Le portrait d’Hélène Fischer sur le site de la Société Française de Physique. Pour aller plus loin : – Un entretien avec Hélène Fischer sur le site de l’Université de Lorraine – En savoir plus sur l’exposition « Magnética, une expo attirante », conçue par Hélène Fischer et qui a précédé l’exposition « Magnétique » – Suivre Hélène Fischer sur Twitter – Une vidéo de présentation de l’exposition « Magnétique » Generique : Production : Hélène Delye pour l’Institut Henri Poincaré Chronique « médiation scientifique » : Adrien Rossille, Institut Henri Poincaré Direction des programmes et coordination : Marion Liewig, Institut Henri Poincaré Réalisation et mixage : Centreville Télévision – One More Musique et habillage sonore : Valentin Marinelli et Clément Barbier, Studio MBC Crédit photo d’Hélène Fischer : Cédric Jacquot

L’histoire des mathématiques et les mathématiques dans l’histoire // Focus sur Nicolas Bourbaki

La physique comme manière de penser, et matière à partager

Des mathématiques appliquées à l’image, et une rentrée universitaire mouvementée en temps de Covid

L’art d’enseigner les mathématiques, et de les rendre aussi surprenantes que des œuvres d’art

Ouvrir la voie des mathématiques à toutes, et à tous, valoriser le collectif plutôt que les égos

Des mathématiques à la philosophie, transmettre la culture scientifique

Des différents temps de la recherche mathématique à l’obsession de la preuve

Des mathématiques à la littérature, et vice versa

Une conversation mensuelle avec un mathématicien ou une mathématicienne pour mettre en lumière le tempérament et les idées de celles et ceux qui font les mathématiques contemporaines ÉCOUTEZ NOS PODCASTS ÉCOUTEZ NOS PODCASTS EP 03 – Clotilde Fermanian SPOTIFYITUNESGOOGLE PODCASTSDEEZERSOUNDCLOUDSPOTIFYITUNESGOOGLE PODCASTSDEEZERSOUNDCLOUD EP 03 – Clotilde Fermanian Des différents temps de la recherche mathématique à l'obsession de la preuve https://maison-des-maths.paris/podcast-player/658/ep-03-chlothilde-fermanian.mp3 Télécharger le fichier | Jouer dans une nouvelle fenêtre | Durée: 30:03 EP 03 – Clotilde Fermanian Des différents temps de la recherche mathématique à l'obsession de la preuve https://maison-des-maths.paris/podcast-player/658/ep-03-chlothilde-fermanian.mp3 Télécharger le fichier | Jouer dans une nouvelle fenêtre | Durée: 30:03 Des différents temps de la recherche mathématique à l’obsession de la preuve Ancienne élève de l’École normale supérieure de Paris, Clotilde Fermanian, est professeure à l’Université Paris-Est Créteil et membre du laboratoire d’Analyse et Mathématiques Appliquées. Ses recherches portent sur des équations aux dérivées partielles issues de la physique, et s’attachent notamment au lien entre mécanique quantique et mécanique classique. Depuis 2019, Clotilde Fermanian est aussi Présidente du Comité de culture mathématique de l’Institut Henri Poincaré. Nous évoquons ensemble la conception des futurs espaces muséographiques de la Maison Poincaré qui ouvrira ses portes en 2021 dans l’enceinte de l’IHP. La mathématicienne revient ensuite sur son parcours, ainsi que sur les rencontres et les expériences qui lui ont donné le goût de la recherche en maths. Sous l’impulsion d’Adrien Rossille et de sa chronique « médiation scientifique » consacrée à « la notion de hasard, de Schrödinger à Newton, et inversement », Clotilde Fermanian nous parle avec passion de son domaine de recherche. Elle analyse les grandes étapes, les différents temps de la recherche en mathématiques, de l’intuition de départ à la publication scientifique. Enfin, elle dévoile avec humour un trait de son caractère (qu’elle partage avec de nombreux mathématiciens) : l’obsession de la preuve. La page personnelle de Clotilde Fermanian sur le site de l’Université Paris-Est  Créteil. Pour aller plus loin : – La bande-annonce (VF) du biopic consacré à au mathématicien indien Srinivasa Ramanujan, L’Homme qui défiait l’infini,  de Matt Brown (2017). – Revoir le débat à propos du film L’Homme qui défiait l’infini proposé par le ciné-club scientifique de l’IHP, avec Jérôme Pérez (Professeur d’Astrophysique Théorique, Laboratoire de Mathématiques Appliquées, ENSTA ParisTech) et Guillaume Duval (Mathématicien, LMI – INSA ROUEN). Generique : Production : Hélène Delye pour l’Institut Henri Poincaré Chronique « médiation scientifique » : Adrien Rossille, Institut Henri Poincaré Direction des programmes et coordination : Marion Liewig, Institut Henri Poincaré Réalisation et mixage : Studio Scopitone Musique et habillage sonore : Valentin Marinelli et Clément Barbier, Studio MBC

Une conversation mensuelle avec un mathématicien ou une mathématicienne pour mettre en lumière le tempérament et les idées de celles et ceux qui font les mathématiques contemporaines ÉCOUTEZ NOS PODCASTS ÉCOUTEZ NOS PODCASTS EP 01 – Sabrina ouazzani SPOTIFYITUNESGOOGLE PODCASTSDEEZERSOUNDCLOUDSPOTIFYITUNESGOOGLE PODCASTSDEEZERSOUNDCLOUD EP 01 – Sabrina Ouazzani Logique mathématique, informatique théorique, et esthétique des théorèmes https://maison-des-maths.paris/podcast-player/445/ep-01-sabrina-ouzzani.mp3 Télécharger le fichier | Jouer dans une nouvelle fenêtre | Durée: 26:03 EP 01 – Sabrina Ouazzani Logique mathématique, informatique théorique, et esthétique des théorèmes https://maison-des-maths.paris/podcast-player/445/ep-01-sabrina-ouzzani.mp3 Télécharger le fichier | Jouer dans une nouvelle fenêtre | Durée: 26:03 Logique mathématique, informatique théorique, et esthétique des théorèmes D’une école d’ingénieur post-bac en informatique et gestion à Montpellier à la faculté des sciences où elle a obtenu un Master en informatique théorique, la jeune mathématicienne Sabrina Ouazzani, 29 ans,  donne l’exemple d’un parcours atypique et brillant. Post-doctorante à l’École polytechnique en 2018-2019, elle est aussi lauréate de la bourse « Pour les femmes et la science » de la Fondation L’Oréal et de l’Unesco. Passionnée par son champ de recherche, la scientifique évoque avec Adrien Rossille la théorie de la calculabilité à temps infini et les célèbres machines de Turing. Elle nous parle aussi du grand mathématicien américain Donald Knuth, de la dimension philosophique et humaniste des mathématiques, ou encore de l’harmonie de certaines preuves et de la beauté du théorème d’incomplétude de Gödel. La page personnelle de Sabrina Ouazzani sur le site de l’École polytechnique. Pour aller plus loin : – Le livre Raisonnements divins, de Martin Aigner et Günter M. Ziegler (Springer ; 2001). – La conférence de Claude Viterbo au Collège de France intitulée « Le rôle du jugement esthétique en mathématiques : qu’est ce qui fait la beauté d’un théorème ? » – La page personnelle du mathématicien Donald Knuth à l’université de Stanford. – La série documentaire « Grande traversée : l’énigmatique Alan Turing » d’Amaury Chardeau sur France Culture. Generique : Production : Hélène Delye pour l’Institut Henri Poincaré Chronique « médiation scientifique » : Adrien Rossille, Institut Henri Poincaré Direction des programmes et coordination : Marion Liewig, Institut Henri Poincaré Réalisation et mixage : Studio Scopitone Musique et habillage sonore : Valentin Marinelli et Clément Barbier, Studio MBC

Logique mathématique, informatique théorique, et esthétique des théorèmes