'._('Vous êtes déconnecté').''; echo ''; html_page_stop(); ?>