diff --git a/src/main/java/TP2/asd/PrettyprinterVisitor.java b/src/main/java/TP2/asd/PrettyprinterVisitor.java
index 87b83be..fbeb47c 100644
--- a/src/main/java/TP2/asd/PrettyprinterVisitor.java
+++ b/src/main/java/TP2/asd/PrettyprinterVisitor.java
@@ -50,9 +50,10 @@ public class PrettyprinterVisitor implements    ProgramVisitor<String,String>,
 
     @Override
     public String visitDeclaration(DeclarationImp instr, String indent) {
-        String str = indent + "declare "+instr.t().accept(this,"") + " ";
+        String str = indent +instr.t().accept(this,"") + " ";
             for(int i = 0; i<instr.s().size();i++){
-                str += instr.s().get(i) + ",";
+                str += instr.s().get(i);
+                if(i<instr.s().size()-1) str += ",";
             }
             return str;
     }
diff --git a/src/main/java/TP2/llvm/ProgramLLVM.java b/src/main/java/TP2/llvm/ProgramLLVM.java
index 902405d..4282535 100644
--- a/src/main/java/TP2/llvm/ProgramLLVM.java
+++ b/src/main/java/TP2/llvm/ProgramLLVM.java
@@ -126,8 +126,17 @@ public class ProgramLLVM {
                     str.append("add ");
                     break;
                 case MINUS:
-                    str.append("minus ");
+                    str.append("sub ");
                     break;
+                case TIMES:
+                    str.append("mul ");
+                    break;
+                case DIV:
+                    str.append("sdiv "); //division signé
+                    break;
+                case MOD:
+                    str.append("srem "); //modulo signé
+
                 default:
                     throw new AssertionError();
             }