diff --git a/C11-FrontEnd/document/root.tex b/C11-FrontEnd/document/root.tex
index c516a4f8c5f17deed9b08e42b6350be06880ab0d..20e2c50048c1361d724dd27a70fe3d339fabf7b8 100644
--- a/C11-FrontEnd/document/root.tex
+++ b/C11-FrontEnd/document/root.tex
@@ -1,7 +1,5 @@
 \documentclass[fontsize=11pt,paper=a4,open=right,twoside,abstract=true]{scrreprt}
 \usepackage[T1]{fontenc}
-\usepackage[utf8]{inputenc}
-\usepackage{lmodern}
 \usepackage[numbers, sort&compress, sectionbib]{natbib}
 \usepackage{isabelle,isabellesym}
 \usepackage{ifthen}
diff --git a/Citadelle/src/compiler_generic/document/root.tex b/Citadelle/src/compiler_generic/document/root.tex
index 8ad60e0b6167b451c492a064dede06edab990940..4c7b1efaf1e23eb5567ba195531d472b31c9b38e 100644
--- a/Citadelle/src/compiler_generic/document/root.tex
+++ b/Citadelle/src/compiler_generic/document/root.tex
@@ -1,7 +1,5 @@
 \documentclass[fontsize=11pt,paper=a4,open=right,twoside,abstract=true]{scrreprt}
 \usepackage[T1]{fontenc}
-\usepackage[utf8]{inputenc}
-\usepackage{lmodern}
 \usepackage{textcomp}
 \usepackage[english]{babel}
 %\usepackage[draft]{fixme}
diff --git a/Citadelle/src/uml_main/document/root.tex b/Citadelle/src/uml_main/document/root.tex
index d62ec842cfe317e6789a7ad0ac5eb87bac2e70e5..c214c2dcf6d303ea8dc9f6c4b4bc915239a5faa3 100644
--- a/Citadelle/src/uml_main/document/root.tex
+++ b/Citadelle/src/uml_main/document/root.tex
@@ -1,8 +1,6 @@
 \documentclass[fontsize=10pt,DIV12,paper=a4,open=right,twoside,abstract=true]{scrreprt}
 \usepackage{fixltx2e}
 \usepackage[T1]{fontenc}
-\usepackage[utf8]{inputenc}
-\usepackage{lmodern}
 \usepackage{textcomp}
 \usepackage[english]{babel}
 \usepackage{isabelle}
diff --git a/Citadelle/src/uml_main/document/syntax_main.tex b/Citadelle/src/uml_main/document/syntax_main.tex
index 8962b769c5d796d8a0e12774eae031b8e0a9bfe2..06a37ed8ee4da09e3a689297c67eb5f63d2ebbf4 100644
--- a/Citadelle/src/uml_main/document/syntax_main.tex
+++ b/Citadelle/src/uml_main/document/syntax_main.tex
@@ -1,7 +1,6 @@
 \documentclass[10pt,DIV12,a4paper,openright,twoside,abstracton]{scrreprt}
 \usepackage{fixltx2e}
 \usepackage[T1]{fontenc}
-\usepackage[utf8]{inputenc}
 \usepackage{textcomp}
 \usepackage{isabelle}
 \usepackage{%