<?php

/**
 * Page centrale de gestion des paramètres d'un utilisateur et du portail lui-même.
 */

?>