On va démontrer le théorème 7 du cours. En effet, soit P un théorème non constant de R [x] ; alors ses racines non réelles éventuelles sont conjuguées deux à deux et de même ordre. Pour cela, on va se