extern int nombre ;
void affiche(void)
{
    printf("nombre=%d", nombre) ;
}