pagarse al arrendador la indemnización pactada en el contrato para este caso o, en su defecto, una