Text this: The devil in Thomas Mann's "Doktor Faustus" and Paul Valery's "Mon Faust" /