John Louis Petit history