Is there a function to rename a dict's key in JS?

Roald Baudoux's icon

Hello,

Is there any way to rename a dict's key without copying the data associated with this key into a new one and deleting the old one?

Thank you for helping.