3I/ATLAS ou C/2025 N1 (ATLAS)? Entenda as regras que definem os nomes dos cometas 16 de dezembro de 2025