Procedure LISTER_SERVICE_GUICHET spec