`assert node == null or node.key < key` ou `assert node != null implies node.key < key` au choix