PETIN Nicolas ( 1676 - ? )