jajaj frente frío, ahora que lo dices si que tienen el color de la piedra de Villamayor (para los que no la conozcan , es una piedra dorada y de facil talla que se saca de las canteras de Villamayor, un pueblo cerquita de Salamanca , del cual se han costruido casi la totalidad de edificios del centro histórico y todos los monumentos de Salamanca a lo largo de los siglos, actualmente se sigue construyendo con esta piedra y en muchas nuevas construcciones , mi casa tiene fachada de "piedra de Villamayor" por ejemplo y es nueva.
Respecto a los mammatus yo también pensé que podían ser... per casi me inclino que no, los mammatus son más definidos.