operational semantics - French English Dictionary