Frederik Biot's international records