Pierre Drai — French magistrate (1926–2013)