function stats_affiche_milieu($flux){
	// afficher la configuration ([des]activer les statistiques).
	if ($flux['args']['exec'] == 'config_fonctions') {
		$compteur = charger_fonction('compteur', 'configuration');
		$flux['data'] .= $compteur(); 
	}
	return $flux;
}