Wailly, Jules de (pseud. Devorme), 1806-1866, librettist