diff --git a/ecrire/public/evaluer_page.php b/ecrire/public/evaluer_page.php
index 775df1807e3bae80b2c1db176835c27ac7600bb3..c2a40d03347044b3e5adb75b418e8fe273d2e746 100644
--- a/ecrire/public/evaluer_page.php
+++ b/ecrire/public/evaluer_page.php
@@ -31,16 +31,7 @@ $res = true;
 // Cas d'une page contenant du PHP :
 if ($page['process_ins'] != 'html') {
 
-	/**
-	 * Teste si on a dÊjà ÊvaluÊ du PHP
-	 * 
-	 * Inclure inc/lang la première fois pour dÊfinir spip_lang
-	 * si ça n'a pas encore ÊtÊ fait.
-	 */
-	if (!defined('_EVALUER_PAGE_PHP')) {
-		define('_EVALUER_PAGE_PHP', true);
-		include_spip('inc/lang');
-	}
+	include_spip('inc/lang');
 
 	// restaurer l'etat des notes avant calcul
 	if (isset($page['notes'])