Complété d'un espace