Su denominación oficial es