Cette "tête de lion" a donné son nom espagnol à l'endroit : Leon Dormido.