Étienne Duchesne, Fibrations et logique indexée

Programme