Jean-Paul Gilli — French jurist (1930–2023)