が、「正式名称」というのは、やはりおかしい。