IMPLEMENTATION
        affichage_imp

REFINES
        affichage

SEES
        BASIC_IO

OPERATIONS
        affichageMenu =
                BEGIN
                STRING_WRITE ( "\n----- MENU -----\n" ) ;
                STRING_WRITE ( "1. Entrée d'une voiture\n" ) ;
                STRING_WRITE ( "2. Sortie d'une voiture\n" ) ;
                STRING_WRITE ( "3. Nombre de places libres\n" )
        END
END