diff --git a/doc/userman/biblio.bib b/doc/userman/biblio.bib
index 5a14fc9815176c89cd819951f675387ad324741f..2649298aaee526caecebd75a08b83015295ba7a0 100644
--- a/doc/userman/biblio.bib
+++ b/doc/userman/biblio.bib
@@ -1,7 +1,7 @@
 @manual{userman,
   title  = {Frama-C User Manual},
-  author = {Loīc Correnson and Pascal Cuoq and Florent Kirchner and
-            André Maroneze and Virgile Prevosto and
+  author = {Loïc Correnson and Pascal Cuoq and Florent Kirchner and
+            AndrÊ Maroneze and Virgile Prevosto and
             Armand Puccetti and Julien Signoles and
             Boris Yakobowski},
   note   = {\url{http://frama-c.cea.fr/download/user-manual.pdf}}
@@ -14,7 +14,7 @@
 %% TODO - add a url to the above
 
 @manual{plugin-dev-guide,
-  author = {Julien Signoles and Loīc Correnson and Matthieu Lemerre and 
+  author = {Julien Signoles and Loïc Correnson and Matthieu Lemerre and 
             Virgile Prevosto},
   title  = {{Frama-C Plug-in Development Guide}},
   note   = {\newline \url{http://frama-c.cea.fr/download/plugin-developer.pdf}},
@@ -22,7 +22,7 @@
 
 @manual{eva,
   author = {David B\"uhler and Pascal Cuoq and Boris Yakobowski and
-            Matthieu Lemerre and André Maroneze and Valentin Perelle and
+            Matthieu Lemerre and AndrÊ Maroneze and Valentin Perelle and
             Virgile Prevosto},
   title  = {{EVA} -- The Evolved Value Analysis plug-in},
   note   = {\mbox{\url{http://frama-c.cea.fr/download/value-analysis.pdf}}},
@@ -68,7 +68,7 @@
 
 
 @inproceedings{rv13tutorial,
-  author = {Nikolaī Kosmatov and Julien Signoles},
+  author = {Nikolaï Kosmatov and Julien Signoles},
   title  = {A Lesson on Runtime Assertion Checking with {Frama-C}},
   booktitle = {International Conference on Runtime Verification ({RV 2013})},
   publisher = {Springer},
@@ -80,7 +80,7 @@
 }
 
 @manual{wp,
-  author = {Patrick Baudin and Franįois Bobot and Loīc Correnson
+  author = {Patrick Baudin and François Bobot and Loïc Correnson
             and Zaynah Dargaye},
   title  = {{Frama-C}'s {WP} plug-in},
   note   = {\mbox{\url{http://frama-c.com/download/frama-c-wp-manual.pdf}}},
@@ -117,7 +117,7 @@ pages={1-37},
 }
 
 @inproceedings{rv13,
-  author = {Nikolaī Kosmatov and Guillaume Petiot and Julien Signoles},
+  author = {Nikolaï Kosmatov and Guillaume Petiot and Julien Signoles},
   title = {An Optimized Memory Monitoring for Runtime Assertion Checking of 
              {C} Programs},
   booktitle = {International Conference on
@@ -133,7 +133,7 @@ pages={1-37},
 @inproceedings{jfla15,
   title = {{Rester statique pour devenir plus rapide, plus pr{\'e}cis et plus mince}},
   author = {Arvid Jakobsson and Nikolai Kosmatov and Julien Signoles},
-  booktitle = {Journées Francophones des Langages Applicatifs (JFLA'15)},
+  booktitle = {JournÊes Francophones des Langages Applicatifs (JFLA'15)},
   editor = {David Baelde and Jade Alglave},
   year = {2015},
   month = jan,
diff --git a/doc/userman/frama-c-book.cls b/doc/userman/frama-c-book.cls
index 47463e1cc216eb43d7a224547eac4fef99aed78b..f82a033e742632216258e8f6a8c37c23c8297825 100644
--- a/doc/userman/frama-c-book.cls
+++ b/doc/userman/frama-c-book.cls
@@ -14,7 +14,7 @@
 \RequirePackage{hevea}
 \RequirePackage{ifthen}
 \RequirePackage[T1]{fontenc}
-\RequirePackage[latin1]{inputenc}
+\RequirePackage[utf8]{inputenc}
 \RequirePackage[a4paper,pdftex,pdfstartview=FitH]{hyperref}
 \RequirePackage{amssymb}
 \RequirePackage{xcolor}
diff --git a/doc/userman/main.tex b/doc/userman/main.tex
index 2a6adce6da132eafe9234810239ad3597a075ba6..dfe55fc8fc237c6b045ddc530229936d677203c6 100644
--- a/doc/userman/main.tex
+++ b/doc/userman/main.tex
@@ -1,5 +1,4 @@
 \documentclass[web]{frama-c-book}
-
 \usepackage{graphicx}
 \usepackage{calc}
 \usepackage{datetime}