Oscar,
I believe you are correct, both the 72 and the 13gram bullet point to 9,3x72R.It may still be that caliber( sometimes guns come with ammo or cases, but I have heard of 9.3s72R cases being made by swageing the head of 9.3x74R cases, trim the length and turn the rim. Since the headstamp remains, this can create confusion. I don't know what the actual story is).
Mike