write_header - retourne l'en-tête du script de chargement pour le script de construction de la boîte à outils
write_header(u,builder_name)
- u :
nombre entier, un descripteur de fichier.
- builder_name :
- MODNUMSCI/macros/build_util/write_header.sci [voir code]
A. Layec