Safety Verification of Deep Neural Networks (Version intégrée)