80, n. 1, do Código Civil diz que, quando a impossibilidade objectiva,) definitiva e parcial da prestação seja imputável ao devedor, "o credor tem a faculdade de resolver o negócio ou de exigir o cumprimento do que for possível, reduzindo neste caso a sua contraprestação, se for devida; em qualquer dos casos, o credor mantém o direito à contraprestação”.