Execução de julgado, trânsito em julgado, dedução de iva, reembolso, princípio da tutela jurisdicional efectiva