Réduction et synchronisation d'automates non… · Super Livre