Public debt indexation and denomination with an independent central bank