O Programa do Submarino de Propulsão Nuclear Brasileiro e o Regime Internacional de Não Proliferação de Armas Nucleares: em busca de compatibilizar dois projetos divergentes