Documents Cours Théorème concernant la fonction numérique relative au nombre des ... Liouville, Leclere J.
Documents Cours Vers une preuve formelle du théorème de Pick en Coq Farzad Sehat, Nicolas Magaud Et Julien Narboux