Robert de Vaugondy, Didier,1723-1786.