--- rpl/src/fusible.c	2013/02/27 17:11:40	1.50
+++ rpl/src/fusible.c	2013/03/20 17:11:43	1.51
@@ -90,7 +90,7 @@ fusible(void *argument)
 
 #	ifndef OS2
 		getrusage(RUSAGE_SELF, &s_rusage);
-		temps_cpu_courant = s_rusage.ru_utime.tv_sec +
+		temps_cpu_courant = ((real8) s_rusage.ru_utime.tv_sec) +
 				(((real8) s_rusage.ru_utime.tv_usec) / ((real8) 1E6));
 #	else
 		horloge = clock();
@@ -105,7 +105,7 @@ fusible(void *argument)
 
 #		ifndef OS2
 			getrusage(RUSAGE_SELF, &s_rusage);
-			temps_cpu_courant = s_rusage.ru_utime.tv_sec +
+			temps_cpu_courant = ((real8) s_rusage.ru_utime.tv_sec) +
 					(((real8) s_rusage.ru_utime.tv_usec) / ((real8) 1E6));
 #		else
 			horloge = clock();