--- rpl/LIMITATIONS	2012/10/07 08:18:35	1.92
+++ rpl/LIMITATIONS	2012/12/21 12:09:50	1.99
@@ -1,15 +1,13 @@
 RESTRICTIONS
 	Only formatted and flow files are supported.
 
+Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
+
+EMSGSIZE dans les send() !
+
 À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N))
 SOCKET NON FORMATÉS
 
-Retirer le IMPLICIT NONE de STO et SAVE pour le mettre dans l'empilement d'un
-nom. Si le nom est non défini et qu'il ne peut pas être évalué, il
-doit provoquer une erreur.
-=> evaluation des noms
-=> séquenceur lors de l'empilement
-
 Pour OpenVMS :
 Trouver les includes pour :
 syslog.h