extern unsigned  nombre_appels;

void f(void);