仁楽でとんこつラーメンを食べましたが、隣ですごく小さなどんぶりのラーメンを食べてる人を見かけました。あれは何ラーメンなんでしょうか？