prouvé les automorphismes de K_d
réduction dim 4
essai
Exemple d'IP1S décisionnel