Piscina municipal, PEDRO MARTINEZ