  In this paper we revisit and extend some mathematical aspects of Onsager's
theory of liquid crystals that have been investigated in recent years by
different communities (statistical mechanics, analysis and probability). We
introduce a model of anisotropic molecules with three-dimensional orientations
interacting via a Kac-type interaction. We prove that, in the limit in which
the range of the interaction is sent to infinity after the thermodynamic limit,
the free energy tends to the infimum of an effective energy functional \`a la
Onsager. We then prove that, if the spherical harmonic transform of the angular
interaction has a negative minimum, this effective free energy functional
displays a first order phase transition as the total density of the system
increases.
