Bernard Chazelle Informatique et sciences numériques Année 2012-2013 L'algorithmique et les sciences Cinquième cours Deuxième cours : Les preuves interactives et l’épistémologie algorithmique