  We define the characteristic cycle of a constructible sheaf on a smooth
surface in the cotangent bundle. We prove that the intersection number with the
0-section equals the Euler number and that the total dimension of vanishing
cycles at an isolated characteristic point is also computed as an intersection
number.
