Notes complétées jusqu'à la section 3.3. La section 3.4 est partielle. Il manque aussi un morceau de la preuve du lemme 3.4.1.