class Compteur { public: int valeurDuCompteur ; void inc() ; // incrémente la valeur du compteur void raz() ; // remet à zéro int valeur() ; // retourne la valeur du compteur } ;