Some old and new problems in combinatorial geometry I: Around Borsuk's problem - Gil Kalai (2015)