Horofunctions on graphs of linear growth

Nous montrons qu'un graphe à croissance linéaire admet un nombre fini d'horofonctions. Cela donne une preuve courte et simple que chaque groupe infini de type fini à croissance linéaire est virtuellement cyclique.