7.2　プール