Portalis , Jean-Etienne-Marie (1745-1857) -- Biographies