I read that \"401 Unauthorized\" code must be used when a user:
I believe 403 is the right one. We may have to tune the language in the specification to make that clear.