Piscina municipal, MIGUEL ESTEBAN