Assim, cremos que estão provados documentalmente os factos cuja demonstração seria necessária para se concluir que a exequente goza do direito de retenção, designadamente a traditio da coisa, o pagamento das quantias cujo somatório se traduziria no crédito resultante de despesas feitas por causa dela e o não cumprimento imputável ao promitente vendedor.