Bernard, récord del mundo en 100m libres