En Operatext * ).