Index: /papers/FDL2012/myBib.bib
===================================================================
--- /papers/FDL2012/myBib.bib	(revision 61)
+++ /papers/FDL2012/myBib.bib	(revision 62)
@@ -111,6 +111,6 @@
 @article{ bara08abs_composant,
     author = "A. Bara",
-    title = "{Abstraction de Composant pour la Vérification par Model-Checking}",
-    journal = {Mémoire de DiplÎme Universitaire OMP - LIP6-SOC},
+    title = "{Abstraction de Composant pour la Vérification par Model-Checking}",
+    journal = {Mémoire de DiplÎme Universitaire OMP - LIP6-SOC},
     year =  2008
 }
@@ -205,5 +205,5 @@
 
 @conference{ GrafSaidi97abstract_construct,
-   author = "  S. Graf and H. Saïdi",
+   author = "  S. Graf and H. Saïdi",
    title = "{ Construction of Abstract State Graphs with PVS} ",
    booktitle = " In CAV'97: Proceedings of the 9th International Conference on Computer Aided Verification",