--- rpl/LIMITATIONS	2017/06/29 14:54:42	1.188
+++ rpl/LIMITATIONS	2017/07/02 22:28:19	1.189
@@ -1,15 +1,12 @@
 RESTRICTIONS
 
-attention : types EXT
-si erreur dans recherche_type, rechercher les fonctions
-__type_new() dans les bibliothèques en balayant
-(*s_etat_processus).s_bibliotheques.
-
 ([]) -> ensemble
 (/ /) -> polynôme
 
-Rajouter une option -l pour charger des bibliothèques pour la compilation.
-Elles sont déchargées juste après.
+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.