Martin Baillon: Continuity in Type Theory. (Continuité en théorie des types). University of Nantes, France 2023