void compteur_init(void);
void compteur_plus(void);
void compteur_moins(void);
int  compteur_est_zero(void);