80, n. 2, do Código Civil diz que, quando a impossibilidade objectiva,) definitiva e total da prestação seja imputável ao devedor, "o credor, independentemente do direito à indemnização, pode resolver o contrato”; o art.