J. 5.4. Vérifications
J. 5.4.1. Contrôles a priori
J. 5.4.2. Contrôles d'exécution