Définitionspetit palu