compactifier (V) — compactification (N)
compactification : Action de compactifier, construction explicite d'un compactifié.