Automates finis et applications — Jean-Éric Pin