Qual é o tamanho do campeão Lando Norris na história da Fórmula 1?