A presentation at the PhilMath Intersem in Paris in June 2019