ajout du choix du DEBUG dans le make config
Authored by: progs 2003-02-23
Parent: [r67]
Child: [r69]
