Réduction et synchronisation d'automates non ambigus — Arturo Carpi