J. 9.3. Vérifications

J. 9.3.1. Contrôles a priori

J. 9.3.2. Contrôles d'exécution