1972年の世界メーカー選手権