Une Semantique Pour Les Arbres Non Deterministes.