$_SESSION['eleve'] = 
<pre>
&lt;?php

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

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