--- rpl/src/interface_cas.cpp	2017/06/28 09:20:37	1.53
+++ rpl/src/interface_cas.cpp	2020/01/16 08:57:42	1.64
@@ -1,7 +1,7 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.1.27
-  Copyright (C) 1989-2017 Dr. BERTRAND Joël
+  RPL/2 (R) version 4.1.32
+  Copyright (C) 1989-2020 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
 
@@ -21,6 +21,7 @@
 
 
 #ifdef RPLCAS
+#	define RPLCXX
 
 // Giac inclut <semaphore.h> et définit sem_t. Or l'émulation
 // des IPCS POSIX requiert une redéfinition de sem_t.
@@ -36,7 +37,8 @@
 #	pragma GCC diagnostic ignored "-Wstrict-aliasing"
 #	pragma GCC diagnostic ignored "-Wunused-parameter"
 #	pragma GCC diagnostic ignored "-Wempty-body"
-#	include "giac.h"
+#	pragma GCC diagnostic ignored "-Wunknown-pragmas"
+#	include "giacPCH.h"
 #	pragma GCC diagnostic pop
 
 #	undef PACKAGE
@@ -234,7 +236,7 @@ conversion_rpl_vers_cas(struct_processus
 			strstr(reinterpret_cast<char *>(index),
 			(const char *) "relax"))) != NULL)
 	{
-		strncpy(reinterpret_cast<char *>(index), "    +", 5);
+		memcpy(reinterpret_cast<char *>(index), "    +", 5);
 	}
 
 	// Si le résultat vaut infinity, on rajoute le signe +.
@@ -447,7 +449,7 @@ interface_cas(struct_processus *s_etat_p
 		{
 			s_etat_processus->contexte_cas = new giac::context;
 		}
-		catch(bad_alloc exception)
+		catch(bad_alloc &exception)
 		{
 			s_etat_processus->erreur_systeme = d_es_allocation_memoire;
 			return;
@@ -521,7 +523,7 @@ interface_cas(struct_processus *s_etat_p
 						reinterpret_cast<unsigned char *>(const_cast<char *>(
 						chaine.c_str())));
 			}
-			catch(bad_alloc exception)
+			catch(bad_alloc &exception)
 			{
 				s_etat_processus->erreur_systeme = d_es_allocation_memoire;
 			}
@@ -682,7 +684,7 @@ interface_cas(struct_processus *s_etat_p
 						reinterpret_cast<unsigned char *>(const_cast<char *>(
 						chaine.c_str())));
 			}
-			catch(bad_alloc exception)
+			catch(bad_alloc &exception)
 			{
 				s_etat_processus->erreur_systeme = d_es_allocation_memoire;
 			}