Doit-on dire un ou une compactification ?