// cible-par-suppleance.h

// << Algorithmique du texte >>
// Maxime Crochemore, Christophe Hancart et Thierry Lecroq
// Vuibert, 2001.

Etat cibleParSuppleance(Automate M, Etat p, Lettre a);