On graph invariants given by linear recurrence relations

On considere la theorie des «invariants donnes par une relation de recurrence lineaire» par lesquels il y a des exemples dans la litterature sur les graphes, comme les polynomes chromatiques et bichromatiques. On reprend la theorie des «reussite systems» de Clurch et Rosser, en calcul lambda et en algebre universelle, pour la generaliser et l'appliquer a la theorie des graphes, et on obtient de nouveaux des variantes de graphe