Records de Marine Johannes en compétitions internationales