VILLEMIN Auguste ( 1816 - ? )