"Petroleum products (a) gasolines and naphthas, (b) kerosenes (including jet fuels), (c) gas oils (including diesel fuels, home heating oils and gas oil blending streams)"
" Produits dérivés du pétrole: a) essences et naphtes, b) kérosènes (carburants d'aviation compris), c) gazoles (gazole Diesel, gazole de chauffage domestique et mélanges de gazoles compris)