auth integration #2
Description
We should integrate a login facility for users. In a first time it should just allow users to log in and display their name, and in a second time when the server will be ready, the auth token will be transmitted. We'll be using Auth0 which is an OpenIDConnect (or oidc) which is a layer above OAuth2. These are all widespread standards and some high level libraries exist, see this one integrating Auth0 and React. It's not an emergency but that would be an interesting first step in the low-level plumbing.