Definición dogmática de la Asunción de la Virgen María