Freeman Dyson and his gigantic sphere