--- rpl/LIMITATIONS	2013/03/22 15:31:33	1.120
+++ rpl/LIMITATIONS	2013/03/23 16:08:28	1.121
@@ -6,6 +6,10 @@ RESTRICTIONS
 		{ <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)"
 		"standard*(*)" ]> ]> }
 
+Rechercher les '"' pour être sûr qu'on ne traite que les chaînes de caractères
+et non les guilles échappées. EN PARTICULIER REGARDE CE QUI SE PASSE DANS
+ANALYSE_NOTATION_ALGEBRIQUE.
+
 Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
 
 Traiter correctement le cas FORALL dans BACKTRACE (Index et Limit)