finished the proof of proposition 3.16, and Deglise's HM