ajout fonction lower bound & reduction de matrice
Merge branch 'master' of https://github.com/iceteawithlemon/PP1