Formula One World Champion — racing driver or automobile constructor who have won the Formula One World Championship