We examine the arithmetic of quaternions algebras and show how it helps counting certain abelian varieties over finite fields.