7.1　プール