Découverte d’une nouvelle espèce pour le Massif central : l’Arabette des rochers