F1の燃料って、以前は「欧州のガソリンスタンドで販売されているハイオクガソリン」という規定だった気がするんだが、
今は違うんだっけ?