Мм, может, все таки официальное название, которое используется русскоязычными людьми в повседневной жизни в первую очередь, - это более грамотный вариант? Я выше и писала, что есть используемый разговорный. Грамматически он верный.