Jacaranda: nombre genérico que es un nombre vernáculo brasileño.