Update 8.tex

Corollaire and figure incoming
Merge pull request #4 from alexispierret/patch-1

Update 8.tex