Havanese are just listed as Havanese with the AKC, so not sure about it being the proper name for them or not.

AKC Havanese Standard

Here is the Havanese Club of America's home page.

http://www.havanese.org/

I'm not sure where you are located, are you in England? Or was that just a mistake in your post?