Pío IX define el dogma de la Inmaculada Concepción.