debugage : redeclaration d'un compteur dans Hello.cpp et Tc.cpp