src/symbole.* sont renommés en symbol.*
fusion_progbits(): La table des chaines de caractères est mise à jour
lors de la fusion des progbits.