López, Bernard de, 1813-1896, librettist