$_SESSION['eleve'] = 
<pre>
&lt;?php
session_start();
echo '$_SESSION[\'eleve\'] = ' . $_SESSION['eleve'];
?&gt;
</pre>

<a href="session1.php">Session page 1</a>