that you have put Pico del Cartujo when I have Tozal del Cartujo in my map "Parque Nacional Sierra Nevada" 1:50.000 Editorial Penibética. Even in the map "Parque Natural Sierra Nevada" 1:100.000 IGN it's shown as Tosal del Cartujo. In both maps the height is 3152 m.
Mmm the map I have says Cartujo, which I believe it what some of others called it. I will add the info about the alternative names, but it does make life confusing! :)
is the one from Ed. Alpina (Sierra Nevada - La Alpujarra) 1:40.000 It says "Pico del Cartujo" (3.150 mtrs)...This is something typical from carthography...different names and heights