A hugely pleasant surprise. More details later, when I’ve had to write them up. January 20, 2019 Jeremy Cherfas
