Deschamps, Jacques-Marie, d. 1826, librettist