Señor Juan León, aunque le moleste por el anonimato, creo recordar que esa alberca era la conocida como la de la Eulalia.