modifs.mineures sans commentaires

php/src_base/UserException.php

@@ -1,14 +1,14 @@
 <?php
 namespace nulib;
 
-use Exception;
+use RuntimeException;
 use Throwable;
 
 /**
  * Class UserException: une exception qui peut en plus contenir un message
  * utilisateur
  */
-class UserException extends Exception {
+class UserException extends RuntimeException {
   /** @param Throwable|ExceptionShadow $e */
   static function get_user_message($e): ?string {
     if ($e instanceof self) return $e->getUserMessage();