On the Rational Points of Abelian Varieties over Zp Extensions of Number Fields.
We prove a 2-terms Weyl formula for the counting function of the spectrum of the Laplace operator in the Euclidean disk with a sharp remainder estimate .