Fondements mathématiques de l'informatique, Jacques Stern, Ediscience