Leroux, Pierre (1797-1871)