Je l'avais appelée crassula rupestris et, ce matin, j'ai trouvé la même sous le nom de crassula hottentot dans mon Jardiclause local (plein de cactus malades et de fleurs collées comme partout ailleurs apparemment mais quelquefois on tombe sur un arrivage tout frais et sympa).