début preuve réduction Kronecker
Merge branch 'master' of github:plut/ip1s
Preuve de Kronecker