Stav dette: Differential topology, foliations and Gelfand-Fuks cohomology