Diverses corrections mineures sur le gestionnaire de session