--- rpl/LIMITATIONS	2013/03/19 13:14:44	1.116
+++ 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.