Algorithmique discrète et réseaux d'automates — Didier Pellegrin