Merge de Dev-header-profil-deconnexion dans Dev

Modification du header pour y ajouter un bouton vers la page de profil et vers la déconnexion (lorsqu'on est connecté)