Hutchinsia petraea : Hornungia petraea (L.) Rchb.
Hutchinsie des pierres, Hutchinsie des pierriers, Hornungie des pierres, Hutchinsie des rochers