Etudes pétrographiques sur les roches volcaniques de l'Auvergne, suivies d'une note sur des roches désignées sous le nom d'hémithrène et sur quelques autres du plateau gneisso granitique du département du Puy de Dôme