Finitude de l’extension de \(\mathbb{Q}\) engendrée par des traces de Frobenius, en caractéristique finie