MariaDB lève 25 millions de dollars