Um pouco mais sobre a Revolução Constitucionalista de 1932, que deu origem ao feriado de 9 de julho.