3.87 Le programme de vérification du fonctionnement des procédures