Les vérifications portent sur la bonne exécution des opérations mentionnées au N. 5.5.2 et sur les spécifications du N. 5.5.3.
