Definition of Hovel