Abstract FR:

Nous donnons une nouvelle preuve de la rationalité de la fonction zéta d'un système sofique, qui fournit un algorithme permettant de calculer cette fonction. Enfin, nous proposons une optimisation de cet algorithme