Le fonti islamiche nella biografia di Sant'Elia e la lettera di Teodosio