Fonction Optimiser(Invariant) LireLibelle() Retourner Nul Ou Caractere;
Variable /******/ M : Nul Ou Module; Principal /*******/ ... Ecran.Ecrire(M.LireLibelle()); ... Fin Principal