Portalis, Jean-Étienne-Marie, 1746-1807