--- rpl/LIMITATIONS	2013/03/16 20:11:29	1.114
+++ rpl/LIMITATIONS	2013/03/20 22:24:36	1.118
@@ -6,6 +6,10 @@ RESTRICTIONS
 		{ <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)"
 		"standard*(*)" ]> ]> }
 
+Tester la taille des matrices dans les appels à Lapack !
+longueur_message dans chiffrement => int à tester !
+Virer les cast (long)
+
 Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
 
 Ajouter la translitération dans l'écriture des fichiers.
@@ -68,12 +72,7 @@ Fichiers non formatés : restent à code
          * 0011 01 11               matrice integer*8 (dimensions integer*2)
          * 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
-         * 0110 0 XXX               expression RPN
-         * 0110 10 LL
-         * 0111 0 XXX               expression algébrique
-         * 0111 10 LL
+
          * 1001 0 XXX               table de longueur XXX
          * 1001 10 00               table de longueur integer*1
          * 1001 10 01               table de longueur integer*2