Martingales, the Malliavin calculus and Hörmander's theorem · Study