Piscina municipal, LOS HINOJOSOS