E, contrariamente ao pretendido pela recorrente, para a execução específica do contrato, nos termos do artigo 830, n.1, do Código Civil, não se exige o incumprimento definitivo, mas a mora do devedor.