--- rpl/LIMITATIONS	2017/07/02 22:28:19	1.189
+++ rpl/LIMITATIONS	2017/08/02 08:12:46	1.190
@@ -1,13 +1,7 @@
 RESTRICTIONS
 
-([]) -> ensemble
 (/ /) -> polynôme
 
-Rajouter une option -m pour charger des bibliothèques pour la compilation.
-Les descripteurs de bibliothèque sont envoyés dans la pile en premiers
-arguments dans l'ordre de traitement. Nécessaire pour des programmes
-utilisant dans le code source des objets déclarés dans les bibliothèques.
-
 TOKENIZE ne fonctionne pas avec des chaînes qui comportent un \t.
 Idem pour des arguments contenant des parenthèses.
 -> normal, les tokens doivent avoir un sens en RPL/2.