9.1.5.2.2.2. Sous-section 2 : Démonstration de sécurité