automates fonctionnels, résultats à vérifier