Gisèle Halimi (1927-2020)