Semi-Classical analysis