Étude de la preuve des programmes numériques — Jacques Dumontet