Com quantos décimos de nota se faz uma reparação histórica?