<?php
  include "tools.php";
  
  $id=$_REQUEST['id'];
  
  $id=$id+0; // Force conversion en entier

  $type="application/octet-stream";

  $cat=fopen($catalogue,"r");
  if($cat) {
    while($ligne=fgets($cat)) {
      list ($id2,$type2,$titre)=entree_catalogue($ligne);
      if($id2==$id) {
        $type=$type2;
        break;
      }
    }
    fclose($cat);
  }
      
  header("Content-Type: $type");

  readfile("../../fichiers/$id");
?>