Were the french librettos of The Tales of Hoffmann and Le prophète written by the same person?