Proporcionalidad (piscina)