Definition of Gavelet