General theory of partial differential equations and microlocal analysis