Talk given at ENEI 2013. Jaime Villate. Porto, 2013-03-27.