Gérard Gélineau-Larrivet — French magistrate (1936–2023)