J. 7.4. Vérifications
J. 7.4.1. Contrôles a priori
J. 7.4.2. Contrôles d'exécution