Nota de rodapé

a O dia 17 de setembro no calendário juliano equivale a 15 de setembro no calendário gregoriano, amplamente usado hoje.