------------------------------------------------------------------------
r1885 | ovensia | 2020-04-03 16:58:04 +0200 (ven. 03 avril 2020) | 4 lignes

DIRECTORY 2.5.2

* Mise ŕ jour de compatibilité pour PHP 7.3 / MariaDB 10.3
* Ajustements mineurs
------------------------------------------------------------------------