Expository paper on the relations between perturbation theory of pseudo-differential operators, finiteness theorems and deformations of Lagrangian varieties.