pour n=4, j'aurai les arcs:
(3,0) --> (4,0)
(3,1) --> (4,1)
(3,2) --> (4,2)
(0,3) --> (0,4)
(1,3) --> (1,4)
(2,3) --> (2,4)
mais aussi:
(3,0) --> (4,3)
(3,1) --> (4,3)
(3,2) --> (4,3)
et
(0,3) --> (3,4)
(1,3) --> (3,4)
(2,3) --> (3,4)
ce qui fait 12.
Mais là, sans "caching" ni rien, le graph correspond
bien à tous les appels de l'implémentation naive de cet
algorithme. Y compris meme les appels redondants, non?
Quand j'appel avec a=0 et r=0, on voit exactement quels
cas sont appelés plusieurs fois et ces cas sont bien
comptabilisés.