flexdoc — serveur de licences