Pierre-Émile Merveilleux du Vignaux — magistrate and senior French official of the 19th century