prove rank C
Merge branch 'master' of github:plut/ip1s
preuve (non satisfaisante) de Kronecker