Definition of Petit