E, assim sendo, o incumprimento dos mesmos tem de ser declarado judicialmente, em acção intentada para esse efeito, para que se conclua em conformidade e se condene, se disso for caso, a requerida no pagamento ao requerente do valor correspondente ao dobro do sinal.