¿Cuál es este árbol?

Hola! A ver si alguien me puede ayudar a saber cuál es este precioso árbol que hay en los jardines de Covadonga (Asturias)

https://***/a/img404/8965/7otw.th.jpg
https://***/a/img13/132/m0ng.th.jpg
https://img716.***/img716/8066/yiwo.jpg

 

Sin duda, esa corteza es muy típica

 

Hola:

Parece Lagerstroemia indica.

Saludos

 

A mi me dio esa misma idea, pero las fotos son chicas

 

¿Sabéis si la gente alérgica a las lilas típicas también lo son a estas?

Gracias!