SAÉ 1.2 : Vérifier un système