Mais, puisque tu veux que ce soit référencé, ma référence n'établit le résultat que dans le cas d'un espace réel dans une chapitre sur les formes quadratiques? Il est alors possible de mettre la démo dans formes quadratiques (je n'y tiens pas particulièrement, ceci dit), et dans CS, dire que le résultat est en fait plus général, et montrer seulement la démonstration du cas complexe?