Tim Hardaway Jr. active sa « player option » de 19 millions de dollars à Dallas