7.5　プール