Cognitive optimisation of Videotex dialogues: a formal—empirical approach