--- rpl/src/optimisation.c	2017/07/10 14:47:59	1.75
+++ rpl/src/optimisation.c	2017/07/12 15:42:42	1.76
@@ -399,39 +399,6 @@ sequenceur_optimise(struct_processus *s_
 
 	free(tableau);
 
-
-	// Libération des bibliothèques
-
-	l_bibliotheque_courante = l_bibliotheques;
-
-	while(l_bibliotheque_courante != NULL)
-	{
-		if (empilement(s_etat_processus, &((*s_etat_processus).l_base_pile),
-				(*l_bibliotheque_courante).donnee) == d_erreur)
-		{
- 			if ((*s_etat_processus).langue == 'F')
- 			{
- 				printf("+++Système : Mémoire insuffisante\n");
- 			}
- 			else
- 			{
- 				printf("+++System : Not enough memory\n");
-			}
-
- 			return(d_erreur);
-		}
-
-		affichage_rplso = d_faux;
-		instruction_remove(s_etat_processus);
-		affichage_rplso = d_vrai;
-
-		l_nouvelle_bibliotheque =
-				(*l_bibliotheque_courante).suivant;
-		free(l_bibliotheque_courante);
-		l_bibliotheque_courante =
-				l_nouvelle_bibliotheque;
-	}
-
 	erreur = evaluation(s_etat_processus, programme_principal, 'E');
 
 	if ((*s_etat_processus).profilage == d_vrai)