Lynn, J. allionii is the only Jovibarba that grow in Col de Turini area. May be, your plant do not come from that place.
To identify correctly a Semps from the photo is not easy, but your plants are very different from wild plants and I am not sure they are true allionii. I have some difficulties to explain in english. The most important morphologic characteristic of allionii that permits to distinguish it from others is:
hairy leaves, offsets near the ground (see photos).
J. allionii
J. hirta
J. arenaria
Mariangela