Finitude de l’extension de Q engendrée par des traces de Frobenius, en caractéristique finie