Le Jardin botanique de Clermont et les botanistes de l'Auvergne — Paul Girod