We mourn with Eugénie, or the death of the Prince Imperial, song, written by