théorème de Sylvester