樽型空間
樽型空間は Bourbaki (1950) によって考えられた。