Ajout de la servlet de déconnexion.
Ajout d'un filtre vérifiant si l'utilisateur est connecté.
Nettoyage de code.