[EN] Since Hochster's work, spectral spaces have attracted increasing interest. Through this note we give a new self-contained and constructible topology-independent proof of the fact that the set of proper ideals of a ...