--- rpl/LIMITATIONS	2013/03/23 16:08:28	1.121
+++ rpl/LIMITATIONS	2013/03/23 17:46:28	1.122
@@ -6,16 +6,8 @@ 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)
-So bug dans socket (cannot send) => pas d'erreur dans rplcore.
-sento => EAGAIN et EWOULDBLOCK
-
 Ajouter la translitération dans l'écriture des fichiers.
 
 À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N))