Définition : Contrôle externe formel