Gruet, active 1680-1719, tailor, of Brussels