Besides, "Havre" is not a manufacturer.
http://www.imcdb.org/vehicles_make-Havre.html
According to this link, "Havre" seems to be a model of the manufacturer "Eurocar".
https://www.facebook.com/page/663222493697407/search/?q=Havre

But in it’s links, the term "Havre" seems to be a nickname
https://www.facebook.com/page/376068162550682/search/?q=Havre
https://autobusesurbanosmx.blogspot.com/search?q=havre

The term "Havrecito" is even sometimes used.
https://www.facebook.com/autobusesurbanosmx/posts/1834018180088999/
https://www.facebook.com/autobusesurbanosmx/posts/1846020198888797/
https://m.facebook.com/autobusesurbanosmx/photos/a.376074789216686/1628098267347- 659/?type=3&source=57&__tn__=EH-R