Le roman de la momie, Théophile Gautier