--- rpl/src/formateur.c	2011/08/01 10:01:37	1.37
+++ rpl/src/formateur.c	2011/08/09 11:31:29	1.39
@@ -1,6 +1,6 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.1.2
+  RPL/2 (R) version 4.1.3
   Copyright (C) 1989-2011 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
@@ -3654,9 +3654,19 @@ formateur_reel(struct_processus *s_etat_
 	if (type == 'R')
 	{
 #		ifdef FP_INFINITE
-		if (isinf((*((real8 *) valeur_numerique))))
+		int		signe;
+
+		if ((signe = isinf((*((real8 *) valeur_numerique)))) != 0)
 		{
-			strcpy(chaine, "infinity");
+			if (signe > 0)
+			{
+				strcpy(chaine, "infinity");
+			}
+			else
+			{
+				strcpy(chaine, "-infinity");
+			}
+
 			return(chaine);
 		}
 #		endif