@Override
 public void guillementDouble() {
   constructeur.setEtat(constructeur.getEtatCommentaireLong());
   constructeur.addTempToHtmlMotsClefs();
   constructeur.addBaliseInCommentaires();
   constructeur.addStringToTemp("/*\"");
 }
 @Override
 public void divers(char carac) {
   constructeur.setEtat(constructeur.getEtatCommentaireLong());
   constructeur.addTempToHtmlMotsClefs();
   constructeur.addBaliseInCommentaires();
   constructeur.addStringToTemp("/*" + String.valueOf(carac));
 }
 @Override
 public void asterisque() {
   constructeur.setEtat(constructeur.getEtatJavadoc());
   constructeur.addTempToHtmlMotsClefs();
   constructeur.addBaliseInJavadoc();
   constructeur.addStringToTemp("/**");
 }
 @Override
 public void sautDeLigne() {
   constructeur.setEtat(constructeur.getEtatCommentaireLong());
   constructeur.addTempToHtmlMotsClefs();
   constructeur.addBaliseInCommentaires();
   constructeur.addStringToHtml("/*");
   constructeur.endLigne();
 }
 @Override
 public void finirLigne() {
   constructeur.addTempToHtmlMotsClefs();
   constructeur.addBaliseInCommentaires();
   constructeur.addStringToHtml("/*");
 }