Une activité très complète sur le sujet, proposée par Claire-Marie AÏT-AÏSSA : on y trouvera une approche historique ainsi que les étapes de la preuve.
Mise à jour : 4 décembre 2012