Synonymie ancienne d'un champignon longtemps considéré comme lichen, l'amphiconium petraeum Nees