diff --git a/src/main/java/myutil/intboolsolver/closedformula/IBSClosedFormulaSolver.java b/src/main/java/myutil/intboolsolver/closedformula/IBSClosedFormulaSolver.java
new file mode 100644
index 0000000000000000000000000000000000000000..c3abcc45db64da9bc85f59260389fbf231a885c1
--- /dev/null
+++ b/src/main/java/myutil/intboolsolver/closedformula/IBSClosedFormulaSolver.java
@@ -0,0 +1,60 @@
+/* Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Ludovic Apvrille
+ *
+ * ludovic.apvrille AT enst.fr
+ *
+ * This software is a computer program whose purpose is to allow the
+ * edition of TURTLE analysis, design and deployment diagrams, to
+ * allow the generation of RT-LOTOS or Java code from this diagram,
+ * and at last to allow the analysis of formal validation traces
+ * obtained from external tools, e.g. RTL from LAAS-CNRS and CADP
+ * from INRIA Rhone-Alpes.
+ *
+ * This software is governed by the CeCILL  license under French law and
+ * abiding by the rules of distribution of free software.  You can  use,
+ * modify and/ or redistribute the software under the terms of the CeCILL
+ * license as circulated by CEA, CNRS and INRIA at the following URL
+ * "http://www.cecill.info".
+ *
+ * As a counterpart to the access to the source code and  rights to copy,
+ * modify and redistribute granted by the license, users are provided only
+ * with a limited warranty  and the software's author,  the holder of the
+ * economic rights,  and the successive licensors  have only  limited
+ * liability.
+ *
+ * In this respect, the user's attention is drawn to the risks associated
+ * with loading,  using,  modifying and/or developing or reproducing the
+ * software by the user in light of its specific status of free software,
+ * that may mean  that it is complicated to manipulate,  and  that  also
+ * therefore means  that it is reserved for developers  and  experienced
+ * professionals having in-depth computer knowledge. Users are therefore
+ * encouraged to load and test the software's suitability as regards their
+ * requirements in conditions enabling the security of their systems and/or
+ * data to be ensured and,  more generally, to use and operate it in the
+ * same conditions as regards security.
+ *
+ * The fact that you are presently reading this means that you have had
+ * knowledge of the CeCILL license and that you accept its terms.
+ */
+
+package myutil.intboolsolver.closedformula;
+
+import avatartranslator.intboolsolver.AvatarIBSAttributeClass;
+import avatartranslator.intboolsolver.AvatarIBSExpressionClass;
+import avatartranslator.intboolsolver.AvatarIBSStdParser;
+
+/**
+ * Instance of IBS parser and evaluator system to be used
+ * for closed formulas
+ *
+ * Creation: 11/04/2023
+ *
+ * @version 1.0 11/04/2023
+ * @author Sophie Coudert
+ */
+
+public class IBSClosedFormulaSolver {
+    public static IBSClosedFormulaAttributeClass attrC = new IBSClosedFormulaAttributeClass();
+    protected static IBSClosedFormulaExpressionClass exprC = new IBSClosedFormulaExpressionClass();
+
+    public static IBSClosedFormulaParser parser = new IBSClosedFormulaParser(attrC,exprC);
+}
diff --git a/src/main/java/myutil/intboolsolver/package-info.java b/src/main/java/myutil/intboolsolver/package-info.java
index 89f12528eaa3730f1a1d1b6bb91871d881ee6069..7c2a27f8265b4c1415670bc151c65e90bb3cf486 100644
--- a/src/main/java/myutil/intboolsolver/package-info.java
+++ b/src/main/java/myutil/intboolsolver/package-info.java
@@ -227,12 +227,29 @@
  *            !!! optional additional features here
  *      }
  *        </PRE>
- *      Note: for the JavaCUP/Jflex parser, the scanner must also be provided
- *      (see <a href="#javacup">here </a>).
+ *      <p>Note: for the JavaCUP/Jflex parser, the scanner must also be provided
+ *      (see <a href="#javacup">here </a>).</p>
+ *      </li>
+ *      <li> <p>Subpackage intboolsolver/closedformula contains a complete instantiation
+ *      for closed formulas. This instantiation is trivial as behaviours for closed
+ *      formulas are the default ones.This instantiation is made of
+ *      {@link myutil.intboolsolver.closedformula.IBSClosedComp IBSClosedComp},
+ *      {@link myutil.intboolsolver.closedformula.IBSClosedSpec IBSClosedSpec},
+ *      {@link myutil.intboolsolver.closedformula.IBSClosedState IBSClosedState},
+ *      {@link myutil.intboolsolver.closedformula.IBSClosedCompState IBSClosedCompState},
+ *      {@link myutil.intboolsolver.closedformula.IBSClosedSpecState IBSClosedSpecState},
+ *      {@link myutil.intboolsolver.closedformula.IBSClosedFormulaAttributeClass IBSClosedFormulaAttributeClass},
+ *      {@link myutil.intboolsolver.closedformula.IBSClosedFormulaExpressionClass IBSClosedFormulaExpressionClass},
+ *      {@link myutil.intboolsolver.closedformula.IBSClosedFormulaParser IBSClosedFormulaParser}.
+ *      Finally, {@link myutil.intboolsolver.closedformula.IBSClosedFormulaSolver IBSClosedFormulaSolver}
+ *      contains an instance of the parser/solver that can be used from anywhere.</p>
+ *      </li>
+ *      <li> <p>There is also an instance dedicated to AVATAR structures, which can be found as an "intboolsolver"
+ *      subpackage of the avatartranslator package of TTool</p></li>
  * </ol>
  * <p><a id="instanciation_use"> <b>Typical use of an instantiated parser:</b></a></p>
  *     <PRE>
- *          private Parser parser = new Parser(new AttribClass(),new ExprClass());
+ *          public Parser parser = new Parser(new AttribClass(),new ExprClass());
  *          ExprClass.BExpr e = (ExprClass.BExpr) parser.parseBool("10 + 15 &gt;= 20");
  *          boolean b = e.eval();
  *          ...