Définitionspetit nasard