Vérification de la Sûreté des Systèmes Hybrides door Othman Nasri