what is the difference in time from the leader for the only portuguese driver to have scored a formula one podium finish ?
+3.635