DERETZ Antoine ( ? - 1757 )