------------------------------------------------------------------------
r1836 | ovensia | 2019-08-09 11:21:58 +0200 (ven. 09 août 2019) | 1 ligne

Correction d'un bug sur le gestionnaire de session "db".
------------------------------------------------------------------------