Michel Jeannoutot — French magistrate