Analyse micro-locale et opérateurs pseudo-différentiels

dans le cadre si convivial des bourbakettes, je vais généraliser le concept de dérivation. En profitant de l'exposé de Marco sur les distributions, je vais introduire les opérateurs pseudo-différentiels et leur propriétés, ainsi que (si le temps le permet) une leur intéressante application en analyse microlocale.