Version 7.18 (pas d’annonces) - 31 mai-1er juin 2023¶ Cette version ne contient aucune fonction, mise à jour ou amélioration significative à annoncer.