Bonjour, Désolé pour l'annonce tardive. Nous allons tenir une séance raccourci du GdT aujourd'hui en B107 à partir de 11h. Ce sera une séance informel pour établir les connaissances de base des intéressés sur les topos classifiants et/ou le langage interne des topos. J'envoie un lien BBB quand j'arrive au LIPN. À bientôt, Morgan