Jean-Pierre Paradis 1940-2019