PETIT Jean-Philippe ( 1751 - ? )