<?php session_start(); echo $_SESSION['repertoire']; ?>