MariaDB glane 25 M€ auprès de la BEI pour son développement