已在正式的证券交易所上市却在证券交易所之外进行交易的证券买卖市场指的是（）。