Arithmetic Properties of the Frobenius Traces Defined by a Rational Abelian Variety (with two appendices by J-P. Serre). (27th June 2016)