Résumé

De la programmation didactique, où programmer c’est démontrer et spécifier c’est conjecturer.