"Microlocalization of rational Cherednik algebras (joint work with M.Kashiwara)" We construct a microlocalization of the rational Cherednik algebras H of type S_n. This is achieved by a quantization of the Hilbert scheme of n points in C^2. We then prove the equivalence of the category of H-modules and the one of modules over its microlocalization under certain conditions on the parameter. Raphael Rouquier.