Bonsoir Doukkali, André et à tous,
Par marquage, après le Rectangle Interdit 37 de f4-f6-c6 => c4 ≠ 37 :
_|_a______b______c_|_d_____e______f_|_g______h_____i
1|379h____4_____379|_8_____1______6_|3e7f9g__5____2
2|_6______8______5_|_2____3a7A____9_|3A7a___1____4
3|_1____3e7f9g___2_|3A7a___5______4_|379G___8_____6
4|379H_36B79__6b9B|_1_____2____3c7C|_8_____4_____5
5|_4______5______1_|_6_____9______8_|_2______3____7
6|_8______2____3c7C|_5_____4____3C7c|_1______6____9
7|3A7a____1______4_|3a7A___6______2_|_5_____9_____8
8|_2____3B6b_36B8A|_9____3A8a____5_|_4_____7_____1
9|_5____7d9D__78a9d|_4____7a8A____1_|_6_____2_____3
1) Interdit ternaire : conflit ternaire (efg) en g1 et b3, et l'un des trois est forcément vrai. Or B est en conflit avec les trois
- eB (3b3b8)
- fa (7b3d3) AB (c8)
- gh (9a3a1) HB (9a4c4)
Donc B est faux, c4=6, b8=6 => 3E en b4 => cE et c8=3a8A => ac
2) Interdit ca (3c6c8) Ae (3d3b3) Ec (3b4f4) => c faux, f4=7, f6=3, c6=7 => a4=39, b4=39
3) XY-wing a4(39)-a7(37)-b9(79) => b4 ≠ 9, b4=3, etc. au bout.
A+