Prouver les programmes : pourquoi, quand, comment ?

La révolution informatique dans les sciences