Approximation semi-classique de l'equation de Heisenberg

We study the semi-classical approximation for the solution of Heisenberg equation in terms of pseudo-differential operators and establish a semi-classical version of Egorov's theorem. As an application of these results, we get the classical limit of quantum mechanical correlation functions for a class of non-bounded observables.