A puppet module that configure the MariaDB repository on an Entreprise Linux (and relatives) system