D'après le panneau d'information apposé au parking situé Route du Rocher de l'Impératrice, ce rocher serait nommé "Rocher Noël".
Par contre, celui que j'ai pointé hier, situé à environ 150 m au sud-ouest, serait bel et bien le Rocher de l'Impératrice.