vérification par ACSP