add proof intuition for the theorem 1
resolv inter-conflit in theorem 1
Merge branch 'master' of https://github.com/xavierm02/Projet-M1