--- rpl/LIMITATIONS	2013/03/20 17:11:42	1.117
+++ rpl/LIMITATIONS	2013/03/22 15:31:33	1.120
@@ -6,11 +6,12 @@ RESTRICTIONS
 		{ <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)"
 		"standard*(*)" ]> ]> }
 
-Tester la taille des matrices dans les appels à Lapack !
-longueur_message dans chiffrement => int à tester !
-
 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))