divxtotal que es contrato de arrendamiento