query('/[a-z0-9-_]+.(jpg|gif|png|zip|rar|txt|pdf|mp3|flv)$/')) { echo '

'; foreach($files as $filename) { $file = $dir.'/'.$filename; echo '
• '.$filename.'
'; } echo '

'; } else echo "Aucun document"; ?>