preuve construction gamma
norme de la forme bilinéaire
R^τ au lieu de R^†
ajouté Kronecker car.2
inséré intrinsèque
diagonalisation sur R
hyperbolique + dim6
terminologie: réduction