Patto col diavolo e conversione nel «Theophilus» e nel «Basilius» di Rosvita di Gandersheim