Davesne, Pierre Just, ca. 1745-1783, librettist