navigateur  EDI  Opera  OS