Index: /CKEditor/trunk/_source/plugins/devtools/lang/fr.js
===================================================================
--- /CKEditor/trunk/_source/plugins/devtools/lang/fr.js	(revision 7317)
+++ /CKEditor/trunk/_source/plugins/devtools/lang/fr.js	(revision 7318)
@@ -8,9 +8,9 @@
 	devTools :
 	{
-		title		: 'Information sur l\\\\\'élément',
+		title		: 'Information sur l\'élément',
 		dialogName	: 'Nom de la fenêtre de dialogue',
-		tabName		: 'Nom de l\\\\\'onglet',
-		elementId	: 'ID de l\\\\\'élément',
-		elementType	: 'Type de l\\\\\'élément'
+		tabName		: 'Nom de l\'onglet',
+		elementId	: 'ID de l\'élément',
+		elementType	: 'Type de l\'élément'
 	}
 });