5.2　プール修繕