Mercier, Paul (pseud. Pol Mercier), d. 1874, librettist