value reconnaît : determ__état -> string -> bool = 2 "reconnait";;