Récords de Maurice Cholet en competiciones internacionales