Piscina municipal olímpica, LA ROBLA