池の周辺の補修工事