--- rpl/LIMITATIONS	2013/03/11 13:45:53	1.110
+++ rpl/LIMITATIONS	2013/03/12 16:16:24	1.111
@@ -1,6 +1,9 @@
 RESTRICTIONS
 	Only formatted and flow files are supported.
 
+Corriger toutes les ABS() sur des entiers pour tester le cas
+abs(-128) en 8 bits par exemple...
+
 Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
 
 Traiter l'échappement des guilles dans BACKSPACE par une machine à états.