Vérification des contrats et des règles dans le fabric ACI