-- Choisir --- ' . $filename . ''; } echo '

'; if (($file != '') && file_exists($file)) highlight_file($file); ?>