Abstractions événementielles et approximations pour la vérification des systèmes dynamiques hybrides