Les Romains l' appelaient Portus Magnus ( grand port ) , que le ibicencos s' est adapté à portmany .
Il a été nommé " Portus Magnus " par les Romains , mais les ibicencos n' ont jamais pris la peine de lui donner un nom .