Olivier, Auguste, d. 1847