This introduction to semi-classical analysis is an extension of a course given by the author at the University of Nankai. It presents for some of the standard cases presented in quantum mechanics books a rigorous study of the tunneling effect, as an introduction to recent resear…