20141206 sports.more-sports.others: Manaudou sprint king as world records hit twelve