Liste des principaux records établis dans le championnat du monde des pilotes de Formule 1, créé en 1950. : présent en 2022