Le rover Mars 2020 a enfin reçu son nom officiel - et c'est un garçon de 13 ans qui l'a baptisé