La Ville De Mirmont, Alexandre Jean Joseph De, 1783-1845, librettist