Separation de semi-algebriques