Hanane : PositionState -> doesn't work