Les 12 coups de midi : les noms déjà proposés pour l’étoile