public class De6FacesStat extends De6Faces {
  private int nt;
  public De6FacesStat() {
    super();
    nt = 0;
  }
  public int jet() { // redéfinition avec modification du comportement d'origine
    nt++;
    return super.jet();
  }
  public int getNT() { return nt; }
}