W31/correction/TP2/signout.php

<?php
    session_start();
    unset($_SESSION['user']);
    header('Location: signin.php');