Aymar Jean de Nicolaï — French magistrate