nettoyage & typo : dead code, helpers factorisés, guillemets courbes (v1.6.13)

- #19 : suppression AuthService / UserRepository / Domain\User — dead code incompatible session
- #22 : env() et db() centralisés dans src/helpers.php, chargé par config/config.php
- #15 : typographieHtml() appliquée après Parsedown dans post_view.php

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

public/oidc/start.php

@@ -16,20 +16,6 @@ if (session_status() !== PHP_SESSION_ACTIVE) {
     exit;
 }
 
-if (!function_exists('env')) {
-    function env(string $key, ?string $default = null): ?string
-    {
-        if (array_key_exists($key, $_ENV) && $_ENV[$key] !== '') {
-            return (string)$_ENV[$key];
-        }
-        $v = getenv($key);
-        if ($v !== false && $v !== '') {
-            return (string)$v;
-        }
-        return $default;
-    }
-}
-
 $flow = $_GET['flow'] ?? 'login';                  // 'login' ou 'register'
 if (!in_array($flow, ['login','register'], true)) {
     $flow = 'login';