--- rpl/src/interruptions.c	2016/10/11 11:30:30	1.187
+++ rpl/src/interruptions.c	2016/10/11 11:48:09	1.188
@@ -2059,8 +2059,12 @@ interruption_violation_access(void *adre
 	{
 		// Il peut s'agir d'un dépassement de pile.
 
-		sigsegv_leave_handler(sortie_interruption_depassement_pile,
-				(void *) &routine_recursive, NULL, NULL);
+#		ifndef BROKEN_SIGSEGV
+			sigsegv_leave_handler(sortie_interruption_depassement_pile,
+					(void *) &routine_recursive, NULL, NULL);
+#		else
+			sortie_interruption_depassement_pile((void *) &routine_recursive);
+#		endif
 	}
 
 	// On est dans une bonne vieille violation d'accès. On essaie