Existence et séparation — Michel Cornu