diff --git a/src/main/java/TP2/LLVM.java b/src/main/java/TP2/LLVM.java
index 9375698..70209e9 100644
--- a/src/main/java/TP2/LLVM.java
+++ b/src/main/java/TP2/LLVM.java
@@ -1,126 +1,280 @@
 package TP2;
 
+import java.util.ArrayList;
 import java.util.List;
 
 
+
+
 public class LLVM {
+
+    static String INDENT = "   ";
+
     sealed interface Prog{}
-    sealed interface Fonction{}
-    sealed interface Instr{}
-    sealed interface Bloc implements Instr{}
-    sealed interface Aff implements Instr{}
-    sealed interface Print implements Instr{}
-    sealed interface Read implements Instr{}
-    sealed interface IfThen implements Instr{}
-    sealed interface IfThenElse implements Instr{}
-    sealed interface While implements Instr{}
-    sealed interface Type{}
-    sealed interface INT implements Type{}
-    sealed interface ListDecl{}
-    sealed interface ListVar{}
+    sealed interface Fonction{
+        String toString(String string);}
+    sealed interface Instr permits Return,Bloc,Aff,Print,Read,IfThen,IfThenElse,While {
+        String toString(String string);}
+    sealed interface Type permits INT,VOID {}
+    sealed interface ListDecl{
+        String toString(String string);}
+    sealed interface ListPar{}
+    sealed interface ListInstr{
+        String toString(String string);}
+    sealed interface Par{}
     sealed interface Expression{}
 
 
+    public static void main(String[] args) {
+        
+        Expression exp1 = new Add(new Add(new Val(0),new Val(1)),new Val(2));
+        ListPar param = new ListParImpl(new ArrayList<>());
+        ArrayList<Instr> l = new ArrayList<>();
+        l.add(new Return(exp1));
+        Fonction f = new FonctionImpl(new VOID(),"main",param,l);
+
+        Prog p1 = new ProgImpl(List.of(f));
+
+        System.out.println(p1.toString());
+
+        System.out.println("\n");
+
+        Var a = new Var("a");
+        Var b = new Var("b");
+        Prog p2 = new ProgImpl(List.of(
+            f,
+            new FonctionImpl(new INT(),"maFonction",new ListParImpl(List.of(new ParImpl(new INT(),a),new ParImpl(new INT(),b) )),List.of(
+            new IfThenElse(a,List.of(
+                new Print(List.of("a = ",a))
+                ),List.of(
+                    new Print(List.of("b = ",b))
+                )),
+            new While(b, List.of(
+                new Aff(b, new Modulo(b,new Val(2)))
+            )),
+            new Return(new Add(a,b))
+            ))
+
+
+
+        ));
+
+        System.out.println(p2.toString());
+    }
+
 
     record ProgImpl(List<Fonction> fonctions) implements Prog{
-
-    }
-
-    record FonctionImpl(Type type, String nom, List<Instr> instrs) implements Fonction{
-
-    }
-
-    record Bloc(List<ListDecl> listDecls) implements Bloc{
         public String toString(){
-            String str = "";
+            String str ="";
+                for(int i = 0; i<fonctions.size(); i++){
+                    str += fonctions.get(i).toString(INDENT)+"\n";
+                }
+            return str;
+        }
+    }
+
+    record FonctionImpl(Type type, String nom,ListPar param, List<Instr> instrs) implements Fonction{
+        public String toString(String indent){
+            String str = indent+"FUNC " + type.toString()+ " " + nom +" ("+param.toString()+"){\n";
+                for(int i = 0; i<instrs.size(); i++){
+                    str += instrs.get(i).toString(indent+INDENT)+"\n";
+                }
+                str+= indent+"}";
+            return str;
+        }
+    }
+
+    record Return(Expression exp) implements Instr{
+        public String toString(String indent){
+            return indent+"RETURN " + exp.toString();
+        }
+    }
+
+    record Bloc(List<ListDecl> listDecls, ListInstr instrs) implements Instr{
+        public String toString(String indent){
+            String str = indent +"{\n";
             for(int i = 0; i<listDecls.size(); i++){
-                str += "\n" + listDecls.get(i).tostring();
+                str += listDecls.get(i).toString(indent+INDENT) +"\n";
+            }
+            str += instrs.toString(indent+INDENT);
+            str += indent +"}";
+            return str;
+        }
+    }
+
+    record Aff(Var var, Expression expression) implements Instr{
+        public String toString(String indent){
+            return indent + var.toString() + ":=" + expression.toString();
+        }
+    }
+
+    record Print(List<Object> items) implements Instr{
+        public String toString(String indent){
+            String str = indent+"PRINT ";
+            for(int i = 0; i<items.size(); i++){
+                if(items.get(i) instanceof Expression){
+                    str += items.get(i).toString();
+                }
+                else if(items.get(i) instanceof String){
+                    str += '"'+items.get(i).toString()+'"';
+                }
+                else System.err.println("Item de mauvais type dans PRINT");
+                if(i<items.size()-1) str += ", ";
             }
             return str;
         }
     }
 
-    record Aff(String var, Expression expression) implements Aff{
-        public String toString(){
-            return var + ":=" + expression.toString();
-        }
-    }
-
-    record Print(Item item) implements Print{
-        public String toString(){
-            return "PRINT" + item.tostring();
-        }
-    }
-
-    record Read(Item item) implements Read{
-        public String toString(){
-            return "READ " + item.toString();
-        }
-
-    }
-
-    record IfThen(Cond cond, List<Instr> instrs) implements IfThen{
-        public String toString(){
-            String str = "IF " + cond.toString() + "THEN";
-            for(int i = 0; i< instrs1.size(); i++){
-                str += "\n" + instrs1.get(i).toString();
+    record Read(List<Object> items) implements Instr{ //TODO pas bon
+        public String toString(String indent){
+            String str = indent + "READ";
+            for(int i = 0; i<items.size(); i++){
+                if(items.get(i) instanceof Exception || items.get(i) instanceof String){
+                    str += items.get(i).toString();
+                    if(i<items.size()-1) str += ", ";
+                }
+                else System.err.println("Item de mauvais type, READ");
             }
             return str;
         }
 
     }
 
-    record IfThenElse(Cond cond, List<Instr> instrs1, List<Instr> instrs1) implements IfThenElse{
-        public String toString(){
-            String str = "IF " + cond.toString() + "THEN";
-            for(int i = 0; i< instrs1.size(); i++){
-                str += "\n" + instrs1.get(i).toString();
-            }
-            str += "\nELSE";
-            for(int i = 0; i< instrs2.size(); i++){
-                str += "\n" + instrs2.get(i).toString();
-            }
-            return str;
-        }
-    }
-
-    record While(Cond cond, List<Instr> instrs) implements While{
-        public String toString(){
-            String str = "WHILE " + cond.toString() +"\nDO {";
+    record IfThen(Expression cond, List<Instr> instrs) implements Instr{
+        public String toString(String indent){
+            String str = indent + "IF " + cond.toString() + "\n" + indent + "THEN\n";
             for(int i = 0; i< instrs.size(); i++){
-                str += "\n" + instrs.get(i).toString();
+                str += instrs.get(i).toString(indent+INDENT) + "\n";
+                if(i<instrs.size()-1) str += "\n";
+            }
+            return str;
+        }
+
+    }
+
+    record IfThenElse(Expression cond, List<Instr> instrs1, List<Instr> instrs2) implements Instr{
+        public String toString(String indent){
+            String str = indent + "IF " + cond.toString() + "\n" + indent + "THEN\n";
+            for(int i = 0; i< instrs1.size(); i++){
+                str += instrs1.get(i).toString(indent+INDENT) + "\n";
+            }
+            str += indent + "ELSE\n";
+            for(int i = 0; i< instrs2.size(); i++){
+                str += instrs2.get(i).toString(indent+INDENT);
+                if(i<instrs2.size()-1) str += "\n";
             }
-            str += "\n}";
             return str;
         }
     }
 
-    record INT() implements INT{
+    record While(Expression cond, List<Instr> instrs) implements Instr{
+        public String toString(String indent){
+            String str = indent + "WHILE " + cond.toString() +"\n" + indent +"DO{\n";
+            for(int i = 0; i< instrs.size(); i++){
+                str += instrs.get(i).toString(indent+INDENT) + "\n";
+            }
+            str += indent + "}";
+            return str;
+        }
+    }
 
+    record INT() implements Type{
         public String toString(){
             return "INT";
         }
     }
 
-    record ListDecl(Type type, List<String> vars) implements ListDecl{
+    record VOID() implements Type{
         public String toString(){
-            String str = type.toString + " ";
-            for(int i = 0, i<vars.size(), i++){
+            return "VOID";
+        }
+    }
+
+    record ListDeclImpl(Type type, List<String> vars) implements ListDecl{
+        public String toString(String indent){
+            String str = indent + type.toString() + " ";
+            for(int i = 0; i<vars.size(); i++){
                 if(i<vars.size()-1){
-                    str += var+",";
+                    str += vars.get(i)+",";
                 }
-                else str += var;
+                else str += vars.get(i);
             }
-            return str
+            return str;
 
         }
     }
 
-
-    record Expression() implements Expression{
-
+    record ListParImpl(List<Par> pars) implements ListPar{
+        public String toString(){
+            String str = "";
+            for(int i = 0; i<pars.size();i++){
+                str += pars.get(i).toString();
+                if(i<pars.size()-1) str += ", ";
+            }
+            return str;
+        }
     }
 
+    record ListInstrImpl(List<Instr> instrs) implements ListInstr{
+        public String toString(String indent){
+            String str = "";
+            for(int i = 0; i<instrs.size();i++){
+                str += indent + instrs.get(i).toString() + "\n";
+            }
+            return str;
+        }
+    }
+
+    record ParImpl(Type type, Var var) implements Par{
+        public String toString(){
+            return type.toString() + " " + var.toString();
+        }
+    }
+
+
+    record Add(Expression e1, Expression e2) implements Expression{
+        public String toString(){
+            return "("+ e1 + " + " + e2 + ")";
+        }
+    }
+
+    record Sub(Expression e1, Expression e2) implements Expression{
+        public String toString(){
+            return "("+ e1 + " - " + e2 + ")";
+        }
+    }
+
+    record Modulo(Expression e1, Expression e2) implements Expression{
+        public String toString(){
+            return "("+ e1 + " % " + e2 + ")";
+        }
+    }
+
+    record Mult(Expression e1, Expression e2) implements Expression{
+        public String toString(){
+            return "("+ e1 + " * " + e2 + ")";
+        }
+    }
+
+    record Div(Expression e1, Expression e2) implements Expression{
+        public String toString(){
+            return "("+ e1 + " / " + e2 + ")";
+        }
+    }
+
+    record Val(int val) implements Expression{
+        public String toString(){
+            return val+"";
+        }
+    }
+
+    record Var(String nom) implements Expression{
+        public String toString(){
+            return nom;
+        }
+    }
+
+