en piscina corta, con 15:42,39, un récord que databa de 1982.