Closure of leaves and Lie groupoid structure: the proof of Molino’s conjecture - Alexandrino, Marcos Martins (Colóquio Brasileiro de Matemática, 2019)