nonlinear eigenvalue, non-seladjoint operators, semiclassical analysis, 
trace formula