Définitionsbatifolant