[platal.git] / htdocs.net / fiche.php

<?php
    header("Location: https://www.polytechnique.org/fiche.php?user=".$_GET['user']);
?>