compactifiée