Let X be a definable sub-set of some o-minimal structure. We study the spectrum of X , in relation with the definability of types.