Leuven, Adolphe de, 1800-1884, librettist