Robert de Vaugondy, the family of