Théorème : Majoration du nombre chromatique par le degré maximal Sarmate 15/02/2026 Combinatoire Preuve