version récursive, avec memoization plus évoluée des E[i][k] fonctionne