--- rpl/LIMITATIONS	2013/03/19 12:27:56	1.115
+++ rpl/LIMITATIONS	2013/03/20 17:11:42	1.117
@@ -6,6 +6,9 @@ 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.
 
 Ajouter la translitération dans l'écriture des fichiers.
@@ -69,9 +72,6 @@ Fichiers non formatés : restent à code
          * 0011 10 11               matrice integer*8 (dimensions integer*4)
          * 0011 11 11               matrice integer*8 (dimensions integer*8)
 
-         * 0101 0 XXX               nom de longueur XXX
-         * 0101 10 LL               nom de longueur integer*LL
-
          * 1001 0 XXX               table de longueur XXX
          * 1001 10 00               table de longueur integer*1
          * 1001 10 01               table de longueur integer*2