Coq, les maths ont trouvé leur maître (Article de Science et Vie magazine)

Article de Science et Vie (PDF)