[EN] A ball structure is a triple B = (X, P, B) where X, P are nonempty sets and, for any x ∈ X, α ∈ P, B(x, α) is a subset of X, which is called a ball of radius α around x. It is supposed that x ∈ B(x, α) for any x ∈ X, ...