Un jugement porté contre une doctrine n'implique pas que cette doctrine fut "infailliblement" celle de Savonarole. Donc, s'il est innocent, le magistère est sauf.
Dans ma phrase, "infailliblement" ne s'applique pas à la doctrine condamnée, mais au fait que Savonarole y souscrive effectivement. Si Savonarole ne professe pas cette doctrine, il est innocent, mais la condamnation de cette doctrine reste valable. Vous me suivez ? "On" n'est pas moi. Indice: "on" est après 1978. Ath