IVA, locação financeira, cálculo pro rata, ónus de prova, fiscalização concreta da constitucionalidade, princípio da segurança jurídica, direito comunitário, questão prejudicial, reenvio prejudicial