function stats_affiche_milieu($flux){
	// displays the configuration ([de]activate the statistics).
	if ($flux['args']['exec'] == 'config_fonctions') {
		$compteur = charger_fonction('compteur', 'configuration');
		$flux['data'] .= $compteur(); 
	}
	return $flux;
}