Exposés

10:30: Étienne Duchesne, Fibrations et logique indexée