symétrique de BAH par rapport à (BH)
donc [BH] reste fixe puisque axe de symétrie
=> ce sera donc BIH puisque symétrique de A = I par rapport à (BH)
et
symétrique de BAH par rapport à (GC)
=> DEF
symétrique de IBCD par rapport à (GC)
= IBCD - puisque [CI] ne bouge pas - sur axe de symétrie
et
symétrique de IBCD par rapport à (IF)
I ne bouge pas
=> ABIH
