1. Indeed, it turns out that the MITs for distributive lattices and even for Heyting algebras are equivalent to the axiom of choice.

En effet, il s'avère que les MITs pour les treillis distributifs et même pour les algèbres de Heyting sont équivalents à l'axiome du choix.