几何分析讨论班—Configuration Space Integrals and Formal Smooth Struc- tures