GIRARDIN Pierre ( 1693 - ? )