HAL Id: hal-00775879

A semiclassical sequence U ={Uh ∈ H2nh }h→0 satisfying 4.30 kUhkH2nh =OhK, for some fixed K ∈R, is a quantum relation associated with the symplectic relation Γ if U is a Lagrangian