The surprizing complexity of reachability games