Quelques démonstrations du chapitre 1