Press > Vu sur la toile... > Des logiciels sans faute : une affaire de mathématiques - Entretien avec G. Berry, Les cahiers de l’INRIA