T3, T3i são boas, são câmeras de sensores APS-C o que apresenta bastante definição inclusive em ISOs mais altos, ISO 3200 Já ta bom, o que vai precisar pra fazer fotos noturnas. Quanto a lente, vc precisa de uma grande angular e o 18mm do range 18~55 é grande-angular, ou seja se deixar a lente em 18mm até 35mm já pode usar e quanto ao foco infinito toda lente tem, mas ás vezes não tem o índice marcado.
Obs: aconselhável um tripé, se for o caso pegue a T3 e use o que sobra pra um, pois fotos noturnas do céu normalmente é uma exposição mais longa