unused code dans function.inc.php