if (session_is_registered("pseudo" ))
{
echo '
<pre>  <input align=center type=text name="pseudo" size="12" maxlenght=30 value='.$pseudo.'>
  <input align=center type=password name="password" size="12" maxlenght=30 value='.$password.'>
     <input type=submit name="send" value="log-in" align="middle"></pre></center>
.<a href="deco.php">Disconnection</a><br>.<a href="my_profil.php?User='.$pseudo.'">profil</a>';
}
else
{
 echo '
<pre>  <input align=center type=text name="pseudo" size="12" maxlenght=30 value="Login">
  <input align=center type=password name="password" size="12" maxlenght=30 value="password">
      <input type=submit name="send" value="ok" align="middle"></pre>';
}