@crouzet à ma connaissance, les théorrèmes on le ffabbriquent grâce à des systèmes formells. qui sont donc incomplets, si j’en croi le 1/2
source [email protected] (marpalix)