Quels sont les noms employés dans les autres pays pour désigner les différents types d’essence ?