Otros nombres alternativos que se han usado son: