Simplification fin de preuve
Ajout de OkaCartan

Preuve du lemme fondamental d'Oka