Définitionsbatail