Oficialmente emplea su denominación en catalán, Sant Antoni de Portmany