Comment terminer une session PHP après 30 minutes d'inactivité de l'utilisateur ?

Bonjour, collègues ! Je suis débutant en PHP et je développe un site où les utilisateurs se connectent. J'ai un système de sessions simple : après la connexion, je stocke les données dans `$_SESSION`. Mais j'ai remarqué que la session ne se termine pas, même si l'utilisateur ferme le navigateur et revient une heure plus tard — il est toujours connecté. J'ai besoin que la session expire automatiquement 30 minutes après la dernière action de l'utilisateur (pas depuis la connexion, mais après le dernier clic ou requête). J'ai lu sur les paramètres `session.gc_maxlifetime` et `session.cookie_lifetime`, mais ils ne fonctionnent pas comme je l'attends. Par exemple, j'ai défini : ```php ini_set('session.gc_maxlifetime', 1800); ini_set('session.cookie_lifetime', 1800); session_start(); ``` Mais cela semble n'affecter que la durée de vie du fichier de session sur le serveur et du cookie dans le navigateur, pas l'activité de l'utilisateur. Si l'utilisateur ne ferme pas le navigateur, la session peut vivre plus longtemps que nécessaire, car le garbage collector ne s'exécute pas immédiatement. Comment implémenter correctement