  We prove that the abelian $K$-surfaces whose endomorphism algebra is a
quaternion algebra are parametrized, up to isogeny, by the $K$-rational points
of the quotient of certain Shimura curves by the group of their Atkin-Lehner
involutions.
