--- rpl/src/formateur.c	2017/07/02 22:28:20	1.85
+++ rpl/src/formateur.c	2017/07/11 16:04:53	1.86
@@ -3307,6 +3307,17 @@ formateur(struct_processus *s_etat_proce
 			strcat(chaine, " ]");
 		}
 	}
+	else if ((*s_objet).type == NON)
+	{
+		if ((chaine = malloc((strlen("System object") + 1)
+				* sizeof(unsigned char))) == NULL)
+		{
+			(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
+			return(NULL);
+		}
+
+		strcpy(chaine, "System object");
+	}
 	else if ((*s_objet).type == EXT)
 	{
 		if ((__type_disp = dlsym((*s_objet).descripteur_bibliotheque,
@@ -3318,6 +3329,7 @@ formateur(struct_processus *s_etat_proce
 					* sizeof(unsigned char))) == NULL)
 			{
 				(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
+				return(NULL);
 			}
 
 			strcpy(chaine, "External symbol");