CorrectionDuModule : Entier Lecture Public Trace;
Principal /*******/ Variable /******/ M1 : Nul Ou Module; Debut ... Ecran.Ecrire(M1.CorrectionDuModule); /* Ecrit la correction du module. */ ... Fin Principal