I giorni extra dell'anno marziano: la scelta di un calendario per Marte