Jean-Claude Bonato's international records