<?php
session_start(); // On démarre la session AVANT toute chose
?>
<!DOCTYPE html>
<html>    
 <head> <!-- Entête HTML -->
  <meta charset="utf-8" />
  <title>Ma Page HTML</title>
 </head>
 <body> <!-- Corps de la page HTML -->
  <h3> Ma page HTML</h3>
   Bienvenue sur ma page<br/>
   Monsieur <?php echo $_SESSION['prenom'] . ' ' . $_SESSION['nom']; ?>
 </body>
</html>
