Determinisation ok