--- rpl/LIMITATIONS	2013/03/20 17:11:42	1.117
+++ rpl/LIMITATIONS	2013/03/20 22:24:36	1.118
@@ -8,6 +8,7 @@ RESTRICTIONS
 
 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.