Piscina para niños, una sección de la piscina principal.