J'essaye d'utiliser le mécanisme standard d'expiration PHP. J'ai donc essayé :
ini_set('session.gc_maxlifetime', 1);
ini_set('session.gc_probability', 1);
ini_set('session.gc_divisor', 1);
Ce qui veut dire d'après la doc que les données de session sont virées au bout d'1 sec avec une proba de 1. Or mes données de session ne disparaissent pas ! Comment se fait ce ?