El espacio dual de los grupos precompactos