Catalogue des plantes vasculaires du Mali — Gabriel Boudet, Jean-Pierre Lebrun