  For semiclassical problems we establish upper bounds on the number of
resonances in boxes of size $h$ along the real axis, in terms of the dimension
of the set of trapped trajectories. The proof uses second microlocalization.
