Sardiniens konung nämncs icke uttryckligen.