copy_isdone($bul_id); // mise à jour de l'entête de page echo str_replace('!!page_title!!', $msg[4000].$msg[1003].$msg[4011], $serial_header); $form = show_bulletinage_info_catalogage($bul_id); if($art_to_show) { $form.= ""; } print $form; ?>