Récords de Jan Vesely en competiciones internacionales